À propos de ce cours

Dates limites flexibles
Réinitialisez les dates limites selon votre disponibilité.
Certificat partageable
Obtenez un Certificat lorsque vous terminez
100 % en ligne
Commencez dès maintenant et apprenez aux horaires qui vous conviennent.
Niveau intermédiaire

Basic logic and programming on a bachelor level.

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

Basic logic and programming on a bachelor level.

Approx. 13 heures pour terminer
Anglais

Offert par

Placeholder

EIT Digital

Programme de cours : ce que vous apprendrez dans ce cours

Semaine
1
Semaine 1
1 heure pour terminer

CTL model checking

1 heure pour terminer
5 vidéos (Total 44 min)
Semaine
2
Semaine 2
1 heure pour terminer

BDDs part 1

1 heure pour terminer
4 vidéos (Total 33 min)
Semaine
3
Semaine 3
2 heures pour terminer

BDDs part 2

2 heures pour terminer
4 vidéos (Total 35 min)
Semaine
4
Semaine 4
9 heures pour terminer

BDD based symbolic model checking

9 heures pour terminer
4 vidéos (Total 39 min), 3 lectures, 3 quiz

Foire Aux Questions

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