Logica a informatica

Riferimento: 9788838655517

Editore: McGraw-Hill Education
Autore: Asperti Andrea, Ciabattoni Agata
Collana: Scienze
In commercio dal: 15 Ottobre 2021
Pagine: 224 p., Libro in brossura
EAN: 9788838655517
25,00 €
IVA inclusa
Quantità
Non disponibile

Descrizione

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.