Autore: Palladino Dario
La computabilità, algoritmi, logica, calcolatori
Marcello Frixione - Dario Palladino - Edizioni Carocci, 2011
testo in italiano

Logiche non classiche. Un'introduzione
Palladino Dario - Palladino Claudia - Edizioni Carocci - La Nuova Italia, 2007
testo in italiano

Corso di logica. Introduzione elementare al calcolo dei predicati
Dario Palladino - Edizioni Carocci - Riviste, 2021
testo in italiano

Funzioni, macchine, algoritmi. Introduzione alla teoria della computabilità
Frixione Marcello. Palladino Dario - Edizioni Carocci - Riviste, 2004
testo in italiano

Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità
Palladino Dario - Edizioni Carocci - Riviste, 2004
testo in italiano

top




