Corso di: Logica Matematica A

Corso di Laurea in Informatica
Anno accademico: 2007-2008

Docente: Gabriele Lolli

Programma del corso
Linguaggi logici: connettivi, relazioni, variabili e quantificatori, regole deduttive. Insiemi e operazioni booleane. Logica proposizionale, semantica. Logica predicativa. Deduzione naturale. Metodo di risoluzione.

Testo
Dispense del docente.
Non usare le versioni degli anni precedenti.

Modalità d'esame
L'esame si svolge attraverso prove scritte durante e alla fine del corso.
Nella pagina dell'esame si trovano le informazioni sulle prove e sui risultati.

Orario del corso
Lunedì (11-13) - Martedì (9-11) - Giovedì (11-13)
Aula: A
Inizio: 10 gennaio 2008
Ricevimento
Orario: Martedì 11-12 durante il corso
Luogo: Stanza 45 al Dipartimento di Informatica (studio dei Matematici e Fisici) sul soppalco sopra le aule.
Warning Gli studenti sono pregati di non mandare e-mail al docente se non in casi di giustificata eccezionalità.