Willkommen
Liebe Studenten/innen,
Auf dieser Webseite finden Sie die Materialien für den Kurs
Abstrakte Denktechniken und Theoretische Informatik 2.
Neben den Vorlesungsfolien finden sich hier auch die Übungsaufgaben,
die Sie in den CÜ Zeiten bearbeiten sollen. Die Lösungen zu
diesen Aufgaben werden jeweils in der darauffolgenden Woche
hier veröffentlicht.
| Für einige Übungen
werden Sie
AtoCC
benötigen. Hinweis: In den Computerpools finden Sie in der Regel eine veraltete Version. Laden Sie sich deshalb zu Beginn der Übungsstunde die aktuelle |
 |