Media Systems: Informatik D (MS 410) |
|
---|---|
Modulverantwortliche/r | Prof. Dr.-Ing. Sabine Schumann, Prof. Dr. Edmund Weitz |
Art des Moduls | Pflichtmodul |
Semester, Dauer, Angebotsturnus | 4. Semester, Ein Semester, Jedes Semester |
Leistungspunkte (LP), Semesterwochenstunden (SWS) | 5 LP, 4 SWS |
Arbeitsaufwand (Workload) | Präsenzstudium: 68h und Selbststudium: 82h |
Teilnahmevoraussetzungen / Vorkenntnisse | Notwendig: Keine formalen Voraussetzungen. Empfohlen: Sicherer Umgang mit den Inhalten der Module Mathematik A, B und C, Informatik A sowie Programmieren A und B. |
Lehrsprache | Deutsch |
Prüfungsart | Prüfungsleistung |
Voraussetzungen für die Vergabe von Leistungspunkten | Übliche Prüfungsform: Klausur. Weitere mögliche Prüfungsformen: Portfolio-Prüfung oder mündliche Prüfung. Die zu erbringende Prüfungsform wird von dem/der verantwortlichen Lehrenden zu Beginn der Lehrveranstaltung bekanntgegeben. |
Zu erwerbende Kompetenzen / Lernergebnisse | Die Studierenden bewerten komplexe Probleme der Informatik hinsichtlich der Anwendung möglicher Methoden, indem sie die Zusammenhänge zwischen mathematischen Grundlagen und der Theorie der Informatik verstanden haben, typische abstrakte Modelle und Denkweisen der Informatik anwenden, Algorithmen bezüglich ihrer Korrektheit und Effizienz beurteilen können. |
Verwendbarkeit des Moduls | Fortgeschrittenes Modul für alle aufbauenden Module und Wahlfächer. |
Inhalt des Moduls | Siehe Kursbeschreibungen (https://vlv.mt.haw-hamburg.de/modulhandbuch) |
Literatur | John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman: Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie. Pearson Studium. (jeweils in der aktuellen Auflage) Weitere Literaturempfehlungen werden in der Lehrveranstaltung bekanntgegeben. |
Zugehörige Lehrveranstaltungen | MS 411 |
Lehr-/Lernform | Seminaristischer Unterricht |
---|---|
Dauer | Ein Semester |
Semester | 4. Semester |
Angebotsturnus | Jedes Semester |
Semesterwochenstunden | 4 SWS |
Lehrsprache | Deutsch |
Voraussetzungen für die Vergabe von Leistungspunkten | Siehe Prüfungsform in Modulbeschreibung. |
Inhalte | • (Aussagen-) und Prädikatenlogik • formale Sprachen • reguläre Ausdrücke • Automatentheorie • Grammatiken • Algorithmik schwerer Probleme • Graphentheorie • Berechenbarkeit • Komplexitätstheorie • aktuelle Themen aus Mathematik und Informatik |
Literatur | • John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman: Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie. Pearson, 2011 • Gottfried Vossen, Kurt-Ulrich Witt: Grundkurs theoretische Informatik. Springer, 2016 • Juraj Hromkovic: Theoretische Informatik. Teubner, 2014 • Uwe Lämmel, Jürgen Cleve: Künstliche Intelligenz. Hanser. Weitere Literaturhinweise in der Veranstaltung. |
Prüfungsnummer | 161610 |