Diese Webseite wird nicht mehr aktualisiert.

Mit 1.10.2022 ist die Fakultät für Physik in der TUM School of Natural Sciences mit der Webseite https://www.nat.tum.de/ aufgegangen. Unter Umstellung der bisherigen Webauftritte finden Sie weitere Informationen.

de | en
Anmelden

Funktionale Programmierung und Verifikation (IN0003)
Functional Programming and Verification (IN0003)

Lehrveranstaltung 240990556 im WS 2018/9

Basisdaten

LV-Art Vorlesung
Umfang 2 SWS
betreuende Organisation Informatik 2 - Lehrstuhl für Sprachen und Beschreibungsstrukturen in der Informatik (Prof. Seidl)
Dozent(inn)en Helmut Seidl
Termine Fr, 08:15–09:45, MW 2001
sowie 3 einzelne oder verschobene Termine

Zuordnung zu Modulen

weitere Informationen

Lehrveranstaltungen sind neben Prüfungen Bausteine von Modulen. Beachten Sie daher, dass Sie Informationen zu den Lehrinhalten und insbesondere zu Prüfungs- und Studienleistungen in der Regel nur auf Modulebene erhalten können (siehe Abschnitt "Zuordnung zu Modulen" oben).

ergänzende Hinweise In dem Modul IN0003 werden beispielhaft folgende Inhalte behandelt: - Korrektheit imperativer Programme - Verifikation nach Floyd oder Hoare - Terminierung - Prozeduren - Grundbegriffe funktionalen Programmierens - Werte, Variablen, Funktionen - Datenstrukturen, Pattern Matching - Höhere Funktionen - Polymorphe Typen - Programmieren im Großen: Strukturen und Funktoren - Korrektheit funktionaler Programme - Semantik funktionaler Programme - Verifikation funktionaler Programme
Links LV-Unterlagen
E-Learning-Kurs (z. B. Moodle)
TUMonline-Eintrag

Gleiche Lehrveranstaltungen (z. B. in anderen Semestern)

SemesterTitelDozent(en)Termine
SS 2024 Funktionale Programmierung und Verifikation (IN0003) Erhard, J. Fulginiti, I. Schwarz, M. Seidl, H. Stade, Y. Mo, 12:00–14:00, GALILEO Audimax
SS 2023 Funktionale Programmierung und Verifikation (IN0003) Erhard, J. Schwarz, M. Seidl, H. Mo, 12:00–14:00, GALILEO Audimax
SS 2022 Funktionale Programmierung und Verifikation (IN0003) Erhard, J. Schwarz, M. Seidl, H. Mo, 12:00–14:00, GALILEO Audimax
WS 2021/2 Funktionale Programmierung und Verifikation (IN0003) Erhard, J. Schwarz, M. Seidl, H. Fr, 08:30–10:00, virtuell
WS 2020/1 Funktionale Programmierung und Verifikation (IN0003) Kappelmann, K. Nipkow, T. Rädle, J. Stevens, L. Fr, 08:30–10:00, MI 00.08.038
WS 2019/20 Funktionale Programmierung und Verifikation (IN0003) Kappelmann, K. Nipkow, T. Rädle, J. Stevens, L. Fr, 08:30–10:00, MW 2001
WS 2017/8 Einführung in die Informatik 2 (IN0003) Seidl, H.
WS 2016/7 Einführung in die Informatik 2 (IN0003) Seidl, H.
WS 2015/6 Einführung in die Informatik 2 (IN0003)
WS 2014/5 Einführung in die Informatik 2 (IN0003)
WS 2013/4 Einführung in die Informatik 2 (IN0003)
WS 2012/3 Einführung in die Informatik 2 (IN0003)
Nach oben