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

Theoretische Informatik

Modulbezeichnung:
Bezeichnung des Moduls innerhalb des Studiengangs. Sie soll eine präzise und verständliche Überschrift des Modulinhalts darstellen.
Theoretische Informatik
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).
Kommunikationsinformatik, Bachelor, ASPO 01.10.2014
Code: KI586
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: laut Wahlpflichtliste
Pflichtfach: nein
Arbeitssprache:
Deutsch
Prüfungsart:
Klausur

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

KI586 Kommunikationsinformatik, Bachelor, ASPO 01.10.2014 , Wahlpflichtfach, technisch
PIB345 (P221-0041) Praktische Informatik, Bachelor, ASPO 01.10.2011 , 3. Semester, Pflichtfach
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:
KI675 Compilerbau


[letzte Änderung 22.01.2018]
Modulverantwortung:
Prof. Dr. Thomas Kretschmer
Dozent/innen: Prof. Dr. Thomas Kretschmer

[letzte Änderung 03.11.2014]
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]
[Sun Dec 22 23:29:54 CET 2024, CKEY=pti, BKEY=ki, CID=KI586, LANGUAGE=de, DATE=22.12.2024]