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. | Vorbesprechung | Mo 09.11.2020, 14:00 |
| 2. | Themenvergabe | TBA |
| 3. | Erstes Treffen mit dem Betreuer | TBA |
| 5. | Abgabe erste Version der Folien und Reviews | TBA |
| 7. | Abgabe endgültige Version der Folien | TBA |
| 8. | Präsentation | TBA |
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
- OCaml from the Very Beginning. John Whitington. Coherent Press 2013.
- More OCaml: Algorithms, Methods & Diversions. John Whitington. Coherent Press 2014.
- ocaml.org Dokumentation und Tutorials.