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

Ü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.