Übungsblätter

Blatt 1 (Wahrheitstabellen, Sequenzkalkül)

Blatt 2 (CNF, Implementierung SAT-Solver)

• Übungsblatt 2
• sat_testdaten.zip
• Musterlösung
• Beispielimplementierung: SimpleSAT
  • Um das Projekt SimpleSAT zu verwenden, benötigen Sie das JDK 8 und Eclipse 4.3.2 mit Java 8 Extensions (siehe Eclipse Java 8 Support).

Blatt 3 (Resolution, Knotenfärbung als SAT)

• Übungsblatt 3
  
• Musterlösung
• Beispielimplementierung: GraphDyer

 Blatt 4 (Prädikatenlogik)

 Blatt 5 (PVS)

Blatt 6 (Herbrand-Universen, Unifikation, Resolution, Vampire) 

 Blatt 7 (Prädikatenlogik 2. Stufe)

Materialien aus der Übung

Übung 1 (11.04.2014)

Übung 2 (25.04.2014)

Übung 3 (02.05.2014)

 Übung 7 (20.06.2014)

Übung 9 (04.07.2014)