Proseminar: Fortgeschrittene Programmierkonzepte
(PS3, SS 2017)
|
|
Veranstalter
Prof. Dr. Jürgen Giesl,
Florian Frohn,
Marcel Hark,
Jera Hensel,
David Korzeniewski
Termin
Das Proseminar findet wöchentlich am Donnerstag von 14:15 - 15:45 Uhr in
Raum 5054 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:
- Multi-Threading und Synchronisation
- Java 9
- Build-Systeme für Java
- Design Patterns
- Objekt-orientierte Konzepte (z.B. Prototyping)
- 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:
- 04.04.2017, 10:00 Uhr:
- Sebastian Lindemeier
- Lennart Meyer
- Ivan Kirchev
- Marvin Jansen
- Matthias Mertens
- Lukas Schneider
- 06.04.2017, 10:00 Uhr:
- Luca Oeljeklaus
- Boris Kosmynin
- Karsten Bott
- Magnus Giesbert
- Karim Josef Abou Zeid
- Lucas Bockhorst
- 10.04.2017, 10:00 Uhr:
- Raphael Grund
- Lorenzo Sorressa
- Frederic Kehrein
- Thomas Kronabeter
- David Gretzschel
- Danilo Lourenco Trotta
- 12.04.2017, 10:00 Uhr:
- Eike Erdmann
- Benjamin Kuske
- Danyel Coban
- Philipp Ludwig
- Liu Yuyuan
Wichtige Termine
Alle Teilnehmer haben die Möglichkeit, sich bis 3 Wochen nach Themenvergabe
(also bis zum 06.04.2017) bei uns vom Proseminar wieder abzumelden.
Erst danach werden wir die Teilnehmer verbindlich dem ZPA melden. Somit
wird ein Abbruch des Seminars nach dem 06.04.2017 als Fehlversuch
gezählt. Genauere Informationen zum Proseminar wurden
in der Vorbesprechung
am
16.03.2017 bekannt gegeben.
Es wird erwartet, dass die folgenden strikten Termine eingehalten werden:
- Die angegebene Literatur sollte bis zum 07.04.2017 bei dem entsprechenden
Betreuer abgeholt werden.
- Am 11.05.2017 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,5
Minuten pro Vortragendem nicht überschreiten, womit für
jedes Thema 5 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.
- 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.
Themenverteilung
Datum |
Vortragende |
Thema |
Betreuer |
27.04.2017 |
J. Giesl |
Allgemeine Hinweise zu Vorträgen |
|
11.05.2017 |
Alle Proseminaristen |
Kurzvorträge |
Alle Betreuer |
18.05.2017 |
Boris Kosmynin, Lennart Meyer |
Multi-Threading |
J. Hensel |
18.05.2017 |
David Gretzschel, Lukas Schneider |
Java 9 |
F. Frohn |
01.06.2017 |
Marvin Jansen, Matthias Mertens |
Design Patterns |
D. Korzeniewski |
01.06.2017 |
Lorenzo Sorressa, Karsten Bott |
Objekt-orientierte Konzepte (z.B. Prototyping) |
D. Korzeniewski |
22.06.2017 |
Raphael Grund, Ivan Kirchev |
Build-Systeme für Java |
F. Frohn |
22.06.2017 |
Karim Josef Abou Zeid, Danyel Coban |
Versionsverwaltung mit Git |
F. Frohn |
29.06.2017 |
Yuyuan Liu, Luca Oeljeklaus |
Typklassen und Operatoren |
M. Hark |
29.06.2017 |
Sebastian Lindemeier, Magnus Giesbert |
Monaden und IO |
D. Korzeniewski |
06.07.2017 |
Eike Erdmann, Frederic Kehrein |
Higher-Order Funktionen und Auswertungsstrategie |
M. Hark |
06.07.2017 |
Thomas Kronabeter, Danilo Lourenco Trotta |
Cut und Negation |
J. Hensel |
13.07.2017 |
Leonid Budkov, Benjamin Kuske |
Metaprogrammierung und extralogische Prädikate |
J. Hensel |
13.07.2017 |
Lucas Bockhorst, Philipp Ludwig |
Constraint Logic Programming |
J. Giesl |
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
- Allgemeine Hinweise zu Vorträgen
- Die Vortragsdauer beträgt 30 Minuten.
- Die Ausarbeitung 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
Florian Frohn.