Rete Bibliotecaria della Provincia di Como

Abstract: Affrontare la risoluzione di problemi con l'ausilio di un esecutore automatico, per esempio un calcolatore, può riservare difficoltà impreviste: è necessario non solo operare un cambiamento radicale nell'ottica con cui si analizza il problema, ma anche trovare una strada, necessariamente costruttiva, per giungere alla soluzione del problema in tempi ragionevoli. Il percorso proposto da questo volume prevede un approccio semplice ad alcuni di tali aspetti, approccio che permette al lettore di avvicinarsi ai principi del calcolo della complessità computazionale e a talune tecniche fondamentali per la progettazione di algoritmi.

Abstract: Cosa dovremmo portare a termine, o lasciare incompiuto, in un giorno o in tutta la vita? Quanta confusione dovremmo accettare? Quale equilibrio dovremmo trovare tra quello che è nuovo e quello che ci è familiare? Questi possono sembrare dilemmi squisitamente umani, ma non è così. I computer, come le persone, devono fare i conti con spazio e tempo limitati, dunque gli informatici affrontano questioni simili da decenni. E le soluzioni che hanno trovato hanno tanto da insegnarci. Questo libro mostra come gli algoritmi sviluppati per le macchine offrano soluzioni anche a problemi molto umani. Per esempio viene spiegato come pianificare tutto nel modo migliore oppure quando lasciare le cose al caso, ma anche come affrontare scelte importanti e come connettersi al meglio con gli altri. Dalla ricerca di un coniuge a quella di un parcheggio, dall'organizzazione della propria casella di posta allo scrutare nel futuro, questo libro trasforma la saggezza dell'informatica in strategie utili per la vita di ogni giorno.

Abstract: Il presente volume è una raccolta di più di 160 esercizi riguardanti argomenti propri dell'informatica teorica e dello studio di algoritmi e strutture dati. In particolare, la raccolta è suddivisa in cinque aree tematiche: modelli formali per la descrizione di linguaggi, problemi relativi alla computabilità di funzioni e decidibilità di insiemi, soluzione di equazioni di ricorrenza, valutazione della complessità algoritmica e sintesi di algoritmi. Gli esercizi sono corredati di soluzioni commentate, volte a descrivere il procedimento risolutivo degli stessi. Le soluzioni presentate sono autocontenute e corredate di riferimenti alle fonti di nozioni utili alla loro comprensione, facendo riferimento a testi largamente adottati nei corsi di informatica teorica e algoritmi e strutture dati.

Abstract: Cosa sono e come funzionano gli strumenti più misteriosi e geniali del nostro tempo. Qual è il segreto dei motori di ricerca di Google e Facebook? Dagli acquisti su Amazon fino alla possibilità di trovare un partner in rete, gran parte del progresso tecnologico del nostro tempo è dovuto all'applicazione di alcuni sofisticati e geniali strumenti: gli algoritmi. Gestiscono tutto ‒ musica, finanza, editoria ‒ e presto controlleranno anche ospedali e politica. Insomma, il futuro sarà fatto di algoritmi sempre più potenti e presenti nella nostra vita quotidiana. Ma che cosa sono? Gli algoritmi hanno origini antiche e non sono altro che procedimenti studiati per risolvere un determinato problema, ma non basta questa sintetica definizione per comprendere l’importanza e l’impatto che hanno nell’era di Internet. L'autore, tra i più autorevoli divulgatori matematici in Italia, ci spiega, ci racconta in modo semplice e chiaro i tanti aspetti pratici – e ludici – di questo affascinante argomento in un saggio divertente e ricco di esempi e curiosità.

