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 SR1 (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