Funktionale Programmierung und Verifikation
Functional Programming and Verification
Prüfung IN0003 im SS 2024
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
Aktuelle Prüfungstermine
Modulprüfung
Termin | |
---|---|
Ort | MW 2001 Rudolf-Diesel-Hörsaal Gustav-Niemann-Hörsaal Audimax im Galileo nur Mo-Di 7-19 Uhr |
Hinweise | |
Anmeldung |
Modulprüfung
Historische Termine
Zur Information finden Sie im folgenden vergangene Prüfungstermine, die zu dem oben genannten äquivalent sind.
Titel | |||
---|---|---|---|
Termin | Ort | Info | Anmeldung |
Funktionale Programmierung und Verifikation im WS 2019/20 | |||
Sa, 8.2.2020, 13:00 bis 15:00 | 0001 2001 5508.01.801 00.02.001 101 004 003 |
Import | bis 15.1.2020 (Abmeldung bis 1.2.2020) |
Funktionale Programmierung und Verifikation im SS 2020 | |||
Sa, 4.7.2020, 10:45 bis 12:45 | https://www.tum.de/die-tum/aktuelles/coronavirus/pruefungen Prüfungsart: elektronische Übungsleistung/ graded online exercise | bis 18.6.2020 (Abmeldung bis 22.6.2020) | |
Funktionale Programmierung und Verifikation im WS 2020/1 | |||
Fr, 26.2.2021, 17:00 bis 19:00 | graded online exercise https://www.tum.de/die-tum/aktuelles/coronavirus/corona-lehre-pruefungen/ | bis 15.1.2021 (Abmeldung bis 19.2.2021) | |
Mi, 31.3.2021, 8:00 bis 10:00 | graded online exercise https://www.tum.de/die-tum/aktuelles/coronavirus/corona-lehre-pruefungen/ | bis 22.3.2021 (Abmeldung bis 24.3.2021) | |
Funktionale Programmierung und Verifikation im WS 2021/2 | |||
Fr, 25.2.2022, 17:00 bis 19:00 | 0.001 |
elektronische Fernprüfung https://www.in.tum.de/fuer-studierende/coronavirus/ | bis 15.1.2022 (Abmeldung bis 18.2.2022) |
Di, 12.4.2022, 8:00 bis 10:00 | 0.001 |
elektronische Fernprüfung https://www.in.tum.de/fuer-studierende/coronavirus/ | bis 4.4.2022 (Abmeldung bis 5.4.2022) |
Funktionale Programmierung und Verifikation im SS 2022 | |||
Sa, 13.8.2022, 10:45 bis 12:15 | online | bis 10.7.2022 (Abmeldung bis 6.8.2022) | |
Di, 11.10.2022, 13:15 bis 15:15 | online | bis 26.9.2022 (Abmeldung bis 4.10.2022) |