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. Algebra. Per le Scuole superiori. Volume Vol. 2
Dario Palladino, Stefano Scotto, Marcello Frixione
Principato
Mauro Panichella. Il rituale dell'inatteso
Caterina Gualco, Gian Marco Casini, Marcello Frixione, Mauro Panichella, Sara Fontana
SAGEP
Funzioni, macchine, algoritmi. Introduzione alla teoria della computabilità
Marcello Frixione, Dario Palladino
Carocci
Pigreco. Geometria. Per le Scuole superiori
Dario Palladino, Stefano Scotto, Marcello Frixione
Principato
Chi ha cercato questo ha cercato anche...
Algebra lineare e geometria analitica. Volume Vol. 1
Elsa Abbena, Anna M. Fino, G. Mario Gianella
Aracne
I numeri non ingannano (quasi) mai. Storie matematiche che lasciano a bocca aperta
Vincenzo Mauro
Longanesi