À propos de ce cours

Certificat partageable
Obtenez un Certificat lorsque vous terminez
100 % en ligne
Commencez dès maintenant et apprenez aux horaires qui vous conviennent.
Dates limites flexibles
Réinitialisez les dates limites selon votre disponibilité.
Niveau avancé
Approx. 4 heures pour terminer
Anglais
Certificat partageable
Obtenez un Certificat lorsque vous terminez
100 % en ligne
Commencez dès maintenant et apprenez aux horaires qui vous conviennent.
Dates limites flexibles
Réinitialisez les dates limites selon votre disponibilité.
Niveau avancé
Approx. 4 heures pour terminer
Anglais

Offert par

Placeholder

EIT Digital

Programme du cours : ce que vous apprendrez dans ce cours

Semaine
1

Semaine 1

2 heures pour terminer

Basic modal formulas

2 heures pour terminer
6 vidéos (Total 78 min), 2 lectures, 1 quiz
6 vidéos
Hennessy-Milner logic11 min
Identities for HM-logic11 min
Dualities6 min
Fixed point operators18 min
Regular formulas26 min
2 lectures
Book exercises10 min
Book exercises20 min
1 exercice pour s'entraîner
Basic Modal Formulas30 min
Semaine
2

Semaine 2

2 heures pour terminer

Advanced modal formulas

2 heures pour terminer
5 vidéos (Total 59 min), 1 lecture, 1 quiz
5 vidéos
Alternating fixed points11 min
Peterson's algorithm revisited10 min
Translation to a Boolean Equation System (BES)12 min
Solving a Boolean Equation System11 min
1 lecture
Book exercises10 min
1 exercice pour s'entraîner
Advanced modal formulas30 min

Foire Aux Questions

D'autres questions ? Visitez le Centre d'Aide pour les Etudiants.