In diesem Kurs lernen Sie, wie Sie die Werkzeuge der Erfüllbarkeit (SAT/SMT) anwenden, um eine Vielzahl von Problemen zu lösen. Es werden einige grundlegende Beispiele gegeben, um einen Eindruck von den Anwendungen zu bekommen: das Einpassen von Rechtecken, die für den Druck von Postern verwendet werden sollen, Terminplanungsprobleme, das Lösen von Rätseln und die Korrektheit von Programmen. Außerdem wird die zugrundeliegende Theorie vorgestellt: die Auflösung als grundlegender Ansatz für die propositionale Erfüllbarkeit, das CDCL-Framework zur Skalierung für große Formeln und die Simplex-Methode zur Behandlung linearer Ungleichungen. Der leichtgewichtige Ansatz, um den Kurs Automated Reasoning: satisfiability zu verfolgen, besteht darin, sich nur die Vorlesungen anzusehen und die entsprechenden Quizfragen zu beantworten. Um ein Gefühl für das Thema zu bekommen, mag das gut funktionieren. Der weitaus interessantere Ansatz besteht jedoch darin, SAT/SMT selbst auf verschiedene Probleme anzuwenden, zum Beispiel auf die in der Ehrenaufgabe vorgestellten Probleme.

Automatisiertes Reasoning: Erfüllbarkeit
Sparen Sie mit 40% Rabatt auf 3 Monate Coursera Plus bei den Fähigkeiten, die Sie zum Strahlen bringen. Jetzt sparen

45 Bewertungen
Was Sie lernen werden
Erlernen der Grundlagen der SAT (Boolean Satisfiability) und SMT (Satisfiability Modulo Theories) Lösung
Anwendung von SAT/SMT-Techniken auf reale Probleme wie Zeitplanung, Sudoku, Rechteckanpassung und Programmverifikation.
Verstehen der wichtigsten SAT-Lösungsalgorithmen, einschließlich Resolution, DPLL und CDCL.
Anwendung der Simplex-Methode und der SMT-Techniken, um über lineare Ungleichheiten und Optimierungsprobleme nachzudenken.
Kompetenzen, die Sie erwerben
- Kategorie: Logisches Denken
- Kategorie: Lineare Algebra
- Kategorie: Rechnerische Logik
- Kategorie: Arithmetik
- Kategorie: Modell-Optimierung
- Kategorie: Operations Research
- Kategorie: Verifizierung und Validierung
- Kategorie: Kombinatorik
- Kategorie: Deduktive Argumentation
- Kategorie: Angewandte Mathematik
- Kategorie: Algorithmen
- Kategorie: Mathematische Modellierung
- Kategorie: Theoretische Informatik
Werkzeuge, die Sie lernen werden
- Kategorie: Mathematische Software
Wichtige Details

Zu Ihrem LinkedIn-Profil hinzufügen
19 Aufgaben
Erfahren Sie, wie Mitarbeiter führender Unternehmen gefragte Kompetenzen erwerben.

In diesem Kurs gibt es 4 Module
Dozent

von
Mehr von Algorithmen entdecken
Status: VorschauUniversity of Colorado Boulder
Status: Kostenloser TestzeitraumUniversity of London
Status: VorschauUniversity of Leeds
Warum entscheiden sich Menschen für Coursera für ihre Karriere?

Felipe M.

Jennifer J.

Larry W.

Chaitanya A.
Bewertungen von Lernenden
- 5 stars
80,43 %
- 4 stars
13,04 %
- 3 stars
6,52 %
- 2 stars
0 %
- 1 star
0 %
Zeigt 3 von 45 an
Geprüft am 16. Aug. 2019
Good course, but some quizes are a bit confusing :)Thank you very much professor.
Geprüft am 2. Mai 2020
More programming problems (probably on the later half) would be really interesting and helpful
Geprüft am 20. Apr. 2023
Excellent Course. Concise and to the point. Well chosen examples. I had no background in the topic, but it is quite math-heavy. I am okay with it.
Häufig gestellte Fragen
Weitere Fragen
Finanzielle Unterstützung verfügbar,





