Modalita' d'Esame :
LUCIDI DELLE LEZIONI
(pdf)
Introduzione al Corso (informazioni generali)
(pdf)
Introduzione ai Contenuti del Corso
(pdf)
Calcolo Proposizionale: Sintassi, Semantica, Tautologie
(pdf)
Calcolo Proposizionale: Dimostrazione di Tautologie, Leggi per l'Equivalenza
(pdf)
Calcolo Proposizionale: Dimostrazione di Implicazioni Tautologiche, Leggi per l' Implicazione
TESTI ESAMI SCRITTI
RISULTATI ESAMI SCRITTI
INFORMAZIONE ESAMI
Si avvisano gli studenti che e' stato fissato un appello straordinario riservato agli studenti lavoratori il giorno Giovedi' 4 aprile alle ore 14:00. L'aula verra'comunicata in seguito. Gli studenti interessati possono iscriversi inviando un email entro Lunedi' 25 Aprile.
L'esame orale puo' essere sostenuto in una data qualsiasi (tra le date fissate dal docente) nella stessa sessione di esame in cui lo studente ha superato lo scritto (per i compitini la sessione invernale).