Diese Webseite wird nicht mehr aktualisiert.

Mit 1.10.2022 ist die Fakultät für Physik in der TUM School of Natural Sciences mit der Webseite https://www.nat.tum.de/ aufgegangen. Unter Umstellung der bisherigen Webauftritte finden Sie weitere Informationen.

de | en

Übungen zu Funktionale Programmierung und Verifikation (IN0003)
Functional Programming and Verification, Exercise Session (IN0003)

Lehrveranstaltung 0000000041 im WS 2021/2

Basisdaten

LV-Art Übung
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 637 Termine in Gruppen

Zuordnung zu Modulen

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

Gleiche Lehrveranstaltungen (z. B. in anderen Semestern)

SemesterTitelDozent(en)Termine
SS 2024 Übungen zu Funktionale Programmierung und Verifikation (IN0003) Erhard, J. Fulginiti, I. Schwarz, M. Seidl, H. Stade, Y. Termine in Gruppen
SS 2023 Übungen zu Funktionale Programmierung und Verifikation (IN0003) Erhard, J. Schwarz, M. Seidl, H. Termine in Gruppen
SS 2022 Übungen zu Funktionale Programmierung und Verifikation (IN0003) Erhard, J. Schwarz, M. Seidl, H. Termine in Gruppen
WS 2020/1 Übungen zu Funktionale Programmierung und Verifikation (IN0003) Kappelmann, K. Rädle, J. Stevens, L.
Leitung/Koordination: Nipkow, T.
Termine in Gruppen
WS 2019/20 Übungen zu Funktionale Programmierung und Verifikation (IN0003) Kappelmann, K. Rädle, J. Stevens, L.
Leitung/Koordination: Nipkow, T.
Termine in Gruppen
WS 2019/20 Übungen zu Funktionale Programmierung und Verifikation (IN0003) Kappelmann, K. Rädle, J. Stevens, L.
Leitung/Koordination: Nipkow, T.
Termine in Gruppen
WS 2018/9 Übungen zu Funktionale Programmierung und Verifikation (IN0003)
Leitung/Koordination: Seidl, H.
Termine in Gruppen
WS 2018/9 Übungen zu Funktionale Programmierung und Verifikation (IN0003)
Leitung/Koordination: Seidl, H.
Termine in Gruppen
WS 2017/8 Übungen zu Einführung in die Informatik 2 (IN0003)
Leitung/Koordination: Seidl, H.
WS 2016/7 Tutorübungen zu Einführung in die Informatik 2 (IN0003)
Leitung/Koordination: Seidl, H.
WS 2015/6 Tutorübungen zu Einführung in die Informatik 2 (IN0003)
WS 2014/5 Tutorübungen zu Einführung in die Informatik 2 (IN0003)
WS 2013/4 Tutorübungen zu Einführung in die Informatik 2 (IN0003)
WS 2012/3 Tutorübungen zu Einführung in die Informatik 2 (IN0003)
Nach oben