main product photo

LOGICA A INFORMATICA

1ed
8838655510 · 9788838655517
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 dis… Continua a leggere
25,00 €
Acquista il testo su Amazon
Richiedi una Copia Saggio
Richiedi informazioni

1  Logica proposizionale

2  Sistemi Deduttivi

3  Correttezza e Completezza

4  Logica dei predicati

5  Il Calcolo del Primo ordine

6  Metodo di Risoluzione

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 Ordinario presso il Dipartimento di Informatica - Scienza e Ingegneria (DISI) dell'Università di Bologna.

Agata Ciabattoni, Professore Ordinario presso la Facoltà di informatica del Politecnico di Vienna (Technische Universität Wien).