Programmierung und Modellierung

Fakultät/Institut
Institut fuer Informatik
Beschreibung
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 und Typinferenz, Polymorphie und Typklassen. Semantik von Programmiersprachen. Dabei wird auf begriffliche Klarheit und präzise mathematische Fundierung mit formalen Methoden Wert gelegt.
Dozent
Korrektoren
Website
Teilnehmer
171
Anmeldezeitraum
Ab Mi 11 Apr 2018 06:00 bis So 30 Sep 2018 23:59
Material
Eine Anmeldung zum Kurs ist Voraussetzung zum Zugang zu Kursmaterial(z.B. Übungsblätter).