Proseminar: Fortgeschrittene Programmierkonzepte
(PS3, SS 2019)
|
|
Veranstalter
Prof. Dr. Jürgen Giesl,
Stefan Dollase,
Marcel Hark,
Jera Hensel,
David Korzeniewski
Termin
Das Proseminar findet wöchentlich am Freitag von 12:30 - 14:00 Uhr in
Raum 5056 statt.
Inhalt
In diesem Proseminar werden fortgeschrittene Konzepte von Programmiersprachen
verschiedender Programmierparadigmen vorgestellt. Unter anderem betrachten wir als
Vertreter der imperativen und objekt-orientierten Sprachen Java, als funktionale
Sprache Haskell und als logische Sprache Prolog. Das Proseminar baut auf der
Vorlesung "Programmierung" auf, in der erste Grundlagen verschiedener
Programmiersprachen behandelt wurden.
Inhaltlich werden dazu beispielsweise folgende Themen betrachtet:
- Fortgeschrittene Konzepte in imperativen und objekt-orientierten Sprachen:
- Design Patterns
- Prototyping
- Multi-Threading und Synchronisation
- Java-Modulsystem
- Domain Specific Languages
- Build-Systeme für Java
- Fortgeschrittene Konzepte in funktionalen Sprachen:
- Monaden und IO
- Typklassen und Operatoren
- Higher-Order Funktionen und Auswertungsstrategie
- Fortgeschrittene Konzepte in logischen Sprachen:
- Cut und Negation
- Constraint Logic Programming
- Metaprogrammierung und extralogische Prädikate
- Fortgeschrittene Konzepte unabhängig vom Sprachparadigma:
- Versionsverwaltung mit Git
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 festgelegt:
- 25.03.2019, 10:30 Uhr:
- Lucas Sita
- Ben Lakhoune
- Aaron Conrardy
- Jurgen Lentz
- Leon Spitzer
- Florian Tümmers
- 26.03.2019, 10:30 Uhr:
- Cameron Pitsch
- Aaron Küsters
- Erik Wrede
- Hauke Heidemeyer
- Lukas Wilke
- Martin Ziegler
- 27.03.2019, 11:30 Uhr:
- Philip Niederprüm
- Tobias Wohlers
- NN
- Vincent Hilla
- Leo Mommers
- Christopher Ritz
- 27.03.2019, 14:30 Uhr:
- Ivaylo Doychev
- Eric Weber
- Felix Huhn
- Johannes Röder
- Valentino Geuenich
- David Ehrenberg
Wichtige Termine
Alle Teilnehmer haben die Möglichkeit, sich bis 3 Wochen nach Themenvergabe
(also bis zum 01.04.2019) bei uns vom Proseminar wieder abzumelden.
Erst danach werden wir die Teilnehmer verbindlich dem ZPA melden. Somit
wird ein Abbruch des Seminars nach dem 01.04.2019 als Fehlversuch
gezählt. Genauere Informationen zum Proseminar wurden
in der Vorbesprechung
am
11.03.2019 bekannt gegeben.
Es wird erwartet, dass die folgenden strikten Termine eingehalten werden:
- Die angegebene Literatur sollte bis zum 29.03.2019 bei dem entsprechenden
Betreuer abgeholt werden.
- Am 12.04.2019 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 2
Minuten pro Vortragendem nicht überschreiten, womit für
jedes Thema 4 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 (welche Inhalte werden
vorgestellt/weggelassen) sowie die zu verwendenden Beispiele besprochen
werden.
- Spätestens drei Wochen vor dem Vortrag
liegt dem Betreuer eine vollständige Ausarbeitung vor. Sollte diese mehr als 5 Rechtschreib- oder
Grammatikfehler auf einer Seite enthalten, wird die Bearbeitung
abgebrochen.
- Wir empfehlen, einen Probevortrag zu halten. Um dieses Angebot wahrzunehmen,
spricht der Teilnehmer spätestens zwei Wochen vor dem Vortrag
mit dem Betreuer einen Termin hierfür ab und legt ihm seine Vortragsfolien
vor.
- Spätestens eine Woche vor dem Vortrag wird die
Ausarbeitung online gestellt, damit sie gegebenenfalls von den anderen
Teilnehmern ausgedruckt und zum Vortrag mitgebracht werden kann.
- Für die Gruppen, die die Vorträge am 26.04.2019 halten,
gelten die entsprechenden Deadlines um eine Woche nach hinten verschoben.
Die Ausarbeitung sollte aber mindestens ein paar Tage vor dem Vortragstermin
online gestellt werden können.
Themenverteilung
Die folgenden Termine sind vorläfig und können sich noch nach hinten
verschieben.
Datum |
Vortragende |
Thema |
Betreuer |
05.04.2019 |
J. Giesl |
Allgemeine Hinweise zu Vorträgen |
|
12.04.2019 |
Alle Proseminaristen |
Kurzvorträge |
Alle Betreuer |
26.04.2019 |
NN, Lukas Wilke |
Design Patterns |
D. Korzeniewski |
03.05.2019 |
Christopher Ritz, Lucas Sita |
Multi-Threading und Synchronisation |
J. Hensel |
03.05.2019 |
Felix Jordan, Johannes Leurs |
Java-Modulsystem |
S. Dollase |
10.05.2019 |
Ben Lakhoune, Aaron Conrardy |
Domain Specific Languages |
S. Dollase |
10.05.2019 |
Aaron Küsters, Cameron Pitsch |
Build-Systeme |
D. Korzeniewski |
17.05.2019 |
Leon Spitzer, Tobias Wohlers |
Prototyping |
D. Korzeniewski |
17.05.2019 |
Hauke Heidemeyer, Felix Huhn |
Versionsverwaltung mit Git |
S. Dollase |
24.05.2019 |
David Ehrenberg, Philip Niederprüm |
Monaden und IO |
M. Hark |
24.05.2019 |
Vincent Hilla, Leo Mommers |
Typklassen und Operatoren |
M. Hark |
28.06.2019 |
Erik Wrede, Martin Ziegler |
Higher-Order Funktionen und Auswertungsstrategie |
M. Hark |
28.06.2019 |
Eric Weber |
Constraint Logic Programming |
J. Hensel |
05.07.2019 |
Ivaylo Doychev, Johannes Röder |
Cut und Negation |
J. Hensel |
05.07.2019 |
Valentino Geuenich, Florian Tümmers |
Metaprogrammierung und extralogische Prädikate |
J. Hensel |
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
Mitarbeiter des Lehr- und Forschungsgebiets 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 Vortragsdauer beträgt 30 Minuten.
- Die Ausarbeitung muss einspaltig in Schriftgröße 11 mit
Seitenrändern von etwa 3cm auf jeder Seite geschrieben sein
und darf maximal 10 Seiten inklusive Titel und Literaturangabe enthalten.
Längere Ausarbeitungen werden nicht bearbeitet.
- Sollte die Ausarbeitung mehr als 5 Rechtschreib- oder Grammatikfehler auf einer Seite
enthalten,
wird die Bearbeitung abgebrochen.
Die Ausarbeitung kann mit einem beliebigen Textverarbeitungssystem
erstellt werden. Wir empfehlen allerdings LaTeX.
Rückfragen
Bei Rückfragen wenden Sie sich bitte an
Jera Hensel.