À propos de ce cours

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. 7 heures pour terminer

Recommandé : 12 hours/week...

Anglais

Sous-titres : Anglais

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. 7 heures pour terminer

Recommandé : 12 hours/week...

Anglais

Sous-titres : Anglais

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 Formulas14 min
Semaine
2

Semaine 2

1 heure pour terminer

Advanced modal formulas

1 heure 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 formulas12 min

Enseignant

Image de l'enseignant, Jan Friso Groote

Jan Friso Groote 

Full professor
Mathematics and Computer Science, Eindhoven University of Technology
6,810 étudiants
4 cours

Offert par

Logo EIT Digital

EIT Digital

Foire Aux Questions

  • Une fois que vous êtes inscrit(e) pour un Certificat, vous pouvez accéder à toutes les vidéos de cours, et à tous les quiz et exercices de programmation (le cas échéant). Vous pouvez soumettre des devoirs à examiner par vos pairs et en examiner vous-même uniquement après le début de votre session. Si vous préférez explorer le cours sans l'acheter, vous ne serez peut-être pas en mesure d'accéder à certains devoirs.

  • Lorsque vous achetez un Certificat, vous bénéficiez d'un accès à tout le contenu du cours, y compris les devoirs notés. Lorsque vous avez terminé et réussi le cours, votre Certificat électronique est ajouté à votre page Accomplissements. À partir de cette page, vous pouvez imprimer votre Certificat ou l'ajouter à votre profil LinkedIn. Si vous souhaitez seulement lire et visualiser le contenu du cours, vous pouvez accéder gratuitement au cours en tant qu'auditeur libre.

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