Podcaster
Episoden
17.06.2020
1 Stunde 18 Minuten
Hinweis: Die ersten 10min der Vorlesung fehlen aufgrund eines
Tonausfalls.
Über diesen Podcast
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.
Kommentare (0)