DOCENTE | Filippo Bonchi (filippo.bonchi@unipi.it) |
Orario | Mercoledi 14-16, Aula E e Giovedì 11-13, Aula E |
Orario ricevimento | Giovedi 14-16 |
Modalità di esame
L'esame di LPP è costituito da uno scritto e da un orale. Per poter sostenere l’orale è necessario aver superato entrambe le prove di verifica intermedie con un voto >= 16 e con una media >= 18, oppure aver superato la prova scritta di un appello d'esame con un voto >=16. In generale, lo scritto superato in un appello consente di sostenere l'orale nello stesso appello oppure in quello successivo.
Il superamento delle prove di verifica intermedie al posto dello scritto vale solo per la sessione invernale (appelli di gennaio e febbraio).
Attenzione: Gli studenti che a Novembre sono ancora gravati da O.F.A. non possono sostenere la prima prova di verifica intermedia (si veda
https://www.di.unipi.it/it/didattica/inf-l/test-d-ingresso-e-corsi-di-recupero).
Materiale didattico (Dispense, PDF)
- [LP1] Logica per la Programmazione
- [LP2] Logica per la Programmazione 2
- [LdH] Logica di Hoare
- [Per consultazione] [LMB-INF] Note LMB di Informatica
Teaching material in English
For foreign students unable to understand Italian, the teaching material consists of Chapter 1, 2 and 4 of the following book:
LOGIC IN COMPUTER SCIENCE Modelling and Reasoning about Systems, di Michael Huth e Mark Ryan.
Web page.
Please contact the lecturer if you need to take the exam in English.
Links