Esame :
Sono ammessi al secondo compitino SOLO gli studenti che hanno superato il primo compitino.
Inoltre a partire dal A.A. 2016-2017 sono ammessi alle verifiche intermedie SOLO gli studenti che non hanno OFA
Per sostenere gli esami scritti (inclusi i compitini
) gli studenti devono obbligatoriamente iscriversi tramite il portale di ateneo.
L'esame orale deve essere sostenuto 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.
(pdf)
Risultati della Prima Verifica Intermedia (2/11/2017)
(pdf)
Risultati della Seconda Verifica Intermedia (21/12/2017)
(pdf)
Risultati Primo Appello (18/01/2018)
(pdf)
Risultati Secondo Appello (8/02/2018)
(pdf)
Risultati Terzo Appello (15/06/2018)
(pdf)
Risultati Quarto Appello (06/07/2018)
(pdf)
Risultati Quinto Appello (04/09/2018)
ORALI: GIO 13 Settembre 2018, ore 10.00. Si prega di mandare la richiesta tramite email
MATERIALE DIDATTICO (Dispense)
(pdf)
Dispensa sulla Logica (Parte 1)
(pdf)
Dispensa sulla Logica Applicata (Parte 2)
(pdf)
Dispensa sulle Triple di Hoare (Parte 3)
MATERIALE DIDATTICO (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: leggi derivate, esercizi
(pdf)
Esercitazione del 28\9\2017
(pdf)
Esercitazione del 28\9\2017 (Soluzione)
(pdf)
Calcolo Proposizionale: dimostrazione di implicazioni tautologiche
(pdf)
Calcolo Proposizionale: dimostrazioni con ipotesi non tautologiche
(pdf)
Esercitazione del 11\10\2017
(pdf)
Esercitazione del 11\10\2017 (Soluzione)
(pdf)
Logica del Primo Ordine: Introduzione e Sintassi
(pdf)
Logica del Primo Ordine: Semantica
(pdf)
Esercitazione del 25\10\2017
(pdf)
Esercitazione del 25\10\2017 (Soluzione)
(pdf)
Logica del Primo Ordine: Formule Valide, Conseguenza Logica, Proof System con Premesse
(pdf)
Testo del Primo Compitino del 2\11\2017
(pdf)
Soluzione del Primo Compitino del 2\11\2017
(pdf)
Logica del Primo Ordine: Leggi e Regole di Inferenza
(pdf)
Esercitazione del 15\11\2017
(pdf)
Esercitazione del 15\11\2017 (Soluzione)
(pdf)
Estensione della Logica del Primo Ordine: Insiemi, Intervalli e Formule di Dominio
(pdf)
Estensione della Logica del Primo Ordine: Quantificatori Funzionali
(pdf)
Esercitazione del 23\11\2017
(pdf)
Esercitazione del 23\11\2017 (Soluzione)
(pdf)
Linguaggio Imperativo e Triple di Hoare
(pdf)
Triple di Hoare: comando vuoto assegnaamento, sequenza e condizionale
(pdf)
Esercitazione del 6/12/2017
(pdf)
Esercitazione del 6/12/2017 (soluzione)
(pdf)
Triple di Hoare: comando iterativo ed aggiornamento selettivo
(pdf)
Esercitazione del 14/12/2017
(pdf)
Esercitazione del 14/12/2017 (soluzione)
(pdf)
Testo del Secondo Compitino del 21\12\2017
(pdf)
Soluzione del Secondo Compitino del 21\12\2017
TABELLE DELLE LEGGI
(pdf)
Tabella delle Leggi (Prima Parte)
(pdf)
Tabella delle Leggi (Completa)
TESTI ESAMI SCRITTI (ALCUNI CON SOLUZIONE)