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 TOE/0317
• Donnerstags (11.10–12.40 Uhr) im Raum INF/E023

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:

• Bitte beachten Sie die Einschreibung für die Wiederholungsklausur im WS 2014/15. Bei Problemen mit der Einschreibung wenden Sie sich bitte an Frau Turhan.
• Bitte tragen Sie sich in den Kurs im OPAL-System ein.

	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: 3/1/–

Die Lehrveranstaltung kann in folgenden Modulen verwendet werden:

• Bachelor-Studiengang Wirtschaftsinformatik: WI-BA-01 (Einführung in die Informatik)
• Staatsexamen Lehramt an berufsbildenden Schulen: INF-SEBS-INF-04 (Einführung in die Theoretische Informatik)
• Staatsexamen Lehramt an Gymnasien: INF-SEGY-INF-04 (Einführung in die Theoretische Informatik)
• Staatsexamen 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, schreiben Sie bitte eine E-Mail an Marcel Lippmann.

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