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.
La computabilità, algoritmi, logica, calcolatori
| Titolo | La computabilità, algoritmi, logica, calcolatori |
| Autori | Marcello Frixione, Dario Palladino |
| Argomento | Matematica e scienze Matematica |
| Collana | Le bussole, 419 |
| Editore | Carocci |
| Formato |
Libro: Libro in brossura |
| Pagine | 142 |
| Pubblicazione | 03/2011 |
| ISBN | 9788843057931 |
Libri dello stesso autore
Pigreco. Geometria. Per le Scuole superiori
Dario Palladino, Stefano Scotto, Marcello Frixione
Principato
sconto
5%
Mauro Panichella. Il rituale dell'inatteso
Caterina Gualco, Gian Marco Casini, Marcello Frixione, Mauro Panichella, Sara Fontana
SAGEP
sconto
5%
Funzioni, macchine, algoritmi. Introduzione alla teoria della computabilità
Marcello Frixione, Dario Palladino
Carocci