Rete Bibliotecaria della Provincia di Como

Abstract: La teoria della computabilità è un settore della ricerca logico-matematica che studia la nozione di calcolo effettuabile in modo meccanico. Nata negli anni trenta del secolo scorso, ha assunto un ruolo centrale per la nuova scienza dei calcolatori nel secondo dopoguerra. Il testo si propone di esporre i concetti fondamentali della computabilità senza presupporre alcuna conoscenza tecnica preliminare, guidando così il lettore in un percorso ai confini tra logica, informatica, intelligenza artificiale e teorie della mente.

Abstract: Questo libro è pensato per studenti universitari delle Facoltà di Ingegneria e di Scienze. Il suo contenuto è dimensionato per un corso che richieda la sola conoscenza pregressa dei fondamenti della programmazione. Concepito per trasferire allo studente la maturità metodologica e progettuale necessaria allo sviluppo di applicazioni, il testo presenta in dettaglio tutte le fasi in cui si articola lo sviluppo di un progetto: l'astrazione funzionale e dei dati, la progettazione intesa come scelta consapevole delle strutture dati e degli algoritmi più adeguati, e infine l'implementazione. Quest'ultima non è ignorata, abbandonando lo studente alla difficoltà di tradurre uno pseudocodice informale in uno specifico linguaggio di programmazione, ma diventa un elemento importante della trattazione; viene presentata e discussa una duplice implementazione in C e Java, e vengono affrontate le implicazioni derivanti dall'impiego di tali linguaggi. Il volume offre una combinazione equilibrata e completa sia degli aspetti metodologici sia di quelli realizzativi al fine di costruire una solida base su cui sviluppare i successivi corsi di programmazione avanzata.