Proseminar Real World OCaml - Summer 2024

Generelle Informationen

• Leitung: Prof. Dr. Peter Thiemann
• Erstes Treffen: 16.04.2024, 16:00, Geb 051 Raum 00 032

News

Prüfungs- bzw. Studienleistung

• Anwesenheit und aktive Teilnahme an den Proseminarsitzungen (maximal zwei Fehltermine)
• Einreichen von Arbeitsergebnissen (Folien, Beiträge, Reviews usw.) zu den vereinbarten Terminen
• Vorbereiten und Halten eines 30-minütigen Vortrags über das vereinbarte Thema
• Verfassen eines Essay über ein vereinbartes Thema (ca. 5 Seiten)

Ein Proseminar ist ausgerichtet auf die Präsentation von wissenschaftlichen Ergebnissen, aber es soll auch Kompetenzen für die wissenschaftliche Arbeit vermitteln. Insbesondere

• Literaturrecherche
• Lesen und Verstehen von wissenschaftlichen Texten
• Vorbereiten einer wissenschaftlichen Präsentation
• Halten einer Präsentation
• Anfertigen eines Essays

Sprache

Das Proseminar findet in deutscher Sprache statt. Das heißt, Folien, Essays und Kommentaren sind in der Regel in deutsch zu verfassen. Präsentationen werden auf deutsch gehalten. Ausnahmen nur nach vorheriger Absprache.

Essay

Das Essay sollte ca. 5 Seiten umfassen (exklusive Referenzen). Jedes Essay beginnt mit einer kurzen Einleitung (1 Seite max), die den Rahmen setzt und dann zum spezifischen Thema hinführt. Sie endet mit einer Schlussbemerkung von ca 1/2 Seite, die kurz zusammenfasst, was im Text berichtet wurde, was weggelassen wurde und welche Schritte als nächstes interessant wären. Genauer Inhalt nach Absprache mit dem Betreuer. Sie muss erstellt werden mit LaTeX, document class llncs.cls. Verwenden Sie diese Klasse gemäß des Musterdokuments, das auf der Webseite Information for Authors verfügbar ist. Verwenden Sie bibtex für Referenzen. Eine Anleitung finden Sie auf der o.g. Webseite unter Author Guidelines.

Eine gute LaTeX Einführung finden Sie in der Dokumentation von Overleaf.

Themen

Grundlage des Proseminars ist das Buch “Real World OCaml”, das im Netz in den Formaten HTML/PDF verfügbar ist. Ein Vortrag entspricht einem Abschnitt im Buch vom Umfang etwa einer Vorlesungsstunde. Hier ist die Webseite zum Buch: dev.realworldocaml.org. Zuerst werden die Kapitel 2-7 im Wochenrhythmus gemeinsam besprochen, danach wöchentlich zwei Vorträge zu Themen aus den Kapiteln 9-19.