Rete Bibliotecaria della Provincia di Como

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: 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: 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.