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
Erweitern Sie Ihre Kenntnisse mit Coursera Plus für 239 $/Jahr (normalerweise 399 $). Jetzt sparen.

45 Bewertungen
Kompetenzen, die Sie erwerben
- Kategorie: Algorithms
- Kategorie: Computational Logic
- Kategorie: Theoretical Computer Science
- Kategorie: Verification And Validation
- Kategorie: Deductive Reasoning
- Kategorie: Arithmetic
- Kategorie: Model Optimization
- Kategorie: Mathematical Modeling
- Kategorie: Linear Algebra
- Kategorie: Applied Mathematics
- Kategorie: Logical Reasoning
- Kategorie: Combinatorics
- Kategorie: Operations Research
Werkzeuge, die Sie lernen werden
- Kategorie: Mathematical 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 1. Aug. 2019
The course explains the fundamental concepts very clearly. It is very helpful to understand the basic concepts of SMT solvers

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,


