Theoretical Computer Science

CS 406 Theoretische Informatik

Spring Semester 2020 | German

The lecture provides an algorithm-oriented introduction to central areas of theoretical computer science such as basic computational models and mutual simulations, decidability, complexity theory (definition and structure of basic complexity classes, reducibility, NP-completeness), information theory and cryptography, automata theory, basics of programming languages and syntax analysis.


Ankündigung bezüglich der anstehenden Prüfungen

Liebe Teilnehmerinnen und Teilnehmer des Kurses „Theoretische Informatik“ im Frühjahres/Sommersemester 2020,

lassen Sie mich heute einige Anmerkungen zum weiteren Verlauf des Kurses und dem voraussichtlichen Ablauf der Prüfungen machen.

Laut den Verlautbarungen der Universitäts­leitung wird es in diesem Semester auch in diesem Kurs keine Vorlesungen und Übungen im Präsenzbetrieb mehr geben.

Der gesamte Stoff der Vorlesungen und Übungen wird bis spätestens zum 24.05.2020 auf den Ihnen bekannten Seiten des ILIAS-Systems online verfügbar sein. Bitte beschäftigen Sie sich kontinuierlich mit dem Vorlesungs­stoff, und versuchen Sie selbstständig, die Übungs­aufgaben zu lösen.

Sie können uns jederzeit per Email Fragen zum Vorlesungs­stoff und zu den Übungs­aufgaben stellen bzw. Ihre Lösungen zur Korrektur bei uns einreichen. Bitte machen Sie davon Gebrauch.

Unser Ziel ist es, die mündlichen Prüfungen im Zeitraum vom 20.06.2020 bis 17.07.2020 im Präsenzbetrieb in den Räumen der Universität stattfinden zu lassen, natürlich unter Einhaltung aller dann gültigen Hygieneregeln. Bitte informieren Sie uns zeitnah, wenn für Sie ein Prüfungs­termin in diesem Zeitraum nicht realisierbar ist. Nähere Informationen zu den Prüfungen und eventuellen Wiederholungs­veranstaltungen kommen Ende Mai.

Mit den besten Wünschen, insbesondere für Ihre Gesundheit
Matthias Krause


Ankündigung bezüglich des Ausfalls der Präsenzlehre

Liebe Teilnehmerinnen und Teilnehmer des Kurses „Theoretische Informatik“ im Frühjahres/Sommersemester 2020,

wie Sie wissen, wird die Präsenzlehre an der Universität aufgrund der Coronapandemie vom heutigen Montag, 16.03.2020 bis (zunächst) zum 19.04.2020 ausgesetzt. Das bedeutet, dass die geplanten Vorlesungen in Theoretischer Informatik am

Montag, dem 16.03.2020,Mittwoch, dem 28.03.2020,Montag, dem 23.03.2020,
Montag, dem 30.03.2020,Mittwoch, dem 01.04.2020, 

sowie das Tutorium am Mittwoch, dem 25.03.2020, entfallen.

Es ist das erklärte Ziel sowohl der Universität als auch meiner Person, Sie durch die Bereitstellung entsprechender Online-Lehr­angebote in die Lage zu versetzen, alle für dieses Semester geplanten Prüfungs­leistungen ohne Inkaufnahme größerer didaktischer Nachteile abzulegen. Dieses Ziel kann natürlich nur durch einen dialog­orientierten Prozess erreicht werden, der Ihre aktive Mitarbeit voraussetzt.  Momentan planen wir folgende Maßnahmen:

  1. Die Plattform für den Lehr­prozess ist das ILIAS System und die Webseite zu diesem Kurs, auf denen die unten näher beschriebenen Lehr­materialien bereitgestellt werden. Bitte besuchen Sie diese Seiten regelmäßig, da die entsprechenden Dateien ständig aktualisiert werden.
  2. Bitte kontaktieren Sie uns bei organisatorischen und inhaltlichen Fragen per E-Mail, die wir versuchen, zeitnah zu beantworten. Von persönlichen Besuchen unseres Lehr­stuhl­bereichs bzw. Telefonaten bitten wir abzusehen.
  3. In einem ersten Schritt werden das gesamte Skript der Vorlesung und die entsprechenden Übungs­aufgaben bereitgestellt, um Ihnen ein individuelles Arbeits­tempo zu ermöglichen. Beachten Sie, dass auch diese Dokumente kleineren dynamischen Veränderungen unterliegen können, die entsprechend kommuniziert werden.
  4. Zusätzlich werden unsererseits Videodateien erstellt und bereitgestellt, in denen der Stoff der zunächst entfallenden fünf Vorlesungen durch mich erklärt wird, ähnlich wie ich es im Normalfall in der Vorlesung getan hätte. Die den Stoff begleitenden Beispiele, die ich im Normalfall an der Tafel vorführe, werden in geeigneter Weise in das Skript und den Vortrag integriert. Bitte haben Sie dafür Verständnis, dass diese Dateien zumindest in dieser ersten Woche nicht zeitkonform mit den eigentlichen Vorlesungen bereitgestellt werden. Auch wir müssen uns in die technische Materie erst einarbeiten.
  5. Für die Tutorien werden ebenfalls Videodateien erstellt, in denen die Übungs­aufgaben vorgerechnet werden. Zudem können Sie uns Ihre Lösungen der Übungs­aufgaben zwecks Korrektur und Kommentierung als PDF-Datei im Vorfeld der Übung per E-Mail zuschicken.


Mit den besten Wünsche, insbesondere für Ihre Gesundheit
Matthias Krause


News

  • 2020-03-11: Due to the Coronavirus pandemic all classes are cancelled until 20 April.
  • 2020-03-02: Due to illness, the lecture for today is cancelled.
  • 2020-02-19: The lecture for today was cancelled.

Lecture


Tutorials


Literature

  • Wegener, Ingo: Theoretische Informatik - eine algorithmen­orientierte Einführung, Teubner Verlag, 2005.
  • Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein: Algorithmen - Eine Einführung, Oldenbourg, 2010.