Il titolo di questo libro richiede una spiegazione: non si vuole soltanto sottolineare la destinazione del testo
(i corsi di Logica matematica nelle facoltà di informatica), ma soprattutto metterne in evidenza la particolare
impostazione, che lo distingue dai numerosi manuali di logica matematica disponibili sul mercato italiano.
Il volume infatti affronta l'insegnamento della logica tenendo sempre presenti gli strettissimi rapporti di questa
disciplina con l'informatica; pur presentando argomenti tradizionali della logica matematica classica, il testo é
arricchito da costanti riferimenti ai principali temi di contatto tra logica e informatica.
Andrea Asperti é professore associato presso il dipartimento di Scienze dell'Informazione
dell'Università di Bologna, dove tiene il corso di Logica matematica.
|
Universita' e ricerca