Materialien zur Vorlesung Theoretische Grundlagen der Informatik

++Aktuell++ Die Termine für die Klausuren sind nun unten aufgelistet. Letztes Übungsblatt

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

Termine

Vorlesung: (U. Brandes) Mo 10:00 - 11:30 Uhr, D 406 Do 12:30 - 14:00 Uhr, R 512 Übung: (S. Cornelsen, T. Schank) Mi 12:30 - 14:00 Uhr, H 307 Mi 14:15 - 15:45 Uhr, A 702 Klausur: 1. Termin: Mo 23. Juli, 10:00 - 12:00 Uhr, G 300 2. Termin: Fr 5. Oktober, 10:00 - 12:00 Uhr, D 434

Übungsblätter

Übungsblätter werden montags in der Vorlesung ausgegeben, sind aber auch im Vorraum des Sekretariats (Raum E 212) erhältlich. Die Aufgaben sind innnerhalb einer Woche zu bearbeiten, und werden als schriftliche Ausarbeitungen im Vorraum des Sekretariats (Raum E 212) abgegeben. Die Besprechung der Aufgaben und die Rückgabe der korrigierten und mit Punkten bewerteten Abgaben erfolgt in der Übung. Zur Klausur zugelassen wird nur, wer mindestens die Hälfte der insgesamt möglichen Punkte erreicht und sich aktiv an den Übungen beteiligt. Alle Aufgaben können und sollen in Zweiergruppen abgegeben werden.

	0. Übungsblatt (ausgegeben am 26. April 2001) (präfixfreie) Sprachen deterministische endliche Automaten
	1. Übungsblatt (ausgegeben am 30. April 2001) reguläre Ausdrücke und Sprachen Mealy-Automat nichtdeterministische endliche Automaten
	2. Übungsblatt (ausgegeben am 7. Mai 2001) endliche Automaten
	3. Übungsblatt (ausgegeben am 14. Mai 2001) Äquivalenzklassenautomat Neroderelation Klammerausdrücke
	4. Übungsblatt (ausgegeben am 21. Mai 2001) Pumping Lemma Eindeutigkeit zustandsminimaler DEA's Pattern-Matching
	5. Übungsblatt (ausgegeben am 28. Mai 2001) Pumping Lemma Palindrome kontextfreie Grammatiken
	6. Übungsblatt Chomsky-Normalform CYK-Algorithmus mehrdeutige Grammatik
	7. Übungsblatt (ausgegeben am 11. Juni 2001) Kellerautomaten
	8. Übungsblatt (ausgegeben am 17. Juni 2001) Pumping Lemma deterministische Kellerautomaten
	9. Übungsblatt (ausgegeben am 25. Juni 2001) deterministisch kontextfreie Sprachen rechtslineare Grammatiken kontextsensitive Sprachen Turingmaschinen
	10. Übungsblatt (ausgegeben am 2. Juli 2001) Turingmaschinen Entscheidbarkeit
	Letztes Übungsblatt (ausgegeben am 9. Juli 2001) Entscheidbarkeit Berechenbarkeit

Skript

Zu der entsprechenden Vorlesung in den vergangenen Semestern wurde ein Skript erstellt. Es steht als Postscript-Datei zur Verfügung.

Weitere Informationen

	Gruppeneinteilung (nur für Gruppe ti_S01)

An dieser Stelle werden weitere für die Vorlesung benötigte Informationen bereitgestellt.