À propos de ce cours

1 738 consultations récentes
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 du 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 Etudiants.