Computabilità, algoritmi, logica, calcolatori (La)

Riferimento: 9788843057931

Editore: Carocci
Autore: Frixione Marcello; Palladino Dario
Collana: Le bussole
In commercio dal: 16 Marzo 2011
Pagine: 142 p., Libro in brossura
EAN: 9788843057931
12,00 €
IVA inclusa
Quantità
Non disponibile

Descrizione

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.