Theoretische Grundlagen der Informatik -
Theoretical foundations of Computer Science
(V4+Ü2)
Vorlesung: Di 10-12 h, G 227; Fr 12-14 h,G 530
Üb.: Mo 12-14 h, C 422
Di 12-14 h, D 431
Mi 12-14 h, F 424
Dozent: Dr. Bernd Gärtner (ETH Zürich), Frank Schulz
Adressaten:
Studierende des Information Engineering im Bachelor-Vertiefungsstudium
4. Semester
Angebot im Lehrexport:
- Lehramt, Zusatzfach Informatik
- Mathematik Nebenfach oder Schwerpunkt Informatik
- Nebenfach Informatik in einem Magisterstudiengang
- Psychologie, Wahlpflichtfach Information Engineering
- Verwaltungswissenschaft, benachbartes Fach
- Wirtschaftspädagogik, Doppelwahlpflichtfach Information Engineering
- Wirtschaftswissenschaften, Wahlpflichtfach Informatik
Voraussetzungen:
Mathematische Grundkenntnisse im Umfang der Lehrveranstaltung "Mathematische
Grundlagen des Information Engineering I und II"
Inhalt:
- Grundlagen der Theoretischen Informatik:
- Maschinenmodelle Maschinenmodelle (z.B. Endliche Automaten,
- Turingmaschinen)
- Formale Sprachen und Grammatiken
- Berechenbarkeit
- Komplexitätstheorie
- Analyse und Verifikation von Algorithmen
Literatur:
Michael Sipser
Introduction to the Theory of Computation
PWS Publishing Company
Uwe Schöning
Theoretische Informatik - kurzgefasst
Hochschultaschenbuch, Spektrum Akademischer Verlag, 1997
Dorothea Wagner, Marco Gaertler, Dagmar Handke:
Theoretische Grundlagen der Informatik.
Skript zur Vorlesung vom WS 98/99.
Ingo Wegener
Theoretische Informatik
B.G. Teubner Verlag Stuttgart, 1993
Leistungsnachweis:
Klausur (Freitag, 25.07.2003)
Leistungspunkte:
Durch die Teilnahme an Vorlesung und Übungen und Bestehen der Prüfung
können 9 Punkte erworben werden.
