23 Folgen

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.

LMU Programmierung und Modellierung (SoSe 2019‪)‬ Dr. Steffen Jost

    • Technologie
    • 5,0 • 2 Bewertungen

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.

    • video
    1. Vorlesung

    1. Vorlesung

    • 1 Std. 30 Min.
    • video
    2. Vorlesung

    2. Vorlesung

    • 1 Std. 27 Min.
    • video
    3. Vorlesung

    3. Vorlesung

    • 1 Std. 21 Min.
    • video
    1. Zentralübung

    1. Zentralübung

    • 1 Std. 29 Min.
    • video
    4. Vorlesung

    4. Vorlesung

    • 1 Std. 28 Min.
    • video
    6. Vorlesung

    6. Vorlesung

    • 1 Std. 22 Min.

Kundenrezensionen

5,0 von 5
2 Bewertungen

2 Bewertungen

Top‑Podcasts in Technologie

Lex Fridman Podcast
Lex Fridman Podcast
Lex Fridman
Flugforensik - Abstürze und ihre Geschichte
Flugforensik - Abstürze und ihre Geschichte
Flugforensik
Silicon Weekly
Silicon Weekly
Caspar von Allwörden
Mission Klima – Lösungen für die Krise
Mission Klima – Lösungen für die Krise
NDR Info
Apfelfunk
Apfelfunk
Malte Kirchner & Jean-Claude Frick
Mac & i - der Apple-Podcast
Mac & i - der Apple-Podcast
Mac & i

Mehr von Ludwig-Maximilians-Universität München

Grundlagen der Sozialpsychologie II (Klassische Psychologie) - SoSe 2005
Grundlagen der Sozialpsychologie II (Klassische Psychologie) - SoSe 2005
Prof. Dr. Dieter Frey
LMU Grundkurs Strafrecht I (L-Z) WS 2017/18
LMU Grundkurs Strafrecht I (L-Z) WS 2017/18
Prof. Dr. Helmut Satzger
LMU Fakultät für Philosophie, Wissenschaftstheorie und Religionswissenschaft - Vorlesungen und Vorträge
LMU Fakultät für Philosophie, Wissenschaftstheorie und Religionswissenschaft - Vorlesungen und Vorträge
Professoren der Fakultät für Philosophie, Wissenschaftstheorie und Religionswissenschaft
LMU Handelsrecht - Lehrstuhl für Bürgerliches Recht, Deutsches, Europäisches und Internationales Unternehmensrecht
LMU Handelsrecht - Lehrstuhl für Bürgerliches Recht, Deutsches, Europäisches und Internationales Unternehmensrecht
Professor Dr. Horst Eidenmüller, LL.M. (Cambridge)
LMU Erbrecht - Lehrstuhl für Bürgerliches Recht, Internationales Privatrecht und Rechtsvergleichung
LMU Erbrecht - Lehrstuhl für Bürgerliches Recht, Internationales Privatrecht und Rechtsvergleichung
Professor Dr. Stephan Lorenz
GK Strafrecht II (A-K) SoSe 2020 Satzger
GK Strafrecht II (A-K) SoSe 2020 Satzger
Helmut Satzger