Einführung in die (Theoretische) Informatik

Dr.-Ing. Anni-Yasmin Turhan


Inhalte und Qualifikationsziele

Die Studierenden verstehen die für die Informatik wichtigen Grundlagen aus den Gebieten Algorithmen und Datenstrukturen, einschließlich der Korrektheit und der Analyse der Komplexität von Algorithmen, Boolesche Formeln, Formale Sprachen und Automaten am Beispiel von regulären Sprachen und endlichen Automaten. Sie verfügen über die Kenntnis effizienter Algorithmen für grundlegende Probleme und Entwurfsstrategien zur Konstruktion von Algorithmen sowie der Analyse ihrer Berechnungskomplexität.

Voraussetzungen: Es werden allgemeine Kenntnisse zur Mathematik und zur Programmierung vorausgesetzt.

Organisation

Die Lehrveranstaltung findet zweimal die Woche statt: Die Vorlesung wird von Übungen begleitet, die 14-tägig stattfinden. Die Übungen hält Marcel Lippmann. Die Übungsblätter werden etwa eine Woche vor dem Übungstermin bereitgestellt.

Die genauen Termine der Vorlesung und der Übung entnehmen Sie bitte der folgenden Tabelle.

Ankündigungen:
Montag Donnerstag
7. April bis 11. April Vorlesung Vorlesung
14. April bis 18. April Vorlesung Übung
(Übungsblatt 1)
21. April bis 25. April Ostermontag Vorlesung
28. April bis 2. Mai Vorlesung Maifeiertag
5. Mai bis 9. Mai Vorlesung Übung
(Übungsblatt 2)
12. Mai bis 16. Mai Vorlesung Vorlesung
19. Mai bis 23. Mai Vorlesung Übung
(Übungsblatt 3)
26. Mai bis 30. Mai Vorlesung Himmelfahrt
2. Juni bis 6. Juni Vorlesung Übung
(Übungsblatt 4)
9. Juni bis 13. Juni Pfingsten Pfingsten
16. Juni bis 20. Juni Vorlesung Testat
11:10–14:30 in ZEU/LICH/H
(Online-Einschreibung im HISQIS endet am 5.6.)
23. Juni bis 27. Juni Vorlesung Vorlesung
30. Juni bis 4. Juli Übung
(Übungsblatt 5)
Vorlesung
7. Juli bis 11. Juli Vorlesung Vorlesung
14. Juli bis 18. Juli Übung
(Übungsblatt 6)
Wiederholungstestat
11:10–12:40
(Einschreibung persönlich bei Frau Schäfer bis 15.7.)

SWS/Module

SWS: 3/1/–

Die Lehrveranstaltung kann in folgenden Modulen verwendet werden:

Vorlesungsmaterial

Die Folien zur Vorlesung werden zu Beginn der Vorlesung im OPAL-System bereitgestellt. Sollte es Schwierigkeiten mit der Verfügbarkeit des Materials geben, schreiben Sie bitte eine E-Mail an Marcel Lippmann.

Literatur

Uwe Schöning: Ideen der Informatik: Grundlegende Modelle und Konzepte der theoretischen Informatik, 3. korrigierte Auflage, Oldenbourg Verlag München, 2008.