Podcasts by LMU Programmierung und Modellierung (SoSe 2019)
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.
Further podcasts by Dr. Steffen Jost
Podcast on the topic Technologie
All episodes
18. Vorlesung from 2020-06-17T14:27:35
Listen
5. Zentralübung from 2020-06-17T14:27:35
Listen
17. Vorlesung from 2020-06-17T14:27:35
Listen
16. Vorlesung from 2020-06-17T14:27:35
Listen
15. Vorlesung from 2020-06-17T14:27:35
Hinweis: Die ersten 10min der Vorlesung fehlen aufgrund eines Tonausfalls.
Listen
4. Zentralübung from 2020-06-17T14:27:35
Listen
14. Vorlesung from 2020-06-17T14:27:35
Listen
13. Vorlesung from 2020-06-17T14:27:35
Listen
12. Vorlesung from 2020-06-17T14:27:35
Listen
3. Zentralübung from 2020-06-17T14:27:35
Listen
11. Vorlesung from 2020-06-17T14:27:35
Listen
10. Vorlesung from 2020-06-17T14:27:35
Listen
2. Zentralübung from 2020-06-17T14:27:35
Listen
9. Vorlesung from 2020-06-17T14:27:35
Listen
8. Vorlesung from 2020-06-17T14:27:35
Listen
7. Vorlesung from 2020-06-17T14:27:35
Listen
6. Vorlesung from 2020-06-17T14:27:35
Listen
4. Vorlesung from 2020-06-17T14:27:35
Listen
1. Zentralübung from 2020-06-17T14:27:35
Listen
3. Vorlesung from 2020-06-17T14:27:35
Listen
2. Vorlesung from 2020-06-17T14:27:35
Listen
1. Vorlesung from 2020-06-17T14:27:35
Listen