Abstract: 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.
Titolo e contributi: La computabilità : algoritmi, logica, calcolatori / Marcello Frixone, Dario Palladino
Pubblicazione: Roma : Carocci, 2011
Descrizione fisica: 142 p. ; 20 cm
EAN: 9788843057931
Data:2011
Lingua: Italiano (lingua del testo, colonna sonora, ecc.)
Paese: Italia
Sono presenti 2 copie, di cui 0 in prestito.
| Biblioteca | Collocazione | Inventario | Stato | Prestabilità | Rientra |
|---|---|---|---|---|---|
| Olgiate Comasco | 500-549 Scienze naturali, scienze pure SC O 784 | OC-75928 | Su scaffale | Disponibile | |
| Lurago Marinone | 500-549 Scienze naturali, scienze pure 511.3 FRI | LR-11332 | Su scaffale | Disponibile |