Über diesen Kurs

2.315 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.
Coursera-Labore
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.
Coursera-Labore
Stufe „Mittel“
Ca. 25 Stunden zum Abschließen
Englisch

von

Placeholder

EIT Digital

Lehrplan - Was Sie in diesem Kurs lernen werden

Woche1
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
Woche2
Woche 2
18 Stunden zum Abschließen

SMT applications

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

Theory and algorithms for CNF-based SAT

3 Stunden zum Abschließen
6 Videos (Gesamt 56 min)
Woche4
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.