Explore

Download App
LMU Programmierung und Modellierung (SoSe 2019)
LMU Programmierung und Modellierung (SoSe 2019)
Technology

LMU Programmierung und Modellierung (SoSe 2019)

Dr. Steffen Jost

0
Followers
0
Plays

Details

About Us
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.

Latest Episodes