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

flag

Seminar Theoretische Informatik

Modulbezeichnung:
Bezeichnung des Moduls innerhalb des Studiengangs. Sie soll eine präzise und verständliche Überschrift des Modulinhalts darstellen.
Seminar Theoretische Informatik
Modulbezeichnung (engl.): Theoretical Informatics Seminar
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, Master, ASPO 01.10.2011
Code: PIM-STI
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-0058
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).
6
Studiensemester: 2
Pflichtfach: ja
Arbeitssprache:
Deutsch
Prüfungsart:
Probevortrag, Vortrag


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

DFI-STI (P610-0285) Informatik, Master, ASPO 01.10.2018 , 2. Semester, Pflichtfach
KI848 Kommunikationsinformatik, Master, ASPO 01.04.2016 , 2. Semester, Wahlpflichtfach, informatikspezifisch
KIM-STI (P221-0058) Kommunikationsinformatik, Master, ASPO 01.10.2017 , 2. Semester, Wahlpflichtfach, informatikspezifisch
PIM-STI (P221-0058) Praktische Informatik, Master, ASPO 01.10.2011 , 2. Semester, Pflichtfach
PIM-STI (P221-0058) Praktische Informatik, Master, ASPO 01.10.2017 , 2. 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 6 Creditpoints 180 Stunden (30 Std/ECTS). Daher stehen für die Vor- und Nachbereitung der Veranstaltung zusammen mit der Prüfungsvorbereitung 135 Stunden zur Verfügung.
Empfohlene Voraussetzungen (Module):
PIM-BK Berechenbarkeits- und Komplexitätstheorie


[letzte Änderung 18.08.2016]
Als Vorkenntnis empfohlen für Module:
Modulverantwortung:
Prof. Dr. Maximilian Altmeyer
Dozent/innen:
Prof. Dr. Thomas Kretschmer


[letzte Änderung 08.07.2007]
Lernziele:
Die Studierenden können eigenständig den Inhalt eines anspruchsvollen wissenschaftlichen Themas der Theoretischen Informatik erschließen, aufbereiten und mündlich in einer vorgegebenen Zeit verständlich wiedergeben. Zudem sind sie in der Lage, sich aktiv an einer fachlichen Diskussion zu beteiligen und Vorträge, bei denen sie als Zuhörer anwesend waren, prägnant zusammenzufassen


[letzte Änderung 25.10.2017]
Inhalt:
Fortgeschrittene Themen aus den Berechenbarkeitstheorie, Komplexitätstheorie und Algorithmen, z.B. Probabilistische Algorithmen, Alternierende Automaten, Zero-Knowledge-Beweise, Approximationsalgorithmen.

[letzte Änderung 18.08.2016]
Weitere Lehrmethoden und Medien:
Probevortrag, Vortrag durch Studierende, Diskussion, Zusammenfassung durch Zuhörer

[letzte Änderung 25.10.2017]
Literatur:
Berstel, Boasson, Carton, Fagnot: Minimization of automata,  http://arxiv.org/abs/1010.5318
Berstel, Perrin, Reutenauer: Codes and Automata, Cambridge University Press 2010.
Cormen, Leiserson, Rivest: Introduction to Algorithms, The MIT Press 1997.
Hopcroft, Ullman: Ullman: Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie, Addison-Wesley, 1994.
Moore, Christopher; Mertens, Stefan: The Nature of Computation, Oxford University Press 2011.
Motwani, Rajeev; Raghavan, Prabhakar: Randomized Algorithms, Cambridge University Press 2007.
Sipser: Introduction to the Theory of Computation, Second Edition, Thomson 2006.
Vazirani, Vijay: Approximation Algorithms, Springer 2003.
und weitere Artikel


[letzte Änderung 18.08.2016]
Modul angeboten in Semester:
SS 2017, SS 2016, SS 2015, SS 2014, SS 2013, ...
[Thu Mar 28 14:27:21 CET 2024, CKEY=psti, BKEY=pim, CID=PIM-STI, LANGUAGE=de, DATE=28.03.2024]