Über diesen Kurs

1,924 kürzliche Aufrufe

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

Untertitel: Englisch

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

Untertitel: Englisch

Dozent

Bild des Dozenten, Hans Zantema

Hans Zantema 

prof.dr.
Department of Mathematics and Computer Science
1,217 Kursteilnehmer
2 Kurse

von

EIT Digital -Logo

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

  • Sobald Sie sich für ein Zertifikat angemeldet haben, haben Sie Zugriff auf alle Videos, Quizspiele und Programmieraufgaben (falls zutreffend). Aufgaben, die von anderen Kursteilnehmern bewertet werden, können erst dann eingereicht und überprüft werden, wenn Ihr Unterricht begonnen hat. Wenn Sie sich den Kurs anschauen möchten, ohne ihn zu kaufen, können Sie womöglich auf bestimmte Aufgaben nicht zugreifen.

  • Wenn Sie ein Zertifikat erwerben, erhalten Sie Zugriff auf alle Kursmaterialien, einschließlich bewerteter Aufgaben. Nach Abschluss des Kurses wird Ihr elektronisches Zertifikat zu Ihrer Seite „Errungenschaften“ hinzugefügt – von dort können Sie Ihr Zertifikat ausdrucken oder es zu Ihrem LinkedIn Profil hinzufügen. Wenn Sie nur lesen und den Inhalt des Kurses anzeigen möchten, können Sie kostenlos als Gast an dem Kurs teilnehmen.

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