Modulcode:	Inf-Sem-MathMed
Englische Bezeichnung:	Mathematical Methods in Computer Science
Modulverantwortliche(r):	Prof. Dr. Rudolf Berghammer
Turnus:	unregelmäßig (WS11/12 WS12/13 SS13 WS13/14 SS15 WS15/16 WS16/17)
Präsenzzeiten:	2S
ECTS:	4
Workload:	30 Std. Seminarteilnahme mit eigenen Vortrag, 90 Std. Vorbereitung
Dauer:	ein Semester
Modulkategorien:	Sem (BSc Inf (15)) Sem (BSc Inf)
Lehrsprache:	Deutsch
Voraussetzungen:

Kurzfassung:

Mathematische Methoden spielen insbesondere in der theoretischen Informatik eine große Rolle. Modellierung, Algorithmen und deren Korrektheitsbeweise sind darin zentrale Bestandteile. In dem Seminar sollen solche Methoden behandelt und vorgestellt werden.

Lernziele:

Ziel des Seminars ist, an Hand von geeigneten Fallstudien aus den obigen Bereichen zu lernen, wie man sich eigenständig Wissen erarbeitet, dieses dann in Form einer mündlichen Präsentation weitergibt und schließlich noch in einer schriftlichen Ausarbeitung in Kurzform zusammenfasst.

Lehrinhalte:

Jeder Vortrag behandelt ein Thema der Mathematik, welches von seiner Schwierigkeit her dem dritten Studienjahr angemessen und auch moeglichst in sich abgeschlossen ist. Weiterhin beinhaltet jedesThema auch Anwendungen in anderen Bereichen der Mathematik und der Informatik, beispielsweise beim Algorithmenentwurf.

Weitere Voraussetzungen:

Bachelor-Studium von 4 Semestern, Interesse an mathematischen und algorithmischen Fragestellungen.

Prüfungsleistung:

Mündlicher Seminarvortrag und schriftliche Ausarbeitung. Eine regelmäßige Anwesenheit wird vorausgesetzt.

Lehr- und Lernmethoden:

Es wird erwartet, dass die einzelnen Themen jeweils unter der Anleitung eines Betreuers möglichst selbstständig bearbeitet werden. Die Vorstellung der einzelnen Fallstudien wird in der Regel durch das Erarbeiten an der Tafel erfolgen. Zur Unterstützung kann aber auch ein Beamer verwendet werden, etwa um gewisse Sachverhalte zu visualisieren oder Berechnungen zu demonstrieren.

Verwendbarkeit:

Literatur:

Einige Originalarbeiten, die bei der Themenvergabe ausgehändigt werden.

Verweise:

Kommentar:

Diese Veranstaltung ist im BSc Informatik nach Prüfungsordnung WS 2015/16 kein eigenständiges Modul. Die Leistungspunkte können nur in Kombination mit dem wissenschaftlichen Arbeiten erworben werden. Beide zusammen erbringen 7 Leistungspunkte.

Das Seminar (Ausarbeitung und Vortrag) stellt die eigentliche Modulprüfung dar.