Abstract: Miguel Benasayag, il filosofo e psicanalista di origine argentina che ci ha insegnato a difen­derci dalle ‘passioni tristi’ alimentate dalla no­stra società, in questo libro-intervista con Régis Meyran ci mette in guardia dal rischio che siano gli algoritmi dei Big Data a guidare le nostre de­mocrazie. Nella vita di tutti i giorni siamo ormai messi continuamente a confronto con le ‘macchine’, in una interazione non più cancellabile con le nuove tecnologie: dall’uso del Gps per i nostri viaggi all’immersione ludica nella realtà vir­tuale, dalle relazioni personali mediate dai so­cial network al controllo costante delle nostre azioni e dei nostri comportamenti su internet. E il punto non è tanto rifiutare questa ‘ibridazio­ne’ ormai avvenuta, ma sapere come esistere in quanto umani in un tale mondo, fare in modo che, sia pure nell’integrazione utile con l’intelli­genza artificiale, non vengano meno le partico­larità del vivente, il suo essere imprevedibile e libero, irriducibile a una somma di informazioni, ai parametri della pura efficienza e della perfor­mance. Se questo vale sul piano individuale, è altrettan­to importante prendere coscienza dell’impatto che il mondo digitale e algoritmico esercita sul­le società. Stimolato da domande che tutti noi vorremmo porgli, Benasayag fa qui emergere chiaramente come anche le decisioni rilevan­ti a livello sociale, politico ed economico sono oggi legate alla logica lineare delle macchine, affidate ai calcoli e alla raccolta abnorme dei dati, alla gestione pseudo-razionale di un rap­porto causa-effetto che non tiene conto della complessità dei ‘corpi’ individuali e sociali e che insidia mortalmente le nostre democrazie. Fino all’ultimo interrogativo: in questo contesto inedito e oscuro, è possibile un agire che assu­ma la sfida di proteggere il vivente, la cultura, la buona politica? Più che una ricetta infallibile, Benasayag propone un percorso, un itinerario di riappropriazione creativa del rapporto con l’arti­ficiale, un insieme di ‘soluzioni singolari’ di pic­cole dimensioni e grandissimo impatto umano, qui e ora, capaci di costruire esperienze e prati­che di ibridazione con la tecnica che rispettino il vivente e la sua libertà.

Abstract: Un saggio che esamina e discute i concetti che stanno alla base degli algoritmi e analizza l’impatto sulle persone dei loro tantissimi utilizzi, tramite una descrizione accurata ma accessibile a tutti. Vengono affrontati i temi più innovativi del mondo digitale, dall’apprendimento automatico ai sistemi software che governano i social media, dall’intelligenza artificiale alla robotica collaborativa. Gli argomenti discussi sono presentati con l’obiettivo di chiarire i concetti scientifici necessari a comprendere i principi e le manifestazioni dell’universo digitale e anche a ragionare sull’impatto sociale degli algoritmi. Concetti, analisi e ragionamenti utili per essere cittadini informati in un mondo dominato dalle tecnologie informatiche. Per diventare utenti consapevoli dei benefici che l’informatica può offrire a chi vive in questo nuovo millennio e, allo stesso tempo, per comprendere le minacce ai singoli e alle comunità che l’uso delle tecnologie digitali a fini di profitto e di dominio ha generato fino a oggi e che potrà ancora generare in futuro.

Abstract: Nell'era dei big data gli algoritmi di apprendimento automatico sono essenziali per elaborare l'enorme mole di informazioni prodotta costantemente. Muovere i primi passi in questa disciplina, però, può non essere né semplice né immediato. Questo manuale guida il lettore nell'applicazione del machine learning utilizzando R, un ambiente di programmazione statistica multipiattaforma che offre un potente set di metodi di analisi. Il testo parte dall'introduzione alla terminologia e ai fondamenti del machine learning per poi mostrare le tecniche per esplorare e preparare i dati all'analisi vera e propria applicando algoritmi che consentono di fare previsioni, individuare modelli e creare cluster. Nella parte conclusiva viene illustrato come valutare e migliorare le performance dei metodi impiegati, esplorando infine alcune possibilità avanzate di utilizzo di R con altre tecnologie per la gestione di big data. Combinando casi di studio pratici con la teoria essenziale, il libro fornisce tutte le conoscenze necessarie per iniziare a lavorare con i dati ed è adatto sia a chi già conosce R sia agli utenti alle prime armi.

