Über diesen Kurs

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

Basic logic and programming on a bachelor level.

Ca. 13 Stunden zum Abschließen
Englisch
Zertifikat zur Vorlage
Erhalten Sie nach Abschluss ein Zertifikat
100 % online
Beginnen Sie sofort und lernen Sie in Ihrem eigenen Tempo.
Flexible Fristen
Setzen Sie Fristen gemäß Ihrem Zeitplan zurück.
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)
5 Videos
Model Checking9m
Computation Tree Logic11m
Computation Tree Logic Algorithm10m
Computation Tree Logic Example7m
3 praktische Übungen
Size of state space10m
CTL equivalence10m
CTL example10m
Woche
2

Woche 2

1 Stunde zum Abschließen

BDDs part 1

1 Stunde zum Abschließen
4 Videos (Gesamt 33 min)
4 Videos
Decision Trees7m
Decision Trees 29m
BDDs8m
3 praktische Übungen
Decision tree10m
Reduced ordered decision tree10m
ROBDD10m
Woche
3

Woche 3

2 Stunden zum Abschließen

BDDs part 2

2 Stunden zum Abschließen
4 Videos (Gesamt 35 min)
4 Videos
BDD Algorithm9m
BDD algorithm 26m
BDD Algorithm Example7m
3 praktische Übungen
BDD quiz 120m
BDD quiz 220m
BDD algorithm30m
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
4 Videos
An example: foxes and rabbits8m
Deadlock checking in a network10m
Networks, BMC, conclusions10m
3 Lektüren
NuSMV source of foxes and rabbits problem10m
Introduction10m
Explanation packet switching networks and file describing routing function1h 10m
3 praktische Übungen
Problem 1: colored marbles1h
Problem 2: reaching equal values2h
Problem 3: deadlocks in packet switching networks4h

Häufig gestellte Fragen

Haben Sie weitere Fragen? Besuchen Sie das Hilfe-Center für Teiln..