Logica Per La Programmazione
Da InformaWiki.
| Logica Per La Programmazione | |
|---|---|
| Sigla Corso: | LPP |
| Nome Docente/i: | Paolo Mancarella Andrea Corradini |
| Corso di laurea: | Informatica |
| Anno di corso: | 1 |
| Home page del corso: | Corso B Corso A |
Indice |
Programma
Obiettivi didattici
Il corso si pone l'obiettivo di introdurre alcuni elementi basici della logica matematica e del suo utilizzo per analizzare la correttezza di semplici programmi.
Programma completo
- Introduzione alla logica matematica e sua rilevanza in programmazione
- Il Calcolo Proposizionale
- Tecniche di dimostrazione
- Il Calcolo dei Predicati del primo ordine
- Formalizzazione di asserzioni in linguaggio naturale
- Connettivi su intervalli di numeri
- Le Triple di Hoare
Tabella lezioni A.A. 2010/2011.
Bibliografia
- Logica Per La Porgrammazione (PDF)
- Logica Per La Programmazione II (PDF)
- Logica di Hoare (PDF)
Modalità di esame
Scritto e orale. Per accedere all'orale si deve avere un voto scritto o una media dei compitini >=16.
