À propos de ce cours

2,463 consultations récentes
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 intermédiaire
Approx. 5 heures pour terminer
Anglais
Sous-titres : 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 intermédiaire
Approx. 5 heures pour terminer
Anglais
Sous-titres : Anglais

Offert par

Placeholder

EIT Digital

Programme du cours : ce que vous apprendrez dans ce cours

Semaine
1

Semaine 1

1 heure pour terminer

Sequential behaviour

1 heure pour terminer
7 vidéos (Total 59 min)
7 vidéos
Actions, multi-actions, alternative and sequential composition9 min
Process axioms11 min
Recursive process specifications8 min
Processes and actions with data; the conditional operator7 min
The sum operator8 min
The alarm clock revisited11 min
1 exercice pour s'entraîner
Sequential behaviour30 min
Semaine
2

Semaine 2

2 heures pour terminer

Data types

2 heures pour terminer
8 vidéos (Total 103 min)
8 vidéos
Specification of Peano numbers11 min
Specification of efficient numbers16 min
Specification of lists8 min
Functions, sets and bags13 min
Structured types13 min
Quantifiers9 min
Knuth's dancing links18 min
1 exercice pour s'entraîner
Data Types30 min
Semaine
3

Semaine 3

1 heure pour terminer

Parallel behaviour

1 heure pour terminer
3 vidéos (Total 37 min)
3 vidéos
The hiding operator7 min
Peterson's mutual exclusion algorithm16 min
1 exercice pour s'entraîner
Parallel Behaviour30 min

Foire Aux Questions

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