Logica per la Programmazione, Corso B

A.A. 2011-2012

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.

PAGINA DEL CORSO DEGLI ANNI PRECEDENTI

LUCIDI DELLE LEZIONI

(pdf) Introduzione al Corso (programma ed informazioni)

(pdf) Calcolo Proposizionale: Sintassi e Semantica dei Connettivi Logici.

(pdf) Calcolo Proposizionale: Dimostrazioni di Equivalenze e Principio di Sostituzione.

(pdf) Calcolo Proposizionale: Dimostrazioni di Implicazioni.

(pdf) Calcolo Proposizionale: Esercitazione.

(pdf) Calcolo Proposizionale: Dimostrazioni con ipotesi non tautologiche.

(pdf) Logica del Primo Ordine: Motivazioni, Introduzione Intuitiva e Sintassi.

(pdf) Logica del Primo Ordine: Semantica e Conseguenza Logica.

(pdf) Logica del Primo Ordine: Esercizi di Formalizzazione.

(pdf) Sistemi di Dimostrazione, Validita' dei Sistemi di Dimostrazione, Logica del Primo Ordine: Regole di Inferenza per i Quantificatori.

(pdf) Logica del Primo Ordine: Esercizi sulle Dimostrazioni.

(pdf) Estensione del linguaggio del primo ordine: Insiemi ed Intervalli, Relazioni di ordinamento su naturali, Formule di Dominio.<

(pdf) Estensione del linguaggio del primo ordine: Minimo, Massimo, Sommatoria e Cardinalita'.

(pdf) Sintassi e Semantica del Linguaggio Imperativo Minimo. Definizione di Tripla di Hoare Soddisfatta. Regole di Inferenza.

(pdf) Esercizi sulle Triple di Hoare. Estensione del Linguaggio Imperativo con Sequenze ed Aggiornamento Selettivo.

(pdf) Esercizi Presentati in Classe.

RISULTATI ESAMI

L'esame orale puo' essere sostenuto in una data qualsiasi (tra le date decise dal docente) nella stessa sessione di esame in cui lo studente ha superato lo scritto (per i compitini la sessione invernale). Per iscriversi all'orale e' necessario inviare un e-mail.