Logica per la Programmazione, Corso B

A.A. 2016-2017

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.

AVVISI: Gli orali del quarto appello si terranno LUN 24 Luglio, Sala Riunioni Est (Dipartimento di Informatica), ore 9.00

Per iscriversi agli esami orali gli studenti sono pregati di inviare la richiesta tramite un email

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)

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)

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)

Soluzione del Secondo Compitino (19/12/2015)

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)