LV-Leiter:	O.Univ.-Prof. Dr. Patrick Horster
Termin:	Di 11:00-12:30, HS C
	Zusatz-Termin: Mi 07.01.2009, 10:00-12:00, HS 7
Klausur:	Fr, 06.02.2009, 14-16 Uhr HS A
Ablauf:	LV-Modalitäten
Aktuelles:	Simulator für Registermaschinen (v0.11)
	Simulator für Turingmaschinen (v1.1)
	Musterklausur A, Musterklausur B
	Zugangscodes werden in der 1. VO-Einheit (am 7.10.) bekannt gegeben.

Kapitel	Ausgabe	Update	Folien
Allgemein	29.09.2008	---
Literaturliste	29.09.2008	---
Mathematische Grundlagen	29.09.2008	---
0 Motivation und Präliminarien	29.09.2008	---
1 Registermaschinen	06.10.2008	---
2 Turingmaschinen 1	07.10.2008	---
3 Register- und Turingmaschinen	21.10.2008	04.11.2008
4 Endliche Automaten	27.10.2008	---
5 Kontextfreie Sprachen	11.11.2008	---
6 Turingmaschinen 2	25.11.2008	---
7 Die These von Church	02.12.2008	06.01.2009
8 Unberechenbarkeit	06.01.2009	---

LV-Leiter (DI):	DI Michaela Greiler (MG) DDI Stefan Rass (SR)
LV-Leiter (LA):	Dr. Peter Antonisch (PA)
Termine:	621.501 (MG/SR): Do 12:00-14:00, HS 7 621.502 (MG/SR): Do 10:00-12:00, HS 7 621.509 (PA): Di 18:00-19:30, E.2.69
1. Klausur:	Fr, 21.11.2008, 12:30-13:15 Uhr, Treffpunkt HS C
2. Klausur:	Fr, 30.01.2009, 14:00-14:45 Uhr, HS A
Ablauf:	LV-Modalitäten

Übungsblatt	Ausgabe	Übungstermin (MG / SR, PA)	Angabe
1. Übungsblatt	06.10.2008	15./16.10.2008, 21.10.2008
2. Übungsblatt	13.10.2008	22./23.10.2008, 21.10.2008
3. Übungsblatt	22.10.2008	30.10.2008, 04.11.2008
4. Übungsblatt	29.10.2008	06.11.2008 / 04.11.2008
5. Übungsblatt	06.11.2008	13.11.2008 / 18.11.2008
6. Übungsblatt	12.11.2008	20.11.2008 / 18.11.2008
7. Übungsblatt	20.11.2008	27.11.2008 / 02.12.2008
8. Übungsblatt	27.11.2008	04.12.2008 / 02.12.2008
9. Übungsblatt	03.12.2008	11.12.2008 / 16.12.2008
10. Übungsblatt	03.12.2008	18.12.2008 / 16.12.2008
11. Übungsblatt	18.12.2008	08.01.2009 / 20.01.2009
12. Übungsblatt	18.12.2008	15.01.2009 / 20.01.2009