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: L'essere umano ha dei nuovi compagni: robot, intelligenze artificiali e non solo. Una nuova specie digitale, con cui stiamo imparando a convivere. Se i nostri timori sono legati al pericolo che gli algoritmi conquistino troppo potere, la vera sfida per il futuro è di evitare di essere noi, inconsapevolmente, a cederglielo, in cambio di qualche comodità in più o di qualche promessa di sicurezza o efficienza. Una grande conquista della modernità è infatti quella di aver "aperto" il futuro, abbandonando una visione predeterminata del nostro destino. Ma cosa succede se iniziamo a fidarci ciecamente delle previsioni degli algoritmi predittivi, a cui affidiamo sempre più responsabilità? Il futuro rischia nuovamente di richiudersi su di noi, dando vita a profezie algoritmiche che siamo noi stessi a far avverare. L'impatto degli algoritmi sulle nostre vite, in questo modo, è destinato a ingigantirsi, con tutto il carico di pregiudizi, errori, imprecisioni e mancanze che si portano dietro. Helga Nowotny ci aiuta a interpretare il futuro che abbiamo di fronte, e a conquistare così la consapevolezza necessaria a non diventare succubi delle macchine di Dio.

Abstract: "L'amore non è una formula matematica, non ci si può innamorare facendo dei calcoli." Almeno questo è quello che pensa Arturo fino a quando rivede un vecchio compagno di classe, l'irritante Gianfranco Zamboni - ora ingegnere informatico. Dopo anni di lavoro a testa bassa, Arturo si è appena reso conto che amici e colleghi nel frattempo si sono sposati o convivono, molti hanno messo al mondo dei bambini e alcuni si sono già separati. Alle soglie dei quarant'anni, è ora di pensare a quel futuro che non ha mai avuto il coraggio di affrontare. Ma come si trova l'anima gemella, la persona che si è proprio sicuri sia quella giusta? L'incontro con il vecchio compagno di scuola sembra un appuntamento con il destino, perché Zamboni è a capo di un progetto sperimentale: una app finalmente efficace nel rilevare l'affinità fra persone. E siccome Arturo è un citazionista accanito, facendo sua la massima di Mae West "Tra due mali, scelgo sempre quello che non ho mai provato prima", si butta nella sperimentazione. Mentre sembra stia nascendo una simpatia con Olivia, la ragazza dal sorriso raggiante che lavora nella mensa aziendale, l'app gli rivela che ha sette anime gemelle sparse per l'Italia e per il mondo. Nonostante il parere contrario dell'amico Carlo, inguaribile romantico, che lo spinge a uscire con Olivia, Arturo inizia il suo viaggio carico di speranza - ma anche di goffaggine e tanti dubbi. Da Siena alla Svezia, da Dubai alla Groenlandia, scoprirà molto su di sé, sui rapporti di coppia a ogni latitudine, e su cosa sia davvero un'anima gemella.

Abstract: Un algoritmo non è altro che una procedura passo passo per risolvere un problema. Gli algoritmi più utilizzati sono già stati testati e verificati ma questo non vuol dire che comprenderne la logica sia facile. Questa guida illustrata e divertente aiuta a capirli appieno senza dover faticare su migliaia di pagine di teoria e spiega come applicarli al meglio nei problemi pratici con cui un programmatore si trova spesso a confrontarsi. Partendo dagli algoritmi di ricerca e ordinamento si rafforza l'abilità di pensare in maniera algoritmica affrontando via via problemi sempre più complessi come la compressione dei dati e l'intelligenza artificiale. Ogni esempio include diagrammi che corredano i commenti agli esempi di codice Python per rendere chiari anche i concetti più difficili. Grazie al suo linguaggio semplice e a oltre 400 immagini che accompagnano i singoli passi delle procedure, questa guida è perfetta per programmatori alle prime armi, ingegneri, appassionati di informatica e in generale chiunque voglia avvicinarsi allo studio degli algoritmi.

Abstract: Di algoritmi si parla molto oggi con riferimento ai computer, a Google, alla profilazione degli utenti dei social e all’avvento dell’intelligenza artificiale. Ma la loro storia è molto più antica: la necessità di risolvere problemi matematici con opportune regole computazionali ha sempre accompagnato la vita dell’uomo, a partire da esigenze molto concrete come distribuire i prodotti agricoli, dividere un’eredità, misurare un terreno e permettere ai mercanti di svolgere con profitto la loro attività. Il Medioevo, in particolare, fu un periodo di grande evoluzione della cultura, grazie alla riscoperta delle fonti culturali e scientifiche, greche e ai matematici arabi, che nel IX secolo diffusero nel Mediterraneo il sistema di numerazione indiano, cambiando radicalmente il modo di fare i calcoli. Le figure di Muhammad ibn Musa al-Khwarizmi (da cui deriva il termine algoritmo), dei monaci spagnoli che tradussero in latino le opere dei matematici arabi, del pisano Fibonacci, mercante e matematico, dei tanti «maestri d’abaco» che insegnarono il calcolo ai figli dei mercanti, nonché dei matematici umanisti come Piero della Francesca e Luca Pacioli, spiccano in questo libro corale il cui protagonista è una società che nel Medioevo stava gettando le basi della nostra contemporaneità. Un libro di storia della matematica che ci aiuta a capire le origini di una delle parole chiave del nostro presente. «Le nove cifre indiane sono: 9 8 7 6 5 4 3 2 1. Con queste nove cifre e con il segno 0 che glia arabi chiamano Zefiro si può scrivere ogni qualsivoglia numero». FIBONACCI

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: 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: 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: Gli algoritmi hanno sempre avuto un ruolo importante nello studio come nella pratica dell'informatica e saperli applicare per risolvere problemi è un'abilità che qualsiasi programmatore deve possedere. Questo manuale insegna a conoscere e mostra come scegliere l'algoritmo più adatto al proprio scopo, comprendendone appieno il funzionamento. Dopo aver spiegato le caratteristiche base di un algoritmo e le tecniche di progettazione, si passa allo studio e all'implementazione di algoritmi di tipo diverso attraverso esempi pratici che utilizzano il linguaggio Python. Il lettore si avvicina così alla programmazione lineare, alla classificazione di pagine, alla creazione di grafi, al machine learning e al deep learning, all'elaborazione di dati e alla crittografia, comprendendo la matematica e la logica che sono alla base di alcuni fondamentali algoritmi. Un testo unico nel suo genere e una risorsa fondamentale per diventare esperti nell'utilizzo di algoritmi che consentono di risolvere problemi del mondo reale.

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: Non preoccuparsi di conoscere il funzionamento dell’algoritmo, oltre quello che succede nelle tue bacheche social, è un privilegio. L’algoritmo è una mano invisibile che governa le nostre vite? E da quando succede? Oggi questo termine è sinonimo di computer, ma anche di intelligenza artificiale: è in realtà un insieme di regole, un procedimento costruito dall’essere umano per ottenere la soluzione a un problema. Può decidere al posto nostro, modificare la rappresentazione di una categoria di persone, radicalizzare rappresentazioni del mondo, ma come principale scopo ha quello di massimizzare il tempo che l’utenza passa su app e dispositivi. In questo libro vogliamo capire cos’è l’algoritmo che sembra influire in modo così preponderante nella nostra quotidianità. Perché ce ne stiamo occupando tutti così tanto in questi ultimi anni, cosa è cambiato rispetto a quando sono arrivati i primi social network, e come possiamo capirne il funzionamento per migliorare il nostro tempo.

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.