Inhalt

In diesem Proseminar werden ausgewählte Themen über Programmiersprachen in Einzel- oder Doppelvorträgen von Studierenden vorgetragen. Besonderheiten von theoretischen und praktischen Grundlagen der Programmiersprachen sowie die wissenschaftliche Fundierung von diversen weniger gängigen Programmierparadigmen wie die Aspektorientierung oder das synchrone Paradigma werden durch die vorgestellten Themen behandelt. 

Im Anschluss an jedes Referat findet eine ausführliche Diskussion statt, an der sich möglichst alle Teilnehmer beteiligen sollen. Zur Vorbereitung auf diese Diskussion muss allen Teilnehmern eine schriftliche Ausarbeitung des Referats rechtzeitig zur Verfügung gestellt werden. Zielgruppe - Studierende im Bachelorstudiengang.

Literatur

Literatur wird selbst recherchiert

Zielgruppe

  • Studierende im Bachelorstudiengang (ab 3. Fachsemester)
  • Studierende im lehramtsbezogenen Bachelorstudiengang
  • Studierende mit Nebenfach Informatik

Voraussetzungen

Funktionale und objektorientierte Programmierung

Vorträge

     Thema    Vortragender   Datum   Uhrzeit
 1. Funktionale Programmiersprachen (Vergleich)  Melcor, Weißenfels    5.Juli    18:00 Uhr 
 2. Das Typsystem von Haskell  Drass, Omar    5.Juli    19:15 Uhr
 3. Typ-Ableitung (Hindley-Milner)  Seifert, Shawamreh    6.Juli    18:00 Uhr 
 4. Automatisches Testen von Haskell-Programmen  Fidan, Frenzel    6.Juli    19:15 Uhr
 5. Monaden in Haskell  Aboubakr, Alhamdan    7.Juli   18:00 Uhr 
 6. Nebenläufigkeit und Parallelität mit Haskell  Modzgvrishvili    7.Juli   19:15 Uhr
 7. Finger Trees  Dupmann, Rex    8.Juli   18:00 Uhr 
 8. Graphik und Animationen mit Haskell  Mahling, Stampka    8.Juli   19:15 Uhr
 9. A Simple Sudoku Solver   Ariamajd, Krawczyk    9.Juli   18:00 Uhr 
 10. Planning solves the Rush Hour Problem  Bich, Kaibel    9.Juli   19:15 Uhr