La matematica nell'informatica: Una guida accessibile ai contesti storici, fondativi e applicativi

Recensioni dei lettori

Attualmente non ci sono recensioni dei lettori. La valutazione si basa su 2 voti.

Titolo originale:

Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts

Contenuto del libro:

Questo testo illuminante fornisce una rassegna concisa dei concetti fondamentali della matematica, essenziali per gli scienziati informatici. L'accento è posto sulle applicazioni pratiche dell'informatica rese possibili da idee matematiche apparentemente astratte, presentate nel loro contesto storico. Il testo abbraccia un'ampia selezione di argomenti chiave, che vanno dall'uso della teoria dei campi finiti per la correzione dei codici e il ruolo della teoria dei numeri nella crittografia, al valore della teoria dei grafi nella modellazione delle reti e all'importanza dei metodi formali per i sistemi critici di sicurezza.

Questa nuova edizione, completamente aggiornata, è stata ampliata con una trattazione più completa di algoritmi, logica, teoria degli automi, model checking, affidabilità del software, algebra, sequenze e serie e induzione matematica.

Argomenti e caratteristiche: include numerose caratteristiche pedagogiche, come argomenti chiave di apertura dei capitoli, introduzioni e riassunti dei capitoli, domande di ripasso e un glossario; descrive i contributi storici di figure importanti come Leibniz, Babbage, Boole e von Neumann; introduce i concetti matematici fondamentali di insiemi, relazioni e funzioni, insieme alle basi della teoria dei numeri, dell'algebra, degli algoritmi e delle matrici; esplora le sequenze e le serie aritmetiche e geometriche, l'induzione matematica e la ricorsione, la teoria dei grafi, la calcolabilità e la decidibilità e la teoria degli automi; passa in rassegna le questioni fondamentali della teoria della codifica, della teoria dei linguaggi, dell'ingegneria del software e dell'affidabilità del software, nonché i metodi formali e il model checking; tratta gli argomenti chiave della logica, dai contributi dell'antica Grecia alle moderne applicazioni nell'IA, e discute la natura della prova matematica e della dimostrazione dei teoremi; presenta una breve introduzione alla probabilità e alla statistica, ai numeri complessi e ai quaternioni, e al calcolo.

Questo libro coinvolgente e di facile comprensione piacerà agli studenti di informatica che desiderano una panoramica della matematica utilizzata nell'informatica e ai matematici curiosi di sapere come la loro materia viene applicata nel campo dell'informatica. Il libro catturerà anche l'interesse del lettore generale motivato.