Theoretische Informatik 2

Semester	Sommersemester 2026 Sommersemester 2025
Studiengang	Informatik Bachelor
IBR Gruppe	ALG (Prof. Fekete)
Art	Vorlesung & Übung
Dozent	Dr. Arne Schmidt Wissenschaftlicher Mitarbeiter aschmidt[[at]]ibr.cs.tu-bs.de +49 531 3913115 Raum 333
LP	5
SWS	3+1+1
Ort & Zeit	Vorlesung / Gr. Übung: Montags und Dienstags, 13:15 Uhr - 14:45 Uhr (UP 3.007) Kl. Übung: TBA
Beginn	Erste Vorlesung / große Übung: 13.04.26 Erste kleine Übung: TBA
Voraussetzungen	keine
Sprache	Deutsch
Scheinerwerb	Studienleistung: Erfolgreiche Bearbeitung der Hausaufgaben Prüfungsleistung: Klausur am Ende des Semesters
Anmeldung
Inhalt	Die Vorlesung deckt folgende Inhalte ab. Turing Maschinen Chomsky-Hierarchie Entscheidbarkeit Berechenbarkeit Komplexitätstheorie NP-Vollständigkeit
Material	Vorlesungen Große Übungen Hausaufgaben
Literatur/Links	U. Schöning: Theoretische Informatik - kurzgefasst. Springer, 2008. J. E. Hopcroft, R. Motwani, J. D. Ullman: Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie. Addison-Wesley Longman, 2002. M. Nebel: Formale Grundlagen der Programmierung. Vieweg+Teubner, 2012. M. Sipser: Introduction to the Theory of Computation. Cengage Learning, 2012. I. Wegener: Complexity Theory. Springer, 2005. D. Kozen: Automata and Computability. Springer, 1977. O. Goldreich: Computational Complexity. Cambridge University Press, 2008. A. M. Turing: On Computable Numbers, with an application to the Entscheidungsproblem.
Neuigkeiten

Neuigkeiten