Unità didattica
Course full name
Concurrent Models
Course ID number
2223-1-F1801Q132-F1801Q132M
Lezione del 6 ottobre 2022
Completion requirements
15:30-17:30, aula U24-C1
Il materiale di consultazione non è ancora completo.
Riassunto
- Ripasso di logica proposizionale, seconda parte (vedi Logica proposizionale nel materiale della prima lezione)
- Una logica per ragionare su programmi: le triple di Hoare
- Definizione di un linguaggio di programmazione
- Regole di derivazione della logica di Hoare, prima parte (vedi Logica di Hoare, prima parte; attenzione: nella definizione delle espressioni aritmetiche manca la clausola che dice che ogni nome di variabile è un'espressione aritmetica)