À propos de ce cours

4,815 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

Basic logic and programming on a bachelor level.

Approx. 13 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

Basic logic and programming on a bachelor level.

Approx. 13 heures pour terminer

Anglais

Sous-titres : Anglais

Offert par

Logo EIT Digital

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)
5 vidéos
Model Checking9 min
Computation Tree Logic11 min
Computation Tree Logic Algorithm10 min
Computation Tree Logic Example7 min
3 exercices pour s'entraîner
Size of state space10 min
CTL equivalence10 min
CTL example10 min
Semaine
2

Semaine 2

1 heure pour terminer

BDDs part 1

1 heure pour terminer
4 vidéos (Total 33 min)
4 vidéos
Decision Trees7 min
Decision Trees 29 min
BDDs8 min
3 exercices pour s'entraîner
Decision tree10 min
Reduced ordered decision tree10 min
ROBDD10 min
Semaine
3

Semaine 3

2 heures pour terminer

BDDs part 2

2 heures pour terminer
4 vidéos (Total 35 min)
4 vidéos
BDD Algorithm9 min
BDD algorithm 26 min
BDD Algorithm Example7 min
3 exercices pour s'entraîner
BDD quiz 120 min
BDD quiz 220 min
BDD algorithm30 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
4 vidéos
An example: foxes and rabbits8 min
Deadlock checking in a network10 min
Networks, BMC, conclusions10 min
3 lectures
NuSMV source of foxes and rabbits problem10 min
Introduction10 min
Explanation packet switching networks and file describing routing function1h 10min
3 exercices pour s'entraîner
Problem 1: colored marbles1 h
Problem 2: reaching equal values2 h
Problem 3: deadlocks in packet switching networks4 h

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.

  • Vous avez droit à un remboursement intégral jusqu'à deux semaines après la date de paiement ou (pour les cours qui viennent d'être lancés) jusqu'à deux semaines après le début de la première session du cours, selon la dernière de ces éventualités. Vous ne pouvez pas bénéficier d'un remboursement une fois votre Certificat de Cours obtenu, même si vous terminez le cours pendant la période de remboursement de deux semaines. Consultez notre Politique de remboursement complète.

  • Oui, Coursera fournit une Aide Financière aux étudiants n'ayant pas les moyens d'acquitter les frais. Pour en faire la demande, cliquez sur le lien Aide Financière situé sous le bouton S'inscrire ci-contre à gauche. Vous serez invité(e) à déposer une demande et vous serez averti(e) si elle est acceptée. En savoir plus.

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