Arbeitsbereich
THEORETISCHEGRUNDLAGEN DER INFORMATIK
Berechenbarkeit und Komplexität (BuK)
Prof. Dr. Matthias Jantzen
PD Dr. Michael Köhler-Bußmeier
Frank Heitmann
Montag, 10:15-11:45 in C-221 und
Dienstag, 12:15-13:45 in C-221
(Wintersemester 2010/2011)
Aktuelles
Aktuelle Informationen zur Veranstaltung werden direkt per Email an die Teilnehmer
verbreitet.
Zum Inhalt
Die Beschreibung aus dem KVV finden Sie hier.
Skript
- Als Skript dienen die Präsentationsfolien, die hier zeitnah als PDF zur
Verfügung gestellt werden.
- Das früher AUK-Skript ist im Sekretariat TGI zum Kopieren entleihbar,
enthält aber einiges, was in BuK nicht vorkommt. Ebenso werden auch
einige Teile, die behandelt werden, im Skript fehlen!
Hier ist eine PDF-Version des Skriptes von 2007.
Vorlesungsfolien
Hier werden nach und nach die Folien zur Vorlesung veröffentlicht werden.
Diese, sowie die angesprochene Literatur, dienen dann als Prüfungsstoff.
- Neue Folien zum Thema Termersetzung finden sie
hier.
Aufgaben
Aufgaben werden in der Vorlesung im Plenum angesprochen und zum Teil gleich gemeinsam
bearbeitet. Aufgaben zur schriftlichen Bearbeitung werden im Plenum bekanntgegeben.
Folien früherer Veranstaltungen
Hier finden Sie einige Foliensätze früherer Veranstaltungen.
- Foliensatz 1: AFL-Theorie (PDF) (ZIP)
- Foliensatz 2 Reduktionssysteme (PDF) (ZIP)
- Foliensatz 3 Termersetzung (PDF) (ZIP)
- Foliensatz 4 Komplexitaetstheorie (PDF) (ZIP)
Aufgaben zur früheren AUK-Vorlesung
Hier finden Sie einige Aufgabenzettel früherer AUK-Veranstaltungen
zum Üben.
- Aufgabenzettel 01 (PDF) Lösung zu Aufgabe 01 (PDF)
- Aufgabenzettel 02 (PDF) Lösung zu Aufgabe 02 (PDF)
- Aufgabenzettel 03 (PDF) Lösung zu Aufgabe 03 (PDF)
- Aufgabenzettel 04 (PDF) Lösung zu Aufgabe 04 (PDF)
- Aufgabenzettel 05 (PDF) Lösung zu Aufgabe 05 (PDF)
- Aufgabenzettel 06 (PDF) Lösung zu Aufgabe 06 (PDF)
- Aufgabenzettel 07 (PDF) Lösung zu Aufgabe 07 (PDF)
- Aufgabenzettel 08 (PDF) Lösung zu Aufgabe 08 (PDF)
- Aufgabenzettel 09 (PDF) Lösung zu Aufgabe 09 (PDF)
[Lehre] [TGI] [Informatik] 
Impressum
