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

45 Bewertungen
Kompetenzen, die Sie erwerben
- Kategorie: Operations Research
- Kategorie: Angewandte Mathematik
- Kategorie: Logisches Denken
- Kategorie: Mathematische Modellierung
- Kategorie: Kombinatorik
- Kategorie: Arithmetik
- Kategorie: Modell-Optimierung
- Kategorie: Lineare Algebra
- Kategorie: Theoretische Informatik
- Kategorie: Verifizierung und Validierung
- Kategorie: Deduktive Argumentation
- Kategorie: Algorithmen
- Kategorie: Rechnerische Logik
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

University of Colorado Boulder

University of London

University 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 9. März 2020
The course is a great introduction to satisfiability problem and its wide range of applications in day to day life. Honors assignments really helped me understand the core concepts better.

Neue Karrieremöglichkeiten mit Coursera Plus
Unbegrenzter Zugang zu 10,000+ Weltklasse-Kursen, praktischen Projekten und berufsqualifizierenden Zertifikatsprogrammen - alles in Ihrem Abonnement enthalten
Bringen Sie Ihre Karriere mit einem Online-Abschluss voran.
Erwerben Sie einen Abschluss von erstklassigen Universitäten – 100 % online
Schließen Sie sich mehr als 3.400 Unternehmen in aller Welt an, die sich für Coursera for Business entschieden haben.
Schulen Sie Ihre Mitarbeiter*innen, um sich in der digitalen Wirtschaft zu behaupten.
Häufig gestellte Fragen
Weitere Fragen
Finanzielle Unterstützung verfügbar,


