|
|
Code: PIB345 |
|
4V (4 Semesterwochenstunden) |
5 |
Studiensemester: 3 |
Pflichtfach: ja |
Arbeitssprache:
Deutsch |
Prüfungsart:
Klausur
[letzte Änderung 20.09.2010]
|
KI586 Kommunikationsinformatik, Bachelor, ASPO 01.10.2014
, Wahlpflichtfach, technisch
PIB345 (P221-0041) Praktische Informatik, Bachelor, ASPO 01.10.2011
, 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:
PIB530 Metasprachen PIBWI55 Compilerbau
[letzte Änderung 22.01.2018]
|
Modulverantwortung:
Prof. Dr. Thomas Kretschmer |
Dozent/innen: Prof. Dr. Thomas Kretschmer
[letzte Änderung 20.09.2010]
|
Lernziele:
Die Studierenden kennen die grundlegenden Begriffe und Konzepte der theoretischen Informatik. Sie sind mit den Eigenschaften von Automaten und Sprachen vertraut und können bei praktischen Aufgabenstellungen die geeigneten theoretischen Konzepte (z.B. endlicher Automat oder Kellerautomat) auswählen und anwenden.
[letzte Änderung 18.08.2016]
|
Inhalt:
Mathematische Grundlagen Reguläre Sprachen Endliche Automaten Nichtdeterminismus Reguläre Ausdrücke und Sprachen Kontextfreie Sprachen Kellerautomaten Kontextfreie Grammatiken Turingmaschinen und Varianten Entscheidbarkeit Halteproblem
[letzte Änderung 18.08.2016]
|
Weitere Lehrmethoden und Medien:
Tafel, Skript, Simulationssoftware
[letzte Änderung 31.05.2006]
|
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 18.08.2016]
|
Modul angeboten in Semester:
WS 2017/18,
WS 2016/17,
WS 2015/16,
WS 2014/15,
WS 2013/14,
...
|