Proseminar 1:
Das BUCH der Beweise
W. Kössler
Der berühmte Mathematiker Paul Erdös erzählte gerne von dem BUCH, in dem die perfekten Beweise für Theoreme aufbewahrt sind. Ausgehend von vielen Vorschlägen, die Erdös selbst gemacht hat, haben die Autoren des BUCHes, Martin Aigner und Günter Ziegler, schöne und elegante Beweise gesammelt. Es werden dabei etliche tiefe Aussagen mit Methoden bewiesen, die über elementare Argumente nicht hinausgehen. Es werden auch für Informatiker interessante klassische Problemstellungen behandelt und dabei Beweistechniken studiert und vertieft.
Folgende Probleme stehen insbesondere zur Auswahl: Geburtstagsproblem, Zufälliges Mischen, Buffonsches Nadelproblem, Gefangenenproblem, Museumswächtersatz, Heiratssatz, Eulersche Polyederformel, Irrationalität von der Eulerschen Zahl e und der Kreiszahl pi, Sätze über Primzahlen, Determinanten und Binomialkoeffizienten, Körper und Schiefkörper, Kardinal- und Ordinalzahlen.
------------------------------------------
Proseminar 2:
Ergebnisse der Softwaretechnikforschung
L. Grunske / T. Vogel
Das Ziel des Proseminars ist es, derzeitige Ergebnisse der Softwaretechnikforschung vorzustellen und zu evaluieren. Dies soll es den Studierenden ermöglichen Forschungsarbeiten in der Softwaretechnik eigenständig zu bewerten. Darüber hinaus sollen sie die Befähigung erlangen, eigenständig wissenschaftlich im Bereich der Softwaretechnik arbeiten zu können.
Empfohlene Vorkenntnisse für das Proseminar sind Softwaretechnik- und Forschungsmethodenbasiswissen. Diese werden beispielsweise in den Vorlesungen "Software Engineering II" und "Forschungsmethoden der Informatik" gelehrt.
------------------------------------------
Proseminar 3:
Beauty is our business
M. Weidlich
Beauty is our Business heißt ein bekannter „Klassiker“ des Informatikers Edsger W. Dijkstra. Wissenschaft muss Komplexität reduzieren und Erkenntnis verständlich vermitteln. Einige mustergültige Arbeiten zum Entwurf und zur Korrektheit von Algorithmen werden in diesem Proseminar behandelt mit dem Ziel, sie ebenso mustergültig den Zuhörern zu präsentieren: eine Übung zur Bewältigung des Studiums und zum Erfolg im Team. Die Vorträge können in Deutsch oder Englisch präsentiert werden.
------------------------------------------
Proseminar 4:
Angewandte Graphenalgorithmen
A. van der Grinten / C. Tzovas
Thema des Proseminars sind grundlegende Graphenalgorithmen mit einer Reihe von möglichen Anwendungsbereichen. Dieses Proseminar verschafft den Studierenden einen Überblick über die Modellierung realer Probleme mit Graphen und über die algorithmische Lösung dieser Probleme. Insbesondere lernen die Studierenden, wie sie mathematische Definitionen und Zusammenhänge aus der Graphentheorie für den Entwurf und die Analyse von Algorithmen nutzen können.
Neben den inhaltlichen Aspekten werden Techniken des wissenschaftlichen Arbeitens sowie Schlüsselqualifikationen vermittelt. Wesentliches Lernziel für die Studierenden ist das selbstständige Erarbeiten, Aufbereiten und Präsentieren eines wissenschaftlichen Themas. Die Teilnehmenden lernen außerdem, eine Seminararbeit, unter Berücksichtigung von guter wissenschaftlicher Praxis bzw. mit Hilfe von üblichen Formatvorgaben, anzufertigen.
Bitte beachten Sie: das Proseminar wird auf Englisch abgehalten! Please note: the seminar will be in English!
Die Termine werden auch auf der Lehrstuhlwebseite bekanntgegeben.
------------------------------------------
Proseminar 5:
Wissenschaftliches Arbeiten und Schreibens
M. Rücker
In diesem Proseminar erfolgt eine praktische Einführung in die Methoden des wissenschaftlichen Arbeitens und Schreibens sowie einige wissenschaftstheoretische Grundlagen.
Kernpunkte des Seminars umfassen: - Techniken der Themenfindung - das Finden und Verwalten von Literatur - das korrekte Paraphrasieren und Zitieren von Quellen - Aufbau und Überarbeitung wissenschaftlicher Texte - ethische Grundlagen wissenschaftlicher Forschung - einige erkenntnistheoretische Grundlagen
------------------------------------------------------------------------ |