Übung zur Vorlesung Theorie der Programmiersprachen
Wintersemester 2018/2019
Beginn der Übungen:
Die Übungen für die Vorlesung Theorie der Programmiersprachen beginnen erst in der zweiten Vorlesungswoche. (Woche vom 15.10.2018)
Ü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. |