Seminar "Fortgeschrittene Techniken und Konzepte funktionaler Programmiersprachen"
In Seminarvorträgen sollen weiterführende Techniken und Konzepte der funktionalen Programmiersprachen, insb. von Haskell vorgestellt und diskutiert werden.
Organisatorisches
- Modulnr.: 12461/2/3
Zu erbringende Leistungen:
- Teilnahme am Zwischentreffen (alle Teilnehmer stellen ihre Themen vor, gemeinsame Diskussion),
- fristgerechte Abgabe einer Vorabversion der Präsentation,
- Vortrag im Rahmen einer Blockveranstaltung am Semesterende (30 Minuten Vortrag + 10 Minuten Diskussion),
- fristgerechte Abgabe einer Ausarbeitung (15 Seiten)
Themengebiete
... umfassen u.a. Monaten in Haskell, Testen mit QuickCheck, purely functional data structures, dependent types, functional reactive programming und werden in der Einführungsveranstaltung bekannt gegeben.
Folien der Einführungsveranstaltung
Termine
- 13./20. Oktober 2016 (Do, 4. Block, HG 0.20)
Vorstellung und Vergabe der Vortragsthemen - 8. Dezember 2016 (Do, 4. Block, HG 0.20)
Zwischentreffen, Vorstellung der ersten Arbeitsergebnisse - 9. Januar 2016 (Mo)
Abgabe der Vorabversion der Ausarbeitung - 26. Januar / 2. Februar 2016 (Do, 4. Block, HG 0.20)
Seminarvorträge - 13. März 2016 (Mo)
Abgabe der Endfassung der Ausarbeitungen
Studiengänge
- Informatik, M.Sc.
- Informations- und Medientechnik, M.Sc.
- eBusiness, M.Sc.
LaTeX-Dokumentation
- Tutorials/Bücher
http://de.wikipedia.org/wiki/LaTeX#Literatur
http://en.wikibooks.org/wiki/LaTeX - Beamer-Dokumentation
beameruserguide.pdf - Beamer-Beispiel
euklid.tex - Mathesatz in LaTeX
short-math-guide.pdf - BibTeX
bibtex.org
wikipedia.org
Managing Citations and Your Bibliography with BibTEX
Literatur
... kann bei uns eingesehen und ausgeliehen werden (s.a. Einführungsfolien).