Logik WS 07/08

Neuigkeiten | Termine | Motivation | Inhalt | Übungen | Folien | Software | Literatur

Folgende Tools werden in der Vorlesung und in den Übungen eingesetzt.

SAT-Solver:

• limboole (Uni Linz)

BDD-Werkzeuge:

• JADE (Java-basiertes BDD-Tool von der Uni Bremen)
• DDcal und CUDD (BDD-"Taschenrechner" und API von der Uni Colorado)
• BDD-Applet (Browser-Applet von der Uni Hamburg)

Hilbert-Kalkül

• Java-Applet zum Erstellen von Herleitungen (Uni Wien)

Tarski's World

• Java-Applet (Uni Plattsburgh)

Prädikatenlogische Resolution

• otter (University of New Mexico)