Afleveringen
-
Zijn er afleveringen die ontbreken?
-
Hinweis: Die ersten 10min der Vorlesung fehlen aufgrund eines Tonausfalls.
- Laat meer zien
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.
Zijn er afleveringen die ontbreken?
Hinweis: Die ersten 10min der Vorlesung fehlen aufgrund eines Tonausfalls.