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
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
Orizzonti della matematica. Elementi di algebra. Per le Scuole superiori. Volume Vol. 1
Dario Palladino, Stefano Scotto, Marcello Frixione
Principato
Chi ha cercato questo ha cercato anche...
Quanto è reale la matematica? Come domande semplici conducono a verità profonde
Eugenia Cheng
Franco Angeli
Matematica per le applicazioni economiche e finanziarie. Temi ed esercizi per l'autovalutazione
Mariacristina Uberti
Giappichelli
A piccole dosi. Contro la crisi di astinenza dalla matematica
Piergiorgio Odifreddi
Raffaello Cortina Editore
Matematici segreti. Storia inaspettata della matematica e dei suoi pionieri sconosciuti
Kate Kitagawa, Timothy Revell
Aboca Edizioni
I numeri non ingannano (quasi) mai. Storie matematiche che lasciano a bocca aperta
Vincenzo Mauro
Longanesi
Algebra lineare e geometria analitica. Volume Vol. 1
Elsa Abbena, Anna M. Fino, G. Mario Gianella
Aracne
I numeri e la nascita delle civiltà. Un'invenzione che ha cambiato il corso della storia
Caleb Everett
Franco Angeli