Theoretische Informatik
Details
Vorlesung (4 SWS, Nr. 5502002) + Übung (2 SWS, Nr. 5502004)
SoSe 2024, 08.04.2024 - 19.07.2024
Dozent: Alexander Steen <alexander.steen@uni-greifswald.de>
Übung: Melanie Taprogge <melanie.taprogge@stud.uni-greifswald.de>
Termine (alle Zeiten c.t.)
Vorlesung: Di 10-12 und Do 10-12
Übung: Mi 14-16
jeweils im Raum 0.06 (Walther-Rathenau-Straße 47).
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