Uni-Logo

Proseminar: Real World OCaml

Leitung: Prof. Dr. Peter Thiemann
Zeit und Ort:
Vorbesprechung am Mo 09.11.2020, 14:00, Zoom Meeting Meeting ID: 876 0306 2094 Passcode: gkSEiX9tf

Prüfungsleistung

  • Anwesenheit und aktive Teilnahme an den Proseminarsitzungen
  • Einreichen von Folien und Reviews zu den vereinbarten Terminen
  • Vorbereitung und Halten eines 30-minütigen Vortrags über das vereinbarte Thema

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

Ablauf

Abgaben sollten jeweils am Morgen des folgenden Tages vorliegen und sind ausschließlich über das Ilias-System möglich.

1.VorbesprechungMo 09.11.2020, 14:00
2.ThemenvergabeTBA
3.Erstes Treffen mit dem BetreuerTBA
5.Abgabe erste Version der Folien und ReviewsTBA
7.Abgabe endgültige Version der FolienTBA
8.PräsentationTBA

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: https://dev.realworldocaml.org/. Zuerst werden die Kapitel 2-7 im Wochenrhythmus gemeinsam besprochen, danach wöchentlich zwei Vorträge zu Themen aus Kapitel 9-19.

Literatur

  1. OCaml from the Very Beginning. John Whitington. Coherent Press 2013.
  2. More OCaml: Algorithms, Methods & Diversions. John Whitington. Coherent Press 2014.
  3. ocaml.org Dokumentation und Tutorials.