Functional Programming and Verification (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
-
IN0003: Einführung in die Informatik 2 / Introduction to Informatics 2
This module is included in the following catalogs:- Further Modules from Other Disciplines
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 |