LMU Programmierung und Modellierung (SoSe 2019)

Author: Dr. Steffen Jost

Subscribed: 20Played: 445

Description

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.

29 Episodes

Reverse

1. Vorlesung

2020-06-1701:30:20

2. Vorlesung

2020-06-1701:27:07

1. Zentralübung

2020-06-1701:29:39

3. Vorlesung

2020-06-1701:21:28

2. Zentralübung

2020-06-1701:32:36

4. Vorlesung

2020-06-1701:28:28

8. Vorlesung

2020-06-1701:33:48

9. Vorlesung

2020-06-1701:22:42

6. Vorlesung

2020-06-1701:22:32

18. Vorlesung

2020-06-1701:19:57

4. Zentralübung

2020-06-1701:25:36

12. Vorlesung

2020-06-1701:22:47

11. Vorlesung

2020-06-1701:30:48

3. Zentralübung

2020-06-1701:31:22

13. Vorlesung

2020-06-1701:24:44

14. Vorlesung

2020-06-1701:29:36

17. Vorlesung

2020-06-1701:26:00

15. Vorlesung

2020-06-1701:18:42

Hinweis: Die ersten 10min der Vorlesung fehlen aufgrund eines Tonausfalls.

16. Vorlesung

2020-06-1701:27:11

5. Zentralübung

2020-06-1701:18:33

#box-pro-ellipsis-173236194447826{-webkit-line-clamp:2;}LMU Programmierung und Modellierung (SoSe 2019)

LMU Programmierung und Modellierung (SoSe 2019)