Programmierung und Modellierung

Die Vorlesung führt in grundlegende Prinzipien der Programmierung und der Datenmodellierung mit einer funktionalen Programmiersprache ein. Die wesentlichen Themen sind: Datentypen, Funktionen und Rekursion, Auswertung und Terminierung von Programmen, Typsysteme, Semantik von Programmiersprachen. Dabei wird auf begriffliche Klarheit und präzise mathematische Fundierung mit formalen Methoden Wert gelegt.

Registrierung: Sa 01.03.2014, 02:00 bis Mi 01.10.2014, 01:59

Betreuende Assistenten

Tutoren der Veranstaltung

  • Felix Esche
  • Sophia Grundner-Culemann
  • Christian Ittner
  • Basil Karadais
  • Christoph Kiesl
  • Veronika Reisner
  • Tobias Simetsreiter
  • Julia Söllner
  • Kai-Henning Wilker

Einloggen zum Teilnehmen

Du bist nicht angemeldet. Um dich für die Veranstaltung anzumelden logge dich bitte ein.