Funktionale Programmierung und Verifikation (IN0003)
Functional Programming and Verification (IN0003)
Lehrveranstaltung 240990556 im WS 2019/20
Basisdaten
| LV-Art | Vorlesung |
|---|---|
| Umfang | 2 SWS |
| betreuende Organisation | Informatik 21 - Lehrstuhl für Logik und Verifikation (Prof. Nipkow) |
| Dozent(inn)en |
Kevin Kappelmann Tobias Nipkow Jonas Rädle Lukas Stevens |
| Termine |
Fr, 08:30–10:00, MW 2001 |
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 | In dem Modul IN0003 werden beispielhaft folgende Inhalte behandelt: - Korrektheit imperativer Programme - Verifikation nach Floyd oder Hoare - Terminierung - Prozeduren - Grundbegriffe funktionalen Programmierens - Werte, Variablen, Funktionen - Datenstrukturen, Pattern Matching - Höhere Funktionen - Polymorphe Typen - Programmieren im Großen: Strukturen und Funktoren - Korrektheit funktionaler Programme - Semantik funktionaler Programme - Verifikation funktionaler Programme |
|---|---|
| Links |
LV-Unterlagen E-Learning-Kurs (z. B. Moodle) TUMonline-Eintrag |