Springe zum Hauptinhalt
Professur Theoretische Informatik
Ehemalige Professur Theoretische Informatik
Professur Theoretische Informatik 

Übung zur Vorlesung Theorie der Programmiersprachen

Wintersemester 2018/2019

Übungsaufgaben

1. Übung: Übungsaufgaben
2. Übung: Übungsaufgaben
3. Übung: Übungsaufgaben
4. Übung: Übungsaufgaben
5. Übung: Übungsaufgaben
6. Übung: Übungsaufgaben
7. Übung: Übungsaufgaben
8. Übung: Übungsaufgaben
9. Übung: Übungsaufgaben
10. Übung: Übungsaufgaben

Beispielprogramme in PROLOG

dinner.pl Diätregeln. Einführungsbeispiel aus der ersten Vorlesung/Übung.
Post'sches Korrespondenzproblem
pkp.pl PROLOG-Programm zum Post'schen Korrespondenzproblem mit Erklärungen in den Kommentaren.
pkp_einfach.dat Ein PKP mit einer sehr kurzen Lösung.
pkp_mittel.dat Ein PKP mit einer kurzen Lösung.
pkp_lang.dat Das PKP aus der Übungsaufgabe. Die Rechnung dauert hier etwas länger!
Davis-Putnam-Prozedur (Backtracking)
davis_putnam.pl Backtracking-Algorithmus für aussagenlogische Formeln. Anwendungshinweise in den Kommentaren.
formel.db Widersprüchliche Formel.
formel2.db Erfüllbare Formel mit einer erfüllenden Belegung.
formel3.db Erfüllbare Formel mit mehreren erfüllenden Belegungen.
Diverses
minimum.pl Minimum von zwei Zahlen (in Unärdarstellung) bestimmen.
neg.pl Bitweise Negation.
sort.pl MergeSort und QuickSort in PROLOG.