|
Dozent:
Prof. Dr. Angelika Steger
|
|
Bereich:
4 SWS Vorlesung im
Grundstudium Informatik
Pflichtvorlesung
|
|
Zeit und Ort:
Mi 9h c.t. - 10:45, Hörsaal S0314
Fr 8:30 - 10:00, Hörsaal S0314
Beginn: 3. Mai
Ende: 28. Juli
|
|
Übung:
2 SWS Tutorübung zur Vorlesung.
Organisation des Übungsbetriebs:
Dr. Werner Meixner
Übungsleitung:
Alexander Hall, Martin Raab, Thomas Schickinger
Übungsschein: Einen Schein erhält, wer
mindestens 40% der Punkte zu den Hausaufgaben erreicht und
erfolgreich an der Semestralklausur teilnimmt.
|
|
Hörerkreis:
Studierende im Grundstudium der Informatik
Studierende mit Nebenfach Informatik
|
|
Voraussetzungen:
Einführung in die Informatik I/II
Diskrete Strukturen I
|
|
Empfehlenswert für:
Vordiplom
|
|
Inhalt:
Grobübersicht
- Formale Sprachen und Automaten
- Berechenbarkeit und Entscheidbarkeit
- Effiziente Datenstrukturen
- Komplexitätstheorie
|
|
Weiterführende bzw. verwandte Vorlesungen:
Effiziente Algorithmen und Datenstrukturen I
Parallele Algorithmen I
|
|
Skript:
Kein Skript, aber die in der Vorlesung aufgelegten Folien:
|
|
Literatur:
-
John E. Hopcroft, Jeffrey D. Ullman:
-
Introduction to automata theory, languages, and computation
Addison-Wesley Publishing Company, Reading MA, 1979
-
Uwe Schöning:
-
Theoretische Informatik kurz gefaßt
B.I., Mannheim-Leipzig-Wien-Zürich, 1992
-
Ingo Wegener:
-
Theoretische Informatik
B.G. Teubner, Stuttgart 1993
|
|
Sprechstunde:
siehe hier
|