Einführung in die (Theoretische) Informatik

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.

Die Lehrveranstaltung findet zweimal die Woche statt:

• Montags (9.20–10.50 Uhr) im Raum HÜL/S186
• Donnerstags (11.10–12.40 Uhr) im Raum APB/E023

Die Vorlesung wird von Übungen begleitet, die Dr. Marcel Lippmann hält. 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:

• Bitte tragen Sie sich in den Kurs im OPAL-System ein.

	Montag	Donnerstag
13. April bis 17. April	Vorlesung	Vorlesung
20. April bis 24. April	Übung	Vorlesung
27. April bis 1. Mai	Übung	Vorlesung
4. Mai bis 8. Mai	Übung	Vorlesung
11. Mai bis 15. Mai	Vorlesung	Himmelfahrt
18. Mai bis 22. Mai	Übung	Vorlesung
25. Mai bis 29. Mai	Pfingsten	Pfingsten
1. Juni bis 5. Juni	Übung	Vorlesung
8. Juni bis 12. Juni	Übung	Vorlesung
15. Juni bis 19. Juni	Testat	Vorlesung
22. Juni bis 26. Juni	Übung	Vorlesung
29. Juni bis 3. Juli	Übung	Vorlesung (in Raum ZEU/260)
6. Juli bis 10. Juli	Übung	Vorlesung
13. Juli bis 17. Juli	Vorlesung	Übung
20. Juli bis 24. Juli	Übung	Vorlesung

SWS: 2/2/–

Die Lehrveranstaltung kann in folgenden Modulen verwendet werden:

• Diplom-Studiengang Wirtschaftsinformatik: D-WW-EINF (Einführung in die Informatik)
• Bachelor-Studiengang Wirtschaftspädagogik: INF-BAWP-INF-04 (Einführung in die theoretische Informatik)
• Studiengang Höheres Lehramt an berufsbildenden Schulen: INF-SEBS-INF-04 (Einführung in die theoretische Informatik)
• Studiengang Höheres Lehramt an Gymnasien: INF-SEGY-INF-04 (Einführung in die theoretische Informatik)
• Studiengang Lehramt an Mittelschulen: INF-SEMS-INF-04 (Einführung in die theoretische Informatik)

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

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