Semaine du vendredi
|
À faire
|
À remettre au
début du cours
|
29 août
|
plan de cours |
|
5 septembre
|
Introduction, logique propositionnelle, logique des prédicats |
|
| 12 septembre |
CSP - opérateurs et sémantique opérationnelle
|
devoir 1 |
| 19 septembre |
CSP - opérateurs et sémantique opérationnelle
|
|
| 26 septembre |
CSP - opérateurs et sémantique opérationnelle
|
|
| 3 octobre |
CSP - sémantique dénotationnelle
|
|
| 10 octobre |
CSP - raffinement et équivalence |
|
| 17 octobre |
examen intra |
|
| 24 octobre |
semaine de relâche
|
|
| 31 octobre |
Pas de cours
|
|
| 7 novembre |
EB3 |
|
| 14 novembre |
EB3 |
|
| 21 novembre |
Diagrammes états-transitions hiérarchiques |
|
| 28 novembre |
Diagrammes états-transitions hiérarchiques |
|
| 5 décembre |
Logique temporelle linéaire |
|
| 12 décembre |
examen final |
|