Modalita' d'Esame :
Sono ammessi al secondo compitino SOLO gli studenti che hanno superato il primo compitino.
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).
RISULTATI DEGLI ESAMI SCRITTI
ESAMI ORALI e CORREZIONE COMPITO: 24 giugno, ore 10.00, Sala Riunioni Est, Dipartimento di Informatica
ESAMI ORALI: 25 giugno, ore 10.00, Sala Riunioni Est, Dipartimento di Informatica
Per iscriversi all'esame orale si prega di inviare la richiesta tramite e-mail
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: Prima Esercitazione
(pdf)
Soluzione degli Esercizi del 9/10/2014
(pdf)
Calcolo Proposizionale: Dimostrazione di Implicazioni
(pdf)
Calcolo Proposizionale: Dimostrazioni con Ipotesi Non Tautologiche.
(pdf)
Calcolo Proposizionale: Seconda Esercitazione
(pdf)
Soluzione degli Esercizi del 21/10/2014
(pdf)
Logica del Primo Ordine: Sintassi.
(pdf)
Logica del Primo Ordine: Semantica.
(pdf)
Soluzione degli Esercizi del 30/10/2014
(pdf)
Soluzione del Primo Compitino (del 4/11/2014)
(pdf)
Logica del Primo Ordine: Modelli e Sistema di Dimostrazione.
(pdf)
Esercizi sulla validita' di formule.
(pdf)
Estensione della Logica del Primo Ordine: Insiemi ed Intervalli.
(pdf)
Estensione della Logica del Primo Ordine: Quantificatori Funzionali.
(pdf)
Soluzione degli Esercizi del 25/11/2014
(pdf)
Triple di Hoare: Linguaggio Imperativo Minimo.
(pdf)
Triple di Hoare: Regole di Inferenza per Assegnamento, Sequenza e Condizionale.
(pdf)
Soluzione degli Esercizi del 4/12/2014.
(pdf)
Triple di Hoare: Regole di Inferenza per il Comando Iterativo, Esercizi.
(pdf)
Sequenze ed Aggiornamento Selettivo.
(pdf)
Soluzione degli Esercizi del 16/12/2014.
(pdf)
Testo e Soluzione del Secondo Compitino del 18/12/2014.
TESTI ESAMI SCRITTI