Unità didattica
Course full name
Concurrent Models
Course ID number
2223-1-F1801Q132-F1801Q132M
Lezione del 3 ottobre 2022
Completion requirements
15:30-18:30, aula U4-02
Riassunto della lezione
- Introduzione generale al modulo (vedi Introduzione)
- Esempio di dimostrazione di correttezza informale (vedi Dimostrazione informale)
- Nozioni fondamentali di logica proposizionale, prima parte (vedi Logica proposizionale)