Theoretische Informatik
Details
Vorlesung (4 SWS, Nr. 5502002) + Übung (2 SWS, Nr. 5502004)
SoSe 2025
Dozent: Alexander Steen <alexander.steen@uni-greifswald.de>
Übung: Marie Wolf <marie.wolf1@stud.uni-greifswald.de>
Termine (alle Zeiten c.t.)
Vorlesung: Mi 10-12 und Fr 10-12, Raum SR 1 (Franz-Mehring-Straße 47/48)
Übung: Do 14-16, Raum SR 5 (Franz-Mehring-Straße 47/48)
Beschreibung
Das Gebiet der theoretischen Informatik beschäftigt sich mit der Untersuchung von grundlegenden Eigenschaften der Daten- bzw. Informationsverarbeitung, deren abstrakte Charakterisierung und Klassifizierung, sowie prinzipielle Grenzen der Berechenbarkeit. Die Veranstaltung stellt eine Einführung in dieses Gebiet dar, und führt dabei in die folgenden grundlegenden Themen der theoretischen Informatik ein:
- Algorithmische Probleme
- Formale Sprachen und Grammatiken
- Automatentheorie
- Berechenbarkeitstheorie
- Dozent/in: Alexander Steen