Proseminar

Grundlagen algebraischer Modellierung
und funktionaler Programmierung

(Algebraic modeling and functional programming)

 
  • Proseminar INF-BSc-110 im WiSe 2016/17 für Studierende der Bachelorstudiengänge Informatik und Angewandte Informatik
  • Voraussetzung: DAP 1+2, MafI 1, möglichst auch Funktionale Programmierung
  • maximale Teilnehmerzahl: 15
  • Vorbesprechung und Themenvergabe: Di, 19. 7. 2016, 11:00 im OH 12, Raum 3.031
  • Termin: Di 10-12 im OH 12, Raum 3.031
  • Beginn: 18.10.2016
  • Wichtiger Hinweis: Meldet euch rechtzeitig bei Frank Thorsten Breuer zum eintägigen Kurs Präsentationstechniken an (siehe Modulbeschreibung), der möglichst vor Beginn des Proseminars absolviert werden sollte.
  • Ablauf: Jede/r Teilnehmer/in hält einen 40-minütigen Vortrag und erstellt dazu eine ca. 15-seitige Ausarbeitung. Darüberhinaus wird die regelmäßige - möglichst aktive - Teilnahme an möglichst allen Vortragsterminen erwartet.
  • Inhalt: Algebraische Modellierung und funktionale Programmierung hängen sehr eng miteinander zusammen und haben gemeinsame Wurzeln in der Kategorientheorie und der Prädikatenlogik mit Gleichheit, die beide mathematische Hilfsmittel bereitstellen, Daten(strukturen) und darauf operierende Funktionen als Lösungen von Gleichungen zu definieren. Allgemein geht es in diesem Proseminar um die Vertiefung fundamentaler Konzepte zur Entwicklung verifizierbarer (!) Software, die zum Teil auch in anderen Bachelor-LVs angesprochen werden und insofern diese ergänzen. Demzufolge wird sich die Literatur zu den Vorträgen weniger aus Forschungsartikeln als aus Lehrmaterialien zusammensetzen.