Über diesen Kurs

2.858 kürzliche Aufrufe
Flexible Fristen
Setzen Sie Fristen gemäß Ihrem Zeitplan zurück.
Zertifikat zur Vorlage
Erhalten Sie nach Abschluss ein Zertifikat
100 % online
Beginnen Sie sofort und lernen Sie in Ihrem eigenen Tempo.
Stufe „Mittel“

Basic logic and programming on a bachelor level.

Ca. 13 Stunden zum Abschließen
Englisch
Flexible Fristen
Setzen Sie Fristen gemäß Ihrem Zeitplan zurück.
Zertifikat zur Vorlage
Erhalten Sie nach Abschluss ein Zertifikat
100 % online
Beginnen Sie sofort und lernen Sie in Ihrem eigenen Tempo.
Stufe „Mittel“

Basic logic and programming on a bachelor level.

Ca. 13 Stunden zum Abschließen
Englisch

von

Placeholder

EIT Digital

Lehrplan - Was Sie in diesem Kurs lernen werden

Woche
1

Woche 1

1 Stunde zum Abschließen

CTL model checking

1 Stunde zum Abschließen
5 Videos (Gesamt 44 min)
Woche
2

Woche 2

1 Stunde zum Abschließen

BDDs part 1

1 Stunde zum Abschließen
4 Videos (Gesamt 33 min)
Woche
3

Woche 3

2 Stunden zum Abschließen

BDDs part 2

2 Stunden zum Abschließen
4 Videos (Gesamt 35 min)
Woche
4

Woche 4

9 Stunden zum Abschließen

BDD based symbolic model checking

9 Stunden zum Abschließen
4 Videos (Gesamt 39 min), 3 Lektüren, 3 Quiz

Häufig gestellte Fragen

Haben Sie weitere Fragen? Besuchen Sie das Learner Help Center.