Materialien zur Vorlesung Theoretische Grundlagen der Informatik

++Aktuell++ Die Vorlesung beginnt am 21.4.2004. Fr., 21.5.: Vorlesung ausnahmsweise in G 201 (statt A 703) Fr., 2.7.: Vorlesung noch einmal in G 201 (statt A 703)

Auf dieser Seite werden alle wichtigen Mitteilungen im Zusammenhang mit der Vorlesung Theoretische Grundlagen der Informatik von Prof. Dr. Ulrik Brandes gesammelt.

Termine

Vorlesung: (U. Brandes) Mi 8:30 - 10:00 Uhr, D 301 Fr 12:30 - 14:00 Uhr, A 703 Übung: (D. Fleischer, J. Lerner) Mo 10 - 12 Uhr, G 304 Mo 14 - 16 Uhr, G 305 Klausurtermine: 1. Termin: Freitag, 23. Juli 2004, 12-14 Uhr (A 703) 2. Termin: Donnerstag, 14. Oktober 2004, 10-12 Uhr (R 611) (bitte melden Sie sich bei Frau Beck an)

Übungsblätter

Übungsblätter werden mittwochs in der Vorlesung ausgegeben, sind aber auch im Treppenhaus vor dem Sekretariat des Lehrstuhls (Raum E 214) erhältlich. Die Aufgaben sind innnerhalb einer Woche zu bearbeiten, und werden als schriftliche Ausarbeitungen im Treppenhaus vor dem Sekretariat des Lehrstuhls (Raum E 214) abgegeben. Die Besprechung der Aufgaben und die Rückgabe der korrigierten und mit Punkten bewerteten Abgaben erfolgt in der jeweils nächsten Übung. Das Erlangen von mindestens der Hälfte der möglichen Punkte und die aktive Teilnahme an den Übungen ist Voraussetzung für einen Übungsschein. Der Übungsschein ist Bedingung für die Teilnahme an der Klausur. Alle Aufgaben können und sollen in Zweiergruppen abgegeben werden.

	0. Übungsblatt (ausgegeben am 21. April 2004) Präsenzübung
	1. Übungsblatt (ausgegeben am 21. April 2004) Reguläre Ausdrücke
	2. Übungsblatt (ausgegeben am 28. April 2004) Reguläre Ausdrücke und endliche Automaten
	3. Übungsblatt (ausgegeben am 5. Mai 2004) Nicht-deterministische und deterministische endliche Automaten
	4. Übungsblatt (ausgegeben am 12. Mai 2004) Äquivalenzklassenautomaten, Pumping Lemma
	5. Übungsblatt (ausgegeben am 19. Mai 2004) Reguläre Sprachen und nicht reguläre Sprachen
	6. Übungsblatt (ausgegeben am 26. Mai 2004) Pattern Matching
	7. Übungsblatt (ausgegeben am 2. Juni 2004) Kontextfreie Grammatiken
	8. Übungsblatt (ausgegeben am 9. Juni 2004) Kellerautomaten, kontextfreie Sprachen
	9. Übungsblatt (ausgegeben am 16. Juni 2004) Deterministische Kellerautomaten
	10. Übungsblatt (ausgegeben am 23. Juni 2004) Kontextsensitive Grammatiken, Turingmaschinen
	11. Übungsblatt (ausgegeben am 30. Juni 2004) Turingmaschinen, Entscheidbarkeit
	12. Übungsblatt (ausgegeben am 7. Juli 2004) Semi-Entscheidbarkeit, NP-Vollständigkeit

Skript

Zur Vorlesung ist im Verlauf des Semesters ein Skript entstanden. Für Hinweise auf Fehler und Ungereimtheiten sind wir dankbar.

Weitere Informationen

	Informationen zum Account-Tool
	Semesterapparat in der Bibliothek
	Offizielle Formulierung der Millenium Prize Aufgabe