Nächste Seite: Definition, Resultate Aufwärts: Constraint-Programmierung Vorlesung Sommersemester 2009, Vorherige Seite: Diophantische Mengen

Presburger-Arithmetik

Unterabschnitte

Definition, Resultate
Beispiele f. Presburger-Formeln
Entscheidungsverfahren (Ansatz)
Entscheidungsverfahren (Kodierung)
Formeln und Modellmengen
Automaten (Definition)
Automaten (Operationen: Durchschnitt)
Automaten (Operationen: Komplement)
Automaten (Operationen: Projektion)
Zusammenfassung Entscheidbarkeit
Eine untere Schranke
Untere Schranke
Presburger-Arithmetik und große Zahlen

2014-07-06