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.
AVVISI: Gli orali del sesto appello si terranno VEN 29 Settembre, Studio 371-DO (Dipartimento di Informatica), ore 10.00
Per iscriversi agli esami orali gli studenti sono pregati di inviare la richiesta tramiteemail
RISULTATI DEGLI ESAMI
(pdf)
Risultati della Prima Verifica Intermedia (3 Novembre 2016)
(pdf)
Risultati della Seconda Verifica Intermedia (22 Dicembre 2016)
(pdf)
Risultati del Primo Appello (20 Gennaio 2017)
(pdf)
Risultati del Secondo Appello (10 Febbraio 2017)
(pdf)
Risultati del Terzo Appello (19 Giugno 2017)
(pdf)
Risultati del Quarto Appello (11 Luglio 2017)
(pdf)
Risultati del Sesto Appello (20 Settembre 2017)
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: Dimostrazione di Implicazioni Tautologiche
(pdf)
Prima Esercitazione (4 Ottobre 2016)
(pdf)
Soluzione della Prima Esercitazione
(pdf)
Calcolo Proposizionale: Dimostrazione con Ipotesi Non Tautologiche
(pdf)
Seconda Esercitazione (11 Ottobre 2016)
(pdf)
Soluzione della Seconda Esercitazione
(pdf)
Logica del Primo Ordine: Sintassi, Interpretazione e Formalizzazione
(pdf)
Esercizi di Formalizzazione
(pdf)
Logica del Primo Ordine: Semantica
(pdf)
Terza Esercitazione (25 Ottobre 2016)
(pdf)
Soluzione della Terza Esercitazione
(pdf)
Logica del Primo Ordine: Conseguenza Logica, Introduzione al Sistema di Dimostrazioni
(pdf)
Testo del Primo Compitino (3 Novembre 2016)
(pdf)
Soluzione del Primo Compitino (3 Novembre 2016)
(pdf)
Logica del Primo Ordine: Sistema di Dimostrazioni
(pdf)
Quarta Esercitazione (15 Novembre 2016)
(pdf)
Soluzione della Quarta Esercitazione (15 Novembre 2016)
(pdf)
Logica del Primo Ordine: Insiemi e Intervalli
(pdf)
Logica del Primo Ordine: Quantificatori Funzionali
(pdf)
Triple di Hoare: Linguaggio Imperativo, Sintassi, Semantica
(pdf)
Proof System per le Triple di Hoare: Assegnamento, Sequenza, Condizionale
(pdf)
Quinta Esercitazione (1 Dicembre 2016)
(pdf)
Soluzione della Quinta Esercitazione (1 Dicembre 2016)
(pdf)
Proof System per le Triple di Hoare: Comando Iterativo ed Aggiornamento Selettivo
(pdf)
Sesta Esercitazione (15 Dicembre 2016)
(pdf)
Soluzione della Sesta Esercitazione (15 Dicembre 2016)
(pdf)
Testo del Secondo Compitino (22 Dicembre 2016)
(pdf)
Soluzione del Secondo Compitino (22 Dicembre 2016)
TABELLE DELLE LEGGI
(pdf)
Tabella delle Leggi (Prima Parte)
(pdf)
Tabella delle Leggi (Completa)
TESTI ESAMI SCRITTI (ALCUNI CON SOLUZIONE)