Über diesen Kurs

5.164 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“
Ca. 25 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“
Ca. 25 Stunden zum Abschließen
Englisch

von

Placeholder

EIT Digital

Lehrplan - Was Sie in diesem Kurs lernen werden

Woche
1

Woche 1

3 Stunden zum Abschließen

SAT/SMT basics, SAT examples

3 Stunden zum Abschließen
6 Videos (Gesamt 58 min), 2 Lektüren, 3 Quiz
Woche
2

Woche 2

18 Stunden zum Abschließen

SMT applications

18 Stunden zum Abschließen
4 Videos (Gesamt 33 min), 2 Lektüren, 7 Quiz
Woche
3

Woche 3

3 Stunden zum Abschließen

Theory and algorithms for CNF-based SAT

3 Stunden zum Abschließen
6 Videos (Gesamt 56 min)
Woche
4

Woche 4

1 Stunde zum Abschließen

Theory and algorithms for SAT/SMT

1 Stunde zum Abschließen
6 Videos (Gesamt 55 min)

Bewertungen

Top-Bewertungen von AUTOMATED REASONING: SATISFIABILITY

Alle Bewertungen anzeigen

Häufig gestellte Fragen

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