Functional Programming and Verification (IN0003)
Course 0240990556 in WS 2021/2
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 |
Fri, 08:30–10:00, virtuell |
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 | |
---|---|
Links | TUMonline entry |