Übung zur Vorlesung Theorie der Programmiersprachen
Wintersemester 2017/2018
1. Übung: | Übungsaufgaben | |
2. Übung: | Übungsaufgaben | |
3. Übung: | Übungsaufgaben | |
4. Übung: | Übungsaufgaben | |
5. Übung: | Übungsaufgaben | |
6. Übung: | Übungsaufgaben | |
pkp.pdb | Prolog-Programm zum Post'schen Korrespondenzproblem mit Erklärungen in den Kommentaren. | |
pkp_einfach | Ein PKP mit einer sehr kurzen Lösung. | |
pkp_mittel | Ein PKP mit einer kurzen Lösung. | |
pkp_lang | Das PKP aus der Übungsaufgabe. Die Rechnung dauert hier etwas länger! | |
7. Übung: | Übungsaufgaben | |
8. Übung: | Übungsaufgaben | |
9. Übung: | Übungsaufgaben | |
10. Übung: | Übungsaufgaben | |
11. Übung: | Übungsaufgaben | |
Sortieren | Sortierverfahren in Prolog. |