University of Konstanz
Universität Konstanz
Fachbereich Informatik und Informationswissenschaft

"Theoretische Grundlagen der Informatik" (Vorlesung und Übung)

+++ Aktuelles +++

Die Lehrveranstaltung ist beendet.

Auf dieser Seite werden alle wichtigen Mitteilungen zur Vorlesung "Theoretische Grundlagen der Informatik" von PD Dr. Sven Kosub.

Termine

Vorlesung (S. Kosub) Mittwoch, 08:15-09:45 Uhr, R 513
Donnerstag, 08:15-09:45 Uhr, A 703
Übung Montag, 10:00-11:30 Uhr, D 247 (Gruppe A: Dr. Maciej Gratkowski; Email: maciej.gratkowski @ uni-konstanz.de)
Montag, 13:30-15:00 Uhr, D 247 (Gruppe B: Dr. Maciej Gratkowski; Email: maciej.gratkowski @ uni-konstanz.de)
Montag, 15:15-16:45 Uhr, D 247 (Gruppe C: Dr. Maciej Gratkowski; Email: maciej.gratkowski @ uni-konstanz.de)
Klausur Erster Termin: Dienstag, 23.07.2013, 10:00-12:00 Uhr, R 513
Zweiter Termin: Dienstag, 15.10.2013, 10:00-12:00 Uhr, C 336

Übungsblätter

Übungsblätter werden immer am Donnerstag (ausschließlich elektronisch) auf der Vorlesungswebseite als PDF-Datei zur Verfügung gestellt.

Die Aufgaben sind innerhalb einer Woche zu bearbeiten. Die Abgabe der Lösung als aus LaTeX erzeugte PDF-Datei ist bis Freitag, 08:00 Uhr per Email an den jeweiligen Tutor möglich. Die Besprechung der Aufgaben und die Rückgabe der korrigierten und mit Punkten bewerteten Abgaben erfolgt in der Übung. Das Erlangen von mindestens der Hälfte der möglichen Punkte und die regelmäßige, aktive Teilnahme an den Übungen ist Voraussetzung für die Zulassung zur Klausur.

Alle Aufgaben können und sollen in Zweiergruppen abgegeben werden.

Nr. Ausgabe Abgabe Download

Inhalt

Inhalte der Vorlesung:

  1. Algorithmentheorie
  2. Berechenbarkeitstheorie
  3. Komplexitätstheorie
  4. Automatentheorie
  5. Theorie der Formalen Sprachen

Skript

Im Laufe der Vorlesung wird ein Skript zur Vorlesung zur Verfügung gestellt werden. Die jeweils aktuelle Version finden Sie hier. Sollten Sie Anregungen zum Skript haben oder Fehler jeglicher Art finden, schreiben Sie bitte eine kurze Mail.

Kapitel Datum Version Download
alle 19.07.13 v0.28 PDF

Literatur

Ergänzendes und vertiefendes Material zu Vorlesung und Skriptum findet sich in folgenden Lehrbüchern:

  1. Klaus W. Wagner. Theoretische Informatik. Eine kompakte Einführung. 2. Auflage, Springer-Verlag, Berlin, 2003.
  2. Uwe Schöning. Theoretische Informatik - kurz gefasst. 5. Auflage, Spektrum Akademischer Verlag, Heidelberg, 2008.
  3. John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman. Introduction to Automata Theory, Languages, and Computation. 3. Auflage, Prentice Hall, Upper Saddle River, NJ, 2006.

Weitere Informationen