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.
Ricordati che otterrai la ricompensa del 5 per cento del prezzo di copertina quando acquisterai una copia di questo libro. La ricompensa potrà essere utilizzata per pagare i tuoi prossimi acquisti, oppure essere convertita in codici voucher o bonificata sul tuo conto bancario.
Aderisci al nostro programma di affiliazione per proporre la vendita di questo libro. Guadagnerai commissioni ogni volta che ne favorirai la vendita.