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 0240990556 im SS 2022

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 Julian Erhard
Michael Schwarz
Helmut Seidl
Termine Mo, 12:00–14:00, GALILEO Audimax

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
Links 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
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 2018/9 Funktionale Programmierung und Verifikation (IN0003) Seidl, H. Fr, 08:15–09:45, MW 2001
sowie einzelne oder verschobene Termine
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