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.

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

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)