Proseminar: Fortgeschrittene Programmierkonzepte in Java, Haskell und Prolog
(S2, SS 2011)
|
|
Veranstalter
Prof. Dr. Jürgen Giesl,
Marc Brockschmidt,
Fabian Emmes,
Carsten Fuhs,
Carsten Otto,
Thomas Ströder
Koordinaten
Das Proseminar findet wöchentlich am Freitag von 16:00 - 17:30 Uhr in
Raum 5052 statt.
Die Vorbesprechung des Proseminars, in der auch die Themen
vergeben werden, findet zum Ende der Vorlesungszeit (Februar 2011) statt.
Inhalt
In diesem Proseminar werden fortgeschrittene Konzepte
von Programmiersprachen verschiedender Programmierparadigmen vorgestellt. Als
Vertreter der imperativen und objektorientierten Sprachen betrachten wir
Java, als funktionale Sprache wird Haskell untersucht und als
logische Sprache wird Prolog betrachtet. Das Proseminar baut auf der
Vorlesung "Programmierung" auf, in denen erste Grundlagen dieser
Sprachen behandelt wurden.
Bibliotheksführung
Alle Teilnehmer sind verpflichtet, an einer Bibliotheksführung
teilzunehmen. Die Webseite der Fachbibliothek Informatik finden Sie
hier.
Folgende Termine und Zuteilungen für Bibliotheksführungen
wurden bei der Vorbesprechung festgelegt:
| 21.03.2011, 11:00 Uhr |
01.04.2011, 13:30 Uhr |
| Daniel Neuen |
Arne Bayer |
| Malte Pabst |
Oliver Kautz |
| Phillip Keldenich |
Junior Lekane Nimpa |
| Bruno Sommer |
Ansgar Prause |
| Matthias Behrendt |
Dominik Studer |
| Hans-Peter Kühn |
Mario Rosenstengel |
Wichtige Termine
Alle Teilnehmer haben die Möglichkeit, sich bis 3 Wochen nach Themenvergabe
(also bis zum 10. März) bei uns vom Proseminar wieder abzumelden.
Erst danach werden wir die Teilnehmer verbindlich dem ZPA melden. Somit
wird ein Abbruch des Seminars nach dem 10. März als Fehlversuch
gezählt.
Es wird erwartet, dass die folgenden strikten Termine eingehalten werden:
- Die angegebene Literatur sollte spätestens
Mitte März bei dem entsprechenden
Betreuer abgeholt werden.
- Am 15.04.2011 sollen alle Proseminaristen einen Kurzvortrag
halten, in welchem sie ihr Thema kurz vorstellen. Hier soll nur ein
grober Überblick gegeben und erste Vortragserfahrungen gesammelt
werden. Die Kurzvorträge dürfen eine Vortragsdauer von 3
Minuten pro Vortragendem nicht überschreiten, womit für
jedes Thema 6 Minuten zur Verfügung stehen. Anschließend
wird ein kurzes Feedback zu den Vorträgen gegeben, welches bei
der Vorbereitung der Hauptvorträge berücksichtigt werden
sollte.
- Spätestens fünf Wochen vor dem Vortrag
führt der Teilnehmer ein Gespräch mit
dem Betreuer über die bis zu diesem Zeitpunkt vorliegenden Resultate.
Insbesondere soll bei diesem Termin eine Gliederung besprochen
werden.
- Spätestens drei Wochen vor dem Vortrag
liegt dem Betreuer eine vollständige Ausarbeitung vor. Sollte diese mehr als zehn Rechtschreib- oder
Grammatikfehler auf einer Seite enthalten, wird die Bearbeitung
abgebrochen.
- Spätestens eine Woche vor dem Vortrag wird die
Ausarbeitung, in genügender Anzahl kopiert, zum Proseminartreffen
mitgebracht (bzw. im Sekretariat des Lehrstuhls ausgelegt). Die
Kopien können am Lehr- und Forschungsgebiet angefertigt
werden.
Die genauen Termine der einzelnen Vorträge sowie die jeweiligen
Betreuer sind nachstehend aufgeführt:
| Datum |
Vortragende |
Thema |
Betreuer |
| 08.04.2011 |
J. Giesl |
Allgemeine Hinweise zu Vorträgen |
|
| 15.04.2011 |
Alle Proseminaristen |
Kurzvorträge |
Alle Betreuer |
| 29.04.2011 |
J. L. Nimpa, M. Pabst |
Java Collections, Iterations und Generics |
C. Otto |
| 06.05.2011 |
H.-P. Kühn, M. Rosenstengel |
Java Refactoring |
M.
Brockschmidt |
| 13.05.2011 |
A. Bayer, D. Studer |
Multithreading und Synchronisation in Java |
C. Fuhs |
| 20.05.2011 |
O. Kautz, B. Sommer |
Haskell Typklassen und unendliche Datenobjekte |
M.
Brockschmidt |
| 27.05.2011 |
M. Behrendt, A. Prause |
Effiziente Datenstrukturen mit Haskell |
F. Emmes |
| 10.06.2011 |
D. Neuen, P. Keldenich |
Prolog mit vordefinierten Prädikaten |
T.
Ströder |
Voraussetzungen zum Bestehen des Proseminars
Zum erfolgreichen Abschluss des Proseminars müssen Sie die
folgenden vier Bedingungen erfüllen:
- Sie nehmen an der Ihnen zugewiesenen Bibliotheksführung teil.
- Sie halten einen Vortrag.
- Vor dem Vortrag erstellen Sie
eine Ausarbeitung.
- Sie nehmen an allen Vorträgen teil.
Betreuer
Jeder Teilnehmer hat einen
wissenschaftlichen Mitarbeiter als Betreuer. Dieser berät Sie bei der
Bearbeitung Ihres Themas. Sie sollten Ihren Betreuer mehrfach
aufsuchen, um mit ihm Ihren Fortschritt zu besprechen. Sie sollten ihn
mindestens kontaktieren, um
- die Literatur abzuholen;
- ihm die von Ihnen gefundene Literatur zu zeigen;
- ihm den Entwurf der Struktur der Ausarbeitung zu
zeigen;
- ihm einmal eine Ausarbeitung zu zeigen; diese wird er
lesen und Ihnen anschließend Verbesserungsvorschläge machen;
- ihm die Endversion der Ausarbeitung zu geben;
- mit ihm die Struktur des Vortrags zu besprechen;
- ihm einen Entwurf der Vortragsfolien zu zeigen.
Ausarbeitung und Vortrag
Die Ausarbeitung kann mit einem beliebigen Textverarbeitungssystem
erstellt werden. Wir empfehlen allerdings LaTeX.
Rückfragen
Bei Rückfragen wenden Sie sich bitte an
Thomas Ströder.
