Logica per la Programmazione, Corso B

A.A. 2017-2018

docente: Francesca Levi (levifran@di.unipi.it )

PROGRAMMA DEL CORSO E MATERIALE DIDATTICO

Esame : Scritto ed Orale (le due prove di verifica intermedia possono eventualmente sostituire lo scritto).

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.

RISULTATI ESAMI

          (pdf) Risultati della Prima Verifica Intermedia (2/11/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: 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)

TABELLE DELLE LEGGI

          (pdf) Tabella delle Leggi (Prima Parte)

          (pdf) Tabella delle Leggi (Completa)

TESTI ESAMI SCRITTI (ALCUNI CON SOLUZIONE)

Testo e Soluzione del Primo Compitino (4 Novembre 2011)

Testo del Secondo Compitino (19 Dicembre 2011)

Testo e Soluzione del Primo Compitino (1 Dicembre 2010)

Testo e Soluzione dello scritto del 17 Gennaio 2012

Testo e Soluzione dello scritto del 7 Febbraio 2012

Testo dello scritto del 4 Luglio 2012

Testo dello scritto del 7 Settembre 2012

Testo e Soluzione del Primo Compitino (7 Novembre 2012)

Testo e Soluzione del Secondo Compitino (21 Dicembre 2012)

Testo e Soluzione del Primo Appello (14 Gennaio 2013)

Soluzione del Primo Compitino (del 4/11/2014)

Soluzione del Secondo Compitino (del 18/12/2014)

Testo del Primo Appello (16 Gennaio 2015)

Testo e Soluzione del Primo Appello (16 Gennaio 2015)

Testo del Secondo Appello (11 Febbraio 2015)

Testo e Soluzione del Secondo Appello (11 Febbraio 2015)

Testo del Terzo Appello (11 Giugno 2015)

Testo del Quarto Appello (7 Luglio 2015)

Testo e Soluzione del Primo Compitino (5/11/2015)

Testo e Soluzione del Secondo Compitino (19/12/2015)

Testo e Soluzione del Primo Compitino (3/11/2016)

Testo e Soluzione del Secondo Compitino (22/12/2016)

Testo e Soluzione del Primo Appello (19 Gennaio 2016)

Testo e Soluzione del Secondo Appello (11 Febbraio 2016)

Testo Appello Straordinario (1 Aprile 2016)

Testo del Primo Appello (20 Gennaio 2017)

Soluzione del Primo Appello (20 Gennaio 2017)

Soluzione del Secondo Appello (10 Febbraio 2017)

Testo del Terzo Appello (19 Giugno 2017)