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

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

Course 0240990556 in SS 2024

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
Innocenzo Fulginiti
Michael Schwarz
Helmut Seidl
Yannick Stade
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 Module IN0003 covers the following topics: - Correctness of imperative programs- Verification according to Floyd or Hoare- Termination- Procedures- Basic concepts of functional programming- Values, variables, functions- Data structures, pattern matching- Higher-order functions- Polymorphic types- Programming in large: structures and functors- Correctness of functional programs- Semantics of functional programs- Verification of functional programs
Links E-Learning course (e. g. Moodle)
TUMonline entry
Top of page