htw saar Piktogramm QR-encoded URL
Zurück zur Hauptseite Version des Moduls auswählen:
Lernziele hervorheben XML-Code

Theoretische Informatik

(Modul inaktiv seit 31.03.2013)

Modulbezeichnung:
Bezeichnung des Moduls innerhalb des Studiengangs. Sie soll eine präzise und verständliche Überschrift des Modulinhalts darstellen.
Theoretische Informatik
Modulbezeichnung (engl.): Theoretical Informatics
Studiengang:
Studiengang mit Beginn der Gültigkeit der betreffenden ASPO-Anlage/Studienordnung des Studiengangs, in dem dieses Modul zum Studienprogramm gehört (=Start der ersten Erstsemester-Kohorte, die nach dieser Ordnung studiert).
Praktische Informatik, Bachelor, ASPO 01.10.2011
Code: PIB510
SAP-Submodul-Nr.:
Die Prüfungsverwaltung mittels SAP-SLCM vergibt für jede Prüfungsart in einem Modul eine SAP-Submodul-Nr (= P-Nummer). Gleiche Module in unterschiedlichen Studiengängen haben bei gleicher Prüfungsart die gleiche SAP-Submodul-Nr..
P221-0041
SWS/Lehrform:
Die Anzahl der Semesterwochenstunden (SWS) wird als Zusammensetzung von Vorlesungsstunden (V), Übungsstunden (U), Praktikumsstunden (P) oder Projektarbeitsstunden (PA) angegeben. Beispielsweise besteht eine Veranstaltung der Form 2V+2U aus 2 Vorlesungsstunden und 2 Übungsstunden pro Woche.
4V (4 Semesterwochenstunden)
ECTS-Punkte:
Die Anzahl der Punkte nach ECTS (Leistungspunkte, Kreditpunkte), die dem Studierenden bei erfolgreicher Ableistung des Moduls gutgeschrieben werden. Die ECTS-Punkte entscheiden über die Gewichtung des Fachs bei der Berechnung der Durchschnittsnote im Abschlusszeugnis. Jedem ECTS-Punkt entsprechen 30 studentische Arbeitsstunden (Anwesenheit, Vor- und Nachbereitung, Prüfungsvorbereitung, ggfs. Zeit zur Bearbeitung eines Projekts), verteilt über die gesamte Zeit des Semesters (26 Wochen).
5
Studiensemester: 5
Pflichtfach: ja
Arbeitssprache:
Deutsch
Prüfungsart:
Klausur

[letzte Änderung 31.05.2006]
Verwendbarkeit / Zuordnung zum Curriculum:
Alle Studienprogramme, die das Modul enthalten mit Jahresangabe der entsprechenden Studienordnung / ASPO-Anlage.

PIB510 (P221-0041) Praktische Informatik, Bachelor, ASPO 01.10.2011 , 5. Semester, Pflichtfach, Modul inaktiv seit 31.03.2013
Arbeitsaufwand:
Der Arbeitsaufwand des Studierenden, der für das erfolgreiche Absolvieren eines Moduls notwendig ist, ergibt sich aus den ECTS-Punkten. Jeder ECTS-Punkt steht in der Regel für 30 Arbeitsstunden. Die Arbeitsstunden umfassen Präsenzzeit (in den Vorlesungswochen), Vor- und Nachbereitung der Vorlesung, ggfs. Abfassung einer Projektarbeit und die Vorbereitung auf die Prüfung.

Die ECTS beziehen sich auf die gesamte formale Semesterdauer (01.04.-30.09. im Sommersemester, 01.10.-31.03. im Wintersemester).
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. Thomas Kretschmer
Dozent/innen:
Prof. Dr. Thomas Kretschmer


[letzte Änderung 01.04.2006]
Lernziele:
Die Veranstaltung behandelt die klassischen Gebiete der theoretischen Informatik: "Reguläre Sprachen, kontextfreie Sprachen, Turingmaschinen". Die Studierenden sollen die grundlegenden mathematischen Eigenschaften von Automaten und Sprachen erlernen und mit der Chomsky-Hierarchie vertraut sein. Sie werden in die Lage versetzt, bei praktischen Aufgabenstellungen die geeigneten theoretischen Konzepte (z.B. endlicher Automat oder Kellerautomat) zu erkennen und anzuwenden.

[letzte Änderung 31.05.2006]
Inhalt:
Mathematische Grundlagen
Reguläre Sprachen
Endliche Automaten
Nichtdeterminismus
Reguläre Ausdrücke und Sprachen
Anwendungen
Kontextfreie Sprachen
Kellerautomaten
Kontextfreie Grammatiken
Anwendungen
Turingmaschinen
Definition
Varianten
Entscheidbarkeit
Halteproblem
 


[letzte Änderung 31.05.2006]
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 M., Introduction to the theory of computation, PWS publishing company, 1997


[letzte Änderung 31.05.2006]
Modul angeboten in Semester:
WS 2014/15, WS 2013/14, WS 2012/13, WS 2011/12, WS 2010/11, ... 
[Fri Apr 11 06:01:14 CEST 2025, CKEY=pthinfo, BKEY=pi, CID=PIB510, LANGUAGE=de, DATE=11.04.2025]