Modalita' d'Esame :
Sono ammessi al secondo compitino SOLO gli studenti che hanno superato il primo compitino.
Per sostenere gli esami scritti (inclusi i compitini) e' obbligatorio iscriversi tramite il portale di ateneo.
L'esame orale puo' essere sostenuto in una data qualsiasi (tra le
fissate dal docente) nella stessa sessione di esame in cui lo studente ha superato lo scritto.
Nel caso dei compitini l'esame orale deve essere sostenuto nella sessione invernale.
Per iscriversi all'esame orale si prega di inviare la richiesta tramite e-mail
AVVISO
: la lezione del 29 ottobre viene recuperata il 30 ottobre, ore 9.00 (AULA B)
AVVISO: Ricevimento studenti straordinario il 26 novembre, 14.00-16.00 (AULA C), Correzione del Primo Compitino, Visione Compiti
AVVISO: Lezione di recupero 11 Dicembre 2015, 9.00-11-00 (AULA C)
RISULTATI ESAMI SCRITTI
(pdf) Risultati del Primo Compitino (5 novembre 2015)
(pdf) Risultati del Secondo Compitino (17 dicembre 2015)
(pdf) Risultati del Primo Appello (19 gennaio 2016)
(pdf) Risultati del Secondo Appello (11 febbraio 2016)
(pdf) Risultati Appello Straordinario (1 Aprile 2016)
(pdf) Risultati del Terzo Appello (13 giugno 2016)
(pdf) Risultati del Quarto Appello (14 luglio 2016)
(pdf) Risultati del Quinto Appello (6 settembre 2016)
ESAMI ORALI: LUN 12/09 ore 10.00. Dipartimento di Informatica, Ufficio 371 D-O.
Per iscriversi all'esame orale si prega di inviare la richiesta tramite e-mail entro la mattina del giorno precedente
LUCIDI DELLE LEZIONI
(pdf)
Introduzione al Corso ed Informazioni Generali
(pdf)
Calcolo Proposizionale: Sintassi, Semantica, Tautologie
(pdf)
Calcolo Proposizionale: Dimostrazione di Tautologie
(pdf)
Calcolo Proposizionale: Dimostrazione di Implicazioni Tautologiche
(pdf)
Esercizi Proposti in Classe (08/10/2015)
(pdf)
Soluzione degli Esercizi (08/10/2015)
(pdf)
Calcolo Proposizionale: Dimostrazioni con Ipotesi non Tautologiche
(pdf)
Esercizi Proposti in Classe (20/10/2015)
(pdf)
Soluzione degli Esercizi (20/10/2015)
(pdf)
Logica del Primo Ordine: Motivazione, Sintassi, Interpretazioni
(pdf)
Logica del Primo Ordine: Semantica
(pdf)
Esercizi Proposti in Classe (30/10/2015)
(pdf)
Soluzione degli Esercizi (30/10/2015)
(pdf)
Tabella delle Leggi (Prima Parte)
(pdf)
Testo del Primo Compitino (5/11/2015)
(pdf)
Soluzione del Primo Compitino (5/11/2015)
(pdf)
Logica del Primo Ordine: Conseguenza Logica, Proof System
(pdf)
Logica del Primo Ordine: Esercizi
(pdf)
Estensione della Logica del Primo Ordine con Insiemi ed Intervalli
(pdf)
Estensione della Logica del Primo Ordine con Quantificatori Funzionali
(pdf)
Esercizi Proposti in Classe (24/11/2015)
(pdf)
Soluzione degli Esercizi (24/11/2015)
(pdf)
Triple di Hoare: Introduzione
(pdf)
Triple di Hoare: Proof System (Assegnamento, Sequenza, Comando Condizionale)
(pdf)
Esercizi Proposti in Classe (03/12/2015)
(pdf)
Soluzione degli Esercizi del 03/12/2015
(pdf)
Triple di Hoare: Comando Iterativo, Sequenze ed Aggiornamento Selettivo
(pdf)
Esercizi Proposti in Classe (15/12/2015)
(pdf)
Soluzione degli Esercizi del 15/12/2015
(pdf)
Testo del Secondo Compitino (17/12/2015)
(pdf)
Soluzione del Secondo Compitino (17/12/2015)
(pdf)
Tabella delle Leggi (Completa)
TESTI ESAMI SCRITTI (ALCUNI CON SOLUZIONE)