À propos de ce cours

4,018 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
Approx. 25 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
Approx. 25 heures pour terminer
Anglais

Offert par

Placeholder

EIT Digital

Programme du cours : ce que vous apprendrez dans ce cours

Semaine
1

Semaine 1

3 heures pour terminer

SAT/SMT basics, SAT examples

3 heures pour terminer
6 vidéos (Total 58 min), 2 lectures, 3 quiz
Semaine
2

Semaine 2

18 heures pour terminer

SMT applications

18 heures pour terminer
4 vidéos (Total 33 min), 2 lectures, 7 quiz
Semaine
3

Semaine 3

3 heures pour terminer

Theory and algorithms for CNF-based SAT

3 heures pour terminer
6 vidéos (Total 56 min)
Semaine
4

Semaine 4

1 heure pour terminer

Theory and algorithms for SAT/SMT

1 heure pour terminer
6 vidéos (Total 55 min)

Avis

Meilleurs avis pour AUTOMATED REASONING: SATISFIABILITY

Voir tous les avis

Foire Aux Questions

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