Proseminar/Seminar Fun of Programming
SE 12085 Proseminar/Seminar Fun of Programming
Prof. Dr. R. Loogen
Termin: Di, 16.30 - 18.00 Uhr, HS IV, Lahnberge, Ebene D3

Vorbesprechung mit Themenvergabe: Mi 19.04.2006, 16.00 Uhr, Raum 5440, Ebene D5, Lahnberge
Es sind noch Themen zu vergeben. Bitte wenden Sie sich bei Interesse an Frau Prof. Dr. Loogen.
Beginn: 13. Juni 2006, 16.30 Uhr, HS IV!
Die letzte Seminarsitzung findet am Donnerstag, dem 20.07.2006 um 13.30 Uhr im Hörsaal IV (Lahnberge) statt.

Fachgebiet Klassifikation Semester Leistungspunkte (ECTS) Skript
Informatik Grundstudium >=4 5 nein

Voraussetzungen: Grundkenntnisse in funktionaler Programmierung, wie sie in der Vorlesung Praktische Informatik III vermittelt werden.
Lernziele:
  • Erwerb von Fähigkeiten und Techniken des wissenschaftlichen Arbeitens;
  • Erwerb von Fähigkeiten und Fertigkeiten beim Lesen und Reproduzieren/Zusammenfassen wissenschaftlicher Texte;
  • Ausbau von Fähigkeiten der mündlichen Präsentation wissenschaftlicher Abhandlungen in Form eines Vortrags und durch die aktive Teilnahme an der Diskussion zu anderen Vorträgen;
  • Vorbereitung auf Hauptseminare im Hauptstudium.
Die Note wird anhand des Vortrags und der Ausarbeitung vergeben.
Scheinkriterien: schriftliche Ausarbeitung und Vortrag eines ausgewählten Themas, regelmäßige Teilnahme am Seminar und aktive Teilnahme an den Vortragsdiskussionen
Merkblatt zur Ausarbeitung und zum Vortrag (pdf, ps)
Inhalt: Es werden Texte des folgenden Buches behandelt: Jeremy Gibbons and Oege de Moor (eds.): The Fun of Programming, Palgrave, 2002, 288 pages. ISBN 0333992857.
Book description: In this textbook, leading researchers give tutorial expositions on the current state of the art of functional programming. The text is suitable for an undergraduate course immediately following an introduction to functional programming, and also for self-study. All new concepts are illustrated by plentiful examples, as well as exercises.
Vorträge:
  1. 13.06.2006, Christian Authmann: Fun with Binary Heap Trees; C.Okasaki, Edison Bibliothek
  2. 20.06.2006, Ultike Georgi: Describing and Interpreting Music in Haskell; P.Hudak, Haskore Computer Music System
  3. 27.06.2006, Rita Loogen: Eden-Skelette zur rekursiven Auffaltung von Prozesstopologien, Eden
  4. 11.07.2006, André Böhlke: Functional Images; C.Elliott, Pan# System
  5. 20.07.2006, 13.30 Uhr, Rita Loogen: Quickcheck - Ein Werkzeug zum spezifikationsbasierten Testen von Haskellprogrammen Quickcheck Homepage,
    Folien und Beispielprogramme
Noch zu vergebende Themen:

Zuletzt geändert: Tuesday, 26-Sep-2006 13:11:21 CEST