Funktionale Programmierung und Verifikation
Functional Programming and Verification
Prüfung IN0003 im SS 2023
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 Termine von gleichen Prüfungen
Derzeit sind in TUMonline folgende Prüfungstermine angelegt, die zu dem oben genannten äquivalent sind.
| Titel | |||
|---|---|---|---|
| Termin | Ort | Info | Anmeldung |
| Funktionale Programmierung und Verifikation | |||
| 2001 0001 Audimax |
|||
| 001A 002 2001 0001 101 00.02.001 003 2501 004 |
|||
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) | |