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

15. Vorlesung

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.

Share 15. Vorlesung

Sign up to save your podcasts

15. Vorlesung

15. Vorlesung

More shows like LMU Programmierung und Modellierung (SoSe 2019)

Tonspur Forschung

Fakultät für Philosophie, Wissenschaftstheorie und Religionswissenschaft - Digitale Hochschulschriften der LMU

MCMP – Mathematical Philosophy (Archive 2011/12)

LMU Fakultät für Philosophie, Wissenschaftstheorie und Religionswissenschaft - Vorlesungen und Vorträge

Center for Advanced Studies (CAS) Cutting Edge - SD

MCMP – Philosophy of Science

Epistemology and Philosophy of Science: Prof. Dr. Stephan Hartmann – HD

Sommerfeld Lecture Series (ASC)

MCMP

Women Thinkers in Antiquity and the Middle Ages - SD