Corso di: Logica Matematica A

Corso di Laurea in Informatica
Anno accademico: 2005-2006

Docente: Gabriele Lolli

Programma del corso
Linguaggi logici: connettivi, relazioni, variabili e quantificatori. Logica proposizionale. Alberi di refutazione. Insiemi e operazioni booleane. Relazioni di equivalenza e di ordine. Logica predicativa. Sillogismi. Principio di induzione. Definizioni per ricorsione.

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ì (11-13) - Mercoledì (11-13) - Giovedì (11-13)
Aula: A
Inizio: 26 settembre 05
Uno dei giorni di lezione sarà dedicato ad esercitazioni.
Ricevimento
Orario: Giovedì 9.30--11 da ottobre a giugno
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à.