|
Modulbezeichnung (engl.):
Theoretical Informatics |
|
Code: KIB-TI |
|
4V (4 Semesterwochenstunden) |
5 |
Studiensemester: 4 |
Pflichtfach: ja |
Arbeitssprache:
Deutsch |
Prüfungsart:
Klausur, Dauer 90 min.
[letzte Änderung 03.07.2024]
|
KIB-TI (P222-0044) Kommunikationsinformatik, Bachelor, ASPO 01.10.2021
, 3. Semester, Pflichtfach
KIB-TI (P222-0044) Kommunikationsinformatik, Bachelor, ASPO 01.10.2022
, 4. Semester, Pflichtfach
PIB-TI (P221-0041) Praktische Informatik, Bachelor, ASPO 01.10.2022
, 3. Semester, Pflichtfach
|
Die Präsenzzeit dieses Moduls umfasst bei 15 Semesterwochen 60 Veranstaltungsstunden (= 45 Zeitstunden). Der Gesamtumfang des Moduls beträgt bei 5 Creditpoints 150 Stunden (30 Std/ECTS). Daher stehen für die Vor- und Nachbereitung der Veranstaltung zusammen mit der Prüfungsvorbereitung 105 Stunden zur Verfügung.
|
Empfohlene Voraussetzungen (Module):
Keine.
|
Als Vorkenntnis empfohlen für Module:
|
Modulverantwortung:
Prof. Dr. Maximilian Altmeyer |
Dozent/innen: Prof. Dr. Maximilian Altmeyer
[letzte Änderung 01.10.2022]
|
Lernziele:
Nach Abschluss der Veranstaltung können Studierende die grundlegenden Begriffe und Konzepte der theoretischen Informatik beschreiben. Sie können Eigenschaften von Automaten und Sprachen diskutieren, mit geeigneten Methoden beweisen (z.B. Pumping-Lemma) und bei praktischen Aufgabenstellungen die geeigneten theoretischen Konzepte (z.B. endlicher Automat, Kellerautomat, Turingmaschine) auswählen und anwenden.
[letzte Änderung 01.07.2024]
|
Inhalt:
Mathematische Grundlagen Reguläre Sprachen Endliche Automaten Nichtdeterminismus Reguläre Ausdrücke und Sprachen Minimalautomat Pumping-Lemma für reguläre Sprachen Kontextfreie Sprachen Kontextfreie Grammatiken Normalformen Pumping-Lemma für kontextfreie Sprachen CYK Algorithmus Kellerautomaten Turingmaschinen und Varianten Entscheidbarkeit Halteproblem
[letzte Änderung 22.01.2024]
|
Weitere Lehrmethoden und Medien:
Tafel, Skript, Simulationssoftware
[letzte Änderung 24.10.2016]
|
Literatur:
HOPCROFT J.E., ULLMANN J.D., MOTWANI R., Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie, Pearson, 2002 SIPSER Michael: Introduction to the theory of computation, Course Technology, 3rd edition, 2012
[letzte Änderung 24.10.2016]
|
Modul angeboten in Semester:
WS 2024/25,
WS 2023/24
|