This website is no longer updated.

As of 1.10.2022, the Faculty of Physics has been merged into the TUM School of Natural Sciences with the website https://www.nat.tum.de/. For more information read Conversion of Websites.

de | en
Login

Functional Programming and Verification (IN0003)

Course 0240990556 in SS 2022

General Data

Course Type lecture
Semester Weekly Hours 2 SWS
Organisational Unit Informatics 2 - Chair of Formal Languages, Compiler Construction, Software Construction (Prof. Seidl)
Lecturers Julian Erhard
Michael Schwarz
Helmut Seidl
Dates Mon, 12:00–14:00, GALILEO Audimax

Assignment to Modules

Further Information

Courses are together with exams the building blocks for modules. Please keep in mind that information on the contents, learning outcomes and, especially examination conditions are given on the module level only – see section "Assignment to Modules" above.

additional remarks
Links TUMonline entry

Equivalent Courses (e. g. in other semesters)

SemesterTitleLecturersDates
SS 2024 Functional Programming and Verification (IN0003) Erhard, J. Fulginiti, I. Schwarz, M. Seidl, H. Stade, Y. Mon, 12:00–14:00, GALILEO Audimax
SS 2023 Functional Programming and Verification (IN0003) Erhard, J. Schwarz, M. Seidl, H. Mon, 12:00–14:00, GALILEO Audimax
WS 2021/2 Functional Programming and Verification (IN0003) Erhard, J. Schwarz, M. Seidl, H. Fri, 08:30–10:00, virtuell
WS 2020/1 Functional Programming and Verification (IN0003) Kappelmann, K. Nipkow, T. Rädle, J. Stevens, L. Fri, 08:30–10:00, MI 00.08.038
WS 2019/20 Functional Programming and Verification (IN0003) Kappelmann, K. Nipkow, T. Rädle, J. Stevens, L. Fri, 08:30–10:00, MW 2001
WS 2018/9 Functional Programming and Verification (IN0003) Seidl, H. Fri, 08:15–09:45, MW 2001
and singular or moved dates
WS 2017/8 Introduction to Informatics 2 (IN0003) Seidl, H.
WS 2016/7 Introduction to Informatics 2 (IN0003) Seidl, H.
WS 2015/6 Introduction to Informatics 2 (IN0003)
WS 2014/5 Introduction to Informatics 2 (IN0003)
WS 2013/4 Introduction to Informatics 2 (IN0003)
WS 2012/3 Introduction to Informatics 2 (IN0003)
Top of page