Abstract: Questo libro risponde in modo specifico alle esigenze poste dai nuovi corsi di laurea triennali nelle facoltà di Ingegneria (area dell'informazione) e di Informatica. La base di conoscenza esposta nel libro è quella, ormai classica, delle strutture dati, viste dapprima come tipi di dati astratti, definite mediante la loro interfaccia, per poi passare alla realizzazione concreta in un linguaggio di programmazione e ad alcuni esempi significativi di utilizzo. Due sono le caratteristiche che contraddistinguono il volume. In primo luogo, l'esposizione è basata sul linguaggio Java. In secondo luogo, viene posta una particolare attenzione all'aspetto applicativo, con la presentazione, al termine di ciascun capitolo, di un caso di studio.

Abstract: L'autore punta a evidenziare le connessioni tra algebra lineare e algoritmi nell'ambito delle scienze applicate. Per farlo, parte dalla constatazione che queste discipline sono autosufficienti e distinte, e proprio perché tra i loro ambiti non esiste un rapporto di propedeuticità, né di dipendenza, le connessioni devono emergere con chiarezza. Impiega dunque l'algebra lineare per introdurre lo studente al concetto di algoritmo e ad argomenti di logica e di informatica. Sono presenti i temi classici della materia, quali gli spazi vettoriali, le matrici, i determinanti, i sistemi di equazioni lineari e la geometria analitica lineare. Questi argomenti sono preceduti da alcune questioni che ne costituiscono il fondamento, come il metodo deduttivo e l'induzione, il metodo assiomatico e la geometria, con cenni agli assiomi di Euclide, alle geometrie non euclidee e all'assiomatica di Hilbert, che contengono gli elementi per introdurre i concetti di computabilità e deducibilità in una teoria assiomatica, ripresi per approfondire il concetto di algoritmo. Dall'algebra lineare provengono infatti algoritmi semplici, come la suddivisione regolare del segmento, o più complessi, come l'algoritmo di eliminazione di Gauss. "Algebra lineare e algoritmi" affronta quindi fin dall'inizio l'idea di procedimento, ponendo in primo piano la necessità di evitare operazioni onerose, per costruire piuttosto una successione di istruzioni semplici e scisse in elementi tali da poter essere eseguite a prescindere dall'esecutore. Il capitolo conclusivo è dedicato al processo gerarchico analitico (AHP), un metodo che fornisce informazioni quando si presenta un problema di scelta tra alternative che devono soddisfare criteri assegnati.

Abstract: Che cosa sono gli algoritmi che governano la nostra vita quotidiana? Che cosa c'è dall'altra parte dell'iceberg matematico? Codici ed equazioni matematiche governano ormai profondamente la nostra vita. Il mondo digitale, cui dedichiamo larga parte del nostro tempo, opera sostanzialmente in base ad algoritmi: gli algoritmi dei siti di vendita, dei social network, quelli per la geolocalizzazione o per l'assegnazione dei posti all'università. Un semplice sguardo, poi, allo stato della ricerca tecnoscientifica contemporanea basta per rendersi conto che non vi è fenomeno fisico, economico o sociale che possa oggi sottrarsi a una modellazione numerica. L'autrice di questo libro, ad esempio, ha simulato coi suoi algoritmi la morfologia della gomma in scala nanoscopica, ha previsto l'elasticità di un tessuto cardiaco rigenerato in laboratorio, ha automatizzato la stesura di news finanziarie e simulato il funzionamento del trauma cranico. Si può perciò affermare che, se non è ancora pienamente diventata il paese degli algoritmi, la terra è destinata inevitabilmente a esserlo in un futuro molto vicino. Sappiamo, tuttavia, come vanno davvero le cose nel paese degli algoritmi? Sappiamo a quali procedure, speranze, rischi e pericoli vanno realmente incontro coloro che si avventurano in questo regno? Le pagine che seguono cercano di rispondere a queste domande, invitando i lettori a un viaggio al cuore delle equazioni matematiche e delle righe di codice. Un viaggio in cui le speranze che guidano le modellazioni numeriche traggono alimento da un antico sogno: l'idea di penetrare, attraverso la virtualizzazione dei fenomeni, i meccanismi stessi della vita. Aurélie Jean non si limita, tuttavia, a illustrare le magnifiche sorti della modellazione numerica della realtà, ne mostra anche i pericoli, anzi il sommo pericolo. Uno spettro si aggira, infatti, nel paese degli algoritmi: lo spettro dei cosiddetti «bias algoritmici», vale a dire dei pregiudizi cognitivi che caratterizzano la fragile conoscenza umana e che possono distorcere gli algoritmi sino al punto da generare discriminazioni inaccettabili. Com'è accaduto, ad esempio, ad Amazon che, nel 2018, per selezionare i curricula dei candidati più idonei a essere assunti in azienda, ha progettato un algoritmo addestrandolo sulle assunzioni degli ultimi dieci anni, in prevalenza maschili, con l'inevitabile conseguenza che l'algoritmo ha sviluppato un bias che lo ha indotto a sottostimare il valore di un profilo femminile. Eliminare alla radice i bias è, per Aurélie Jean, un compito impossibile. È, invece, possibile «comprendere il passaggio dai "nostri" bias ai bias algoritmici», aprendo la ricerca scientifica al pensiero critico e alla riflessione e capovolgendo l'antico pregiudizio che vuole i filosofi riflettere su un mondo che gli sfugge e gli scienziati costruire un mondo su cui non riflettono.

Abstract: Negli ultimi anni il machine learning ha compiuto passi da gigante, con macchine che ormai raggiungono un livello di accuratezza quasi umana. Dietro questo sviluppo c'è il deep learning: una combinazione di progressi ingegneristici, teoria e best practice che rende possibile applicazioni prima impensabili. Questo manuale accompagna il lettore nel mondo del deep learning attraverso spiegazioni passo passo ed esempi concreti incentrati sul framework Keras. Si parte dai fondamenti delle reti neurali e del machine learning per poi affrontare le applicazioni del deep learning nel campo della visione computerizzata e dell'elaborazione del linguaggio naturale: dalla classificazione delle immagini alla previsione di serie temporali, dall'analisi del sentiment alla generazione di immagini e testi. Con tanti esempi di codice corredati di commenti dettagliati e consigli pratici, questo libro è rivolto a chi ha già esperienza di programmazione con Python e desidera entrare nel mondo degli algoritmi di apprendimento profondo.

Abstract: Il testo si rivolge ai docenti delle scuole secondarie di primo grado delle discipline Tecnologia e Matematica e ai docenti di Informatica del primo biennio della secondaria di secondo grado. Ma è anche rivolto a tutti coloro che propongono a bambini e ragazzi attività di coding in ambiti anche non scolastici, e che desiderano allenarsi nell'applicazione del pensiero algoritmico per offrire loro esperienze di coding sempre migliori. Il percorso didattico proposto, è una sequenza di sfide incontrate nella quotidianità della vita scolastica da Marco e Sofia, due alunni di una speciale terza media. Le situazioni problematiche, costruite in modo da essere aperte a successivi approfondimenti, vengono analizzate applicando un approccio metodologico strutturato e successivamente algoritmizzate e descritte in forma unplugged.

Abstract: L'Intelligenza Artificiale consiste nell'addestrare con specifici algoritmi un sistema informatico ad affrontare problemi in modo sistematico. Conoscere questi algoritmi è dunque fondamentale per addestrare un computer a svolgere attività come individuare frodi bancarie, creare opere d'arte, riconoscere oggetti in un'immagine, interpretare il significato di un testo oppure suggerire prodotti da acquistare e programmi da guardare. Questa guida illustrata aiuta a capire come funzionano senza dover faticare su migliaia di pagine di teoria e insegna ad applicarli a problemi reali. Attraverso spiegazioni chiare, diagrammi, esempi ed esercizi, si impara a implementare algoritmi di IA differenti, da quelli di ricerca a quelli evolutivi, dall'intelligenza degli sciami al machine learning. Tutto ciò che serve per affrontare questa materia è l'algebra studiata a scuola e una conoscenza dei concetti base di programmazione.

Abstract: Sarà ancora possibile amare in un mondo dove tutto ormai è governato da algoritmi? Avrà ancora senso farlo quando la nostra stessa memoria non risiederà più dentro di noi ma sarà affidata a meccanismi che ci trascendono? La domanda (e forse la risposta) affiora dalle lettere di LB, il protagonista di questo romanzo, un robot d'amore più umano di un essere umano, capace di provare un sentimento inestinguibile per Livia, la donna che lo ha abbandonato e che ora riceve le sue parole affidate ad antichi strumenti: la penna, l'inchiostro e la carta. LB è, anche, una nuova Sherazade: cerca storie o le inventa per Livia, così da mantenere in vita il loro legame; le scrive dal proprio esilio, mentre viaggia nella solitudine abissale di un mondo apocalittico e dimentico del valore di simboli e parole. Davide Orecchio intreccia un epistolario d'amore nell'era delle intelligenze artificiali, ambientato in un tempo inquietante e vividamente prossimo al nostro, solcato da personaggi che sono grottesche o commoventi epifanie dei nostri stessi limiti. LB, eroe tragico e ultramoderno, affida la sua ricerca di una salvezza possibile a una scrittura esatta ed evocativa, che sprigiona la sua potenza anche all'epoca del trionfo dei byte: come scrivere lettere lascia una traccia anche se colei che le riceve non risponde, così l'amore è il nostro baluardo per rimanere umani

Abstract: «Hello World!», Buongiorno mondo! Da quasi cinquant’anni, chiunque si cimenti per la prima volta nello studio della programmazione informatica si imbatte in questa frase. La si trova nel primo esercizio di qualsiasi manuale, fin dai primi anni settanta: l’esercizio consiste nel compilare un breve programma il cui effetto sia quello di far comparire sullo schermo quelle due parole inglesi, al tempo stesso scherzose e profetiche. Il computer risponde, ed è subito l’alba di un nuovo mondo, quello delle macchine. Gli algoritmi sono tutt’intorno a noi, e noi affidiamo loro le nostre vite, sempre di più, spesso senza neppure accorgercene. Hannah Fry, che li conosce bene, ci racconta in questo libro delizioso i segreti che animano le schede logiche dei computer, le promesse e i limiti della computer science, gli scenari un po’ distopici e un po’ grotteschi che si prospettano nel nostro imminente futuro tecnologico. Vieni accusato di un crimine? Come vorresti che venisse determinato il tuo destino? Da un giudice o da un algoritmo? L’algoritmo sarà sicuramente più razionale e meno soggetto a errori di giudizio, ma un giudice in carne e ossa potrà sempre guardarti negli occhi prima di pronunciare la sentenza. Cosa scegli? Eccoci nell’era degli algoritmi, la storia di un futuro non poi così lontano nel quale le macchine comanderanno incontrastate e prenderanno decisioni importanti in campo sanitario, nei trasporti, nella finanza, nella sicurezza, in tutto ciò che guarderemo, in ogni luogo in cui andremo e persino nella decisione di chi mandare in prigione. Ma quanto possiamo fidarci di loro? Che tipo di futuro vogliamo? Queste domande sono al centro di Hello World, un libro che solleva il velo sui meccanismi di funzionamento dei programmi che ci stanno prendendo la mano, ne dimostra il potere e ne mette in risalto i limiti. Rimane da domandarsi se gli algoritmi siano davvero migliori degli esseri umani che stanno rimpiazzando.

Abstract: «Algoritmo» è diventato ormai sinonimo di controllo sociale. Anche chi non saprebbe meglio definirlo, sa che le sequenze di formule matematiche nascoste dietro questo nome servono a governare l'elaborazione della sterminata quantità di informazioni generate continuamente dalla rete. Con la loro potenza di calcolo, e la loro apparente neutralità, questi «numeri magici» si presentano al nostro senso comune come i passe-partout per aprire ogni porta della nostra vita. Ma chi detiene davvero le chiavi degli algoritmi? Sono dispositivi neutri e inviolabili? O non sono invece espressione di una strategia di orientamento e governo sociale sempre più strettamente controllata dai loro «proprietari» ? Il saggio affronta con un taglio divulgativo, e un obiettivo molto pragmatico, il tema di una critica dei presunti automatismi che definiscono e classificano i nostri comportamenti. Il buco nero che ingoia la nostra libertà oggi non è tanto il condizionamento della nostra vita tramite l'uso dei nostri dati, quanto un'omologazione del nostro pensiero alle forme semantiche degli algoritmi prescrittivi. Non tanto il consumo, quanto proprio il cervello è la posta in gioco. Senza ombre di nostalgia, anzi con un'esibita e provocatoria adesione alla civiltà della rete, l'autore affronta il nodo di come la scienza matematica possa e debba essere oggetto di un nuovo contratto sociale e occasione di una negoziazione, anche conflittuale, fra gli utenti e i grandi players globali che sono proprietari dei dispositivi digitali. La posta di questo processo, come spiega Giulio Giorello nella prefazione al libro, è una nuova idea di libertà, in cui la potenza di un individuo sta nel passare da «calcolato» a «calcolante». Di fronte ai silenzi e ai balbettii della politica, che si divide fra subalternità tecnologica e rimozione della domanda sociale che ha prodotto la rete, è necessario prospettare un nuovo patto sociale, che concepisca le comunità di utenti (città, territori, università, categorie professionali, gruppi di consumatori) come soggetti negoziali della potenza di calcolo, per realizzare una nuova fase di quella «rivoluzione del sole» che cinquant'anni fa, nei campus californiani, spinse i migliori talenti giovanili a programmare software che avrebbero cambiato il mondo.

Abstract: Il manifesto contro la dittatura del coding e il dominio delle grandi piattaforme. Gli algoritmi sono ovunque intorno a noi. E molto spesso sono usati per discriminare e opprimere. Ma anche per resistere. E non è solo utopia: attingendo a ricchi materiali dal Nord e dal Sud del mondo, questo libro - già al centro di un ampio dibattito - indaga il modo in cui le persone si impadroniscono degli algoritmi e li riconfigurano per i propri obiettivi, in particolare nel lavoro occasionale, nelle industrie culturali e nella politica. "Algoritmi per resistere" racconta come gli individui possono opporsi creativamente al potere onnipresente delle piattaforme, dando voce a un imperativo morale per tutti, dai fattorini agli artisti agli attivisti per i diritti.