LA COMPUTABILITA': ALGORITMI, LOGICA, CALCOLATORI

TRAMA

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.

AUTORE

Marcello Frizione insegna Logica e Filosofia del linguaggio all'Università di Salerno.Dario Palladino insegna Logica e Logica matematica all'Università di Genova. Con Carocci editore ha pubblicato, fra l'altro, Corso di logica (2002, nuova edizione 2010), Logica e teorie formalizzate (2004), Funzioni, macchine, algoritmi (con M. Frixione, 2004).

ALTRE INFORMAZIONI

• Condizione: Nuovo
• ISBN: 9788843057931
• Collana: LE BUSSOLE
• Dimensioni: 132 x 10 x 202 mm
• Formato: Brossura
• Pagine Arabe: 142