htw saar Piktogramm
Zurück zur Hauptseite

Version des Moduls auswählen:
XML-Code

flag

Theoretische Informatik

Modulbezeichnung: Theoretische Informatik
Modulbezeichnung (engl.): Theoretical Informatics
Studiengang: Praktische Informatik, Bachelor, ASPO 01.10.2017
Code: PIB-TI
SWS/Lehrform: 4V (4 Semesterwochenstunden)
ECTS-Punkte: 5
Studiensemester: 3
Pflichtfach: ja
Arbeitssprache:
Deutsch
Prüfungsart:
Klausur

[letzte Änderung 18.10.2016]
Verwendbarkeit / Zuordnung zum Curriculum:
KIB-TI Kommunikationsinformatik, Bachelor, ASPO 01.10.2017, 3. Semester, Pflichtfach
PIB-TI Praktische Informatik, Bachelor, ASPO 01.10.2017, 3. Semester, Pflichtfach
Arbeitsaufwand:
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):
PIB-INF1 Informatik 1
PIB-INF2 Informatik 2
PIB-MA1 Mathematik 1


[letzte Änderung 24.10.2016]
Als Vorkenntnis empfohlen für Module:
PIB-FPRG Funktionale Programmierung
PIB-WEB Grundlagen der Webentwicklung


[letzte Änderung 09.08.2021]
Modulverantwortung:
Prof. Dr. Thomas Kretschmer
Dozent:
Prof. Dr. Thomas Kretschmer


[letzte Änderung 18.10.2016]
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 24.10.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 24.10.2016]
Lehrmethoden/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 2021/22, WS 2020/21, WS 2019/20, WS 2018/19
[Thu Oct 28 13:24:45 CEST 2021, CKEY=kti, BKEY=pi2, CID=PIB-TI, LANGUAGE=de, DATE=28.10.2021]