Funktionale Programmierung und Verifikation (IN0003)
Functional Programming and Verification (IN0003)
Lehrveranstaltung 0240990556 im WS 2021/2
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 |
Fr, 08:30–10:00, virtuell |
Zuordnung zu Modulen
-
IN0003: Einführung in die Informatik 2 / Introduction to Informatics 2
Dieses Modul ist in den folgenden Katalogen enthalten:- weitere Module aus anderen Fachrichtungen
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 |