Proseminar 1:
Graphenalgorithmen
Meyerhenke, Henning
Gegenstand des Proseminars sind Methoden zur Lösung von Problemen auf Graphen. Folgende Bereiche sollen behandelt werden: Kantenfärbungen, Berechnungen von minimalen Spannbäumen (einschließlich Zusammenhang mit Matroiden), kürzeste Wege, Approximation von Steinerbäumen, maximale Matchings (insbesondere Matchings mit Präferenzen auf bipartitien Graphen), sowie minimale Schnitte und Baumzerlegungen.
Ziele:
Neben den inhaltlichen Aspekten sowie Techniken des wissenschaftlichen Arbeitens werden in dieser Veranstaltung auch Schlüsselqualifikationen vermittelt. Wesentliches Lernziel für die Studierenden ist das selbstständige Erarbeiten, Aufbereiten und Präsentieren eines wissenschaftlichen Themas. Dies dient auch als Vorbereitung auf die Bachelorarbeit.
------------------------------------------
Proseminar 2:
Formale Methoden der Software-Technik
Schlingloff, Holger
In diesem Pro-Seminar wollen wir das neu erschienene Springer-Lehrbuch "Formal Methods for Software Engineering - Languages, Methods, Application Domains" gemeinsam durcharbeiten.
Formale Methoden können in der Informatik genutzt werden, um zu zeigen, dass Programme das tun, was sie tun sollen. Dazu benötigt man zunächst einmal eine sprachliche Grundlage, wie z.B. Logik oder Algebra. Anforderungen, die in einer formalen Sprache aufgeschrieben sind, können dann mit speziellen Algorithmen bewiesen oder getestet werden. Anwendungen ergeben sich vor allem in sicherheitskritischen Bereichen wie Security-Protokollen, aber auch bei elektronischen Verträgen und in der Gestaltung von Mensch-Maschine-Schnittstellen. Ziel des Seminars ist ein grundsätzliches Verständnis von Möglichkeiten und Grenzen formaler Methoden, die Fähigkeit, sich ein Thema an Hand eines Lehrbuchkapitels zu erarbeiten und vorzutragen, sowie erste Erfahrungen mit dem Schreiben wissenschaftlicher Texte zu gewinnen.
------------------------------------------
Proseminar 3:
How to win a Turing Award
Fahrenkrog-Petersen, Stephan
Der Turing Award ist die wichtigste wissenschaftliche Auszeichnung in der Informatik, praktisch der Nobelpreis in Informatik. Erfindungen, welche mit dem Turing Award ausgezeichnet wurden, bestimmen unser tägliches Leben, wie beispielsweise das Internet.
In Rahmen dieses Proseminars setzen sich die Studierenden mit den inhaltlichen Arbeiten und dem persönlichen Werdegang einer Person, die den Turing Award gewonnen hat, auseinander. Ziel ist ein Verständnis zu entwickeln, welche wissenschaftliche Errungenschaften in der Informatik von herausragender Bedeutung für die Gesellschaft sind. Auch der Erwerb von eigenen wissenschaftlichen Fähigkeiten gehört zu den Zielen des Seminars, weshalb die Studierenden eine eigene Literaturübersicht erstellen. Genauso wird die Fähigkeit wissenschaftlich anspruchsvolle Themen zu präsentieren geübt und verfeinert.
------------------------------------------
Proseminar 4:
Humanoide Roboter
Hafner, Verena
In diesem Proseminar werden anhand von verschiedenen Teilprojekten in Teamarbeit Probleme der Künstlichen Intelligenz und der Robotik untersucht. Der Fokus hierbei sind humanoide Roboter. Die Themen sind eng mit den Forschungsarbeiten des LS Adaptive Systeme sowie Themen des RoboCups verbunden. Humanoide Roboter des Typs Nao sowie entsprechende Simulationsumgebungen stehen für Experimente zur Verfügung.
Für den Besuch des Seminars sind Robotik-Vorkenntnisse von Vorteil, Programmierkenntnisse sind Voraussetzung.
Vortragstechniken und die Ausarbeitung einer Seminararbeit werden erlernt
|