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

Übung zur Vorlesung Theorie der Programmiersprachen

Wintersemester 2015/2016

Beginn der Übungen:

Die Übungen für die Vorlesung Theorie der Programmiersprachen beginnen erst in der zweiten Vorlesungswoche.

1. Übung: Übungsaufgaben
2. Übung: Übungsaufgaben
3. Übung: Übungsaufgaben
4. Übung: Übungsaufgaben
5. Übung: Übungsaufgaben
6. Übung: Übungsaufgaben
7. Ü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!
8. Übung: Übungsaufgaben
9. Übung: Übungsaufgaben
10. Übung: Übungsaufgaben
11. Übung: Übungsaufgaben
12. Übung: Übungsaufgaben Sortieren