Grundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik WS10/11
Prof. Dr. Dieter Spreen
Das Thema dieser Vorlesung ist eine Einführung in die wichtigsten Gebiete der theoretischen Informatik:
- Die Theorie der Formalen Sprachen beschäftigt sich mit Methoden zur Überprüfung der syntaktischen Korrektheit von Computerprogrammen, d.h. ob ein Programm nur erlaubte Zeichenfolgen enthält.
- Die Berechenbarkeitstheorie befasst sich mit der Formalisierung des Algorithmusbegriffs. Ein Algorithmus ist ein Verfahren, das einem Computerprogramm zugrundeliegt.
- In der Komplexitätstheorie betrachtet man über die Frage, ob ein Problem algorithmisch lösbar ist, hinaus auch, ob es innerhalb eines realistisch nutzbaren Zeitrahmens gelöst werden kann.
Allgemeine Informationen:
Die Folien des Propädeutikums hier (Inhalt ist natürlich ohne Tafelanschrift etwas aus dem Kontext gerissen).
Die meisten organisatorischen Details finden Sie hier als pdf
Klausurergebnisse und Ergebnisse in den Übungsblätter:
Eine Nachholklausur findet am Mo. den 19.09.2011, 10-13 Uhr in H-C 3303 statt. Bei Fragen hierzu wenden Sie sich bitte an
Hannes Diener.
Ergebnisse nach Matrikelnummer
abfragen:
Skript
Das Skript
zur Vorlesung (letztes update am 29. Dez. 2010).
Das Skript als HTML-Version finden sie hier
Mitarbeiter:
Hannes Diener | |
Christian Jung | |
Daniel König | |
Philipp Reh | |
Christian Uhrhan |