Programmierung und Modellierung

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.
Institut
Institut für Informatik
Dozent
Korrektoren
Externe Homepage
https://www.tcs.ifi.lmu.de/lehre/ss-2018/promo
Kursteilnehmer
169
Anmeldung

Mi 11 Apr 2018 06:00 – So 30 Sep 2018 23:59

Material
Eine Anmeldung zum Kurs ist Voraussetzung zum Zugang zu Kursmaterial