6. 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 6. Vorlesung

Sign up to save your podcasts

6. Vorlesung

6. 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