Logica per la Programmazione, Corso B

A.A. 2014-2015

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

PROGRAMMA DEL CORSO E DISPENSE

Modalita' d'Esame : Scritto (eventualmente sostituito dalle due prove di verifica intermedie) ed Orale. Si ricorda che sono ammessi al secondo compitino SOLO gli studenti che hanno superato il primo compitino.

LUCIDI DELLE LEZIONI

          (pdf) Introduzione al Corso (informazioni generali)

          (pdf) Introduzione ai Contenuti del Corso

          (pdf) Calcolo Proposizionale: Sintassi, Semantica, Tautologie

          (pdf) Calcolo Proposizionale: Dimostrazione di Tautologie, Leggi per l'Equivalenza

          (pdf) Calcolo Proposizionale: Dimostrazione di Implicazioni Tautologiche, Leggi per l' Implicazione

TESTI ESAMI SCRITTI

Altri esercizi d'esame degli A.A. precedenti

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)

RISULTATI ESAMI SCRITTI

Risultati del Primo Compitino (7 Novembre 2012)

Risultati del Secondo Compitino (21 Dicembre 2012)

Risultati dello scritto del 17 Gennaio 2013

Risultati dello scritto del 4 febbraio 2013

Risultati dello scritto del 19 giugno 2013

Risultati dello scritto del 10 luglio 2013

INFORMAZIONE ESAMI

Si avvisano gli studenti che e' stato fissato un appello straordinario riservato agli studenti lavoratori il giorno Giovedi' 4 aprile alle ore 14:00. L'aula verra'comunicata in seguito. Gli studenti interessati possono iscriversi inviando un email entro Lunedi' 25 Aprile.

L'esame orale puo' essere sostenuto in una data qualsiasi (tra le date fissate dal docente) nella stessa sessione di esame in cui lo studente ha superato lo scritto (per i compitini la sessione invernale).