de | en

Introduction to Informatics 2, Exercise Session (IN0003)
Tutorübungen zu Einführung in die Informatik 2 (IN0003)

Course 0000000041 in WS 2013/4

General Data

Course Type Exercise
Semester Weekly Hours 2 SWS
Organisational Unit Informatics 21 - Chair of Logic and Verification (Prof. Nipkow)
Lecturers
Dates

Assignment to Modules

Further Information

Courses are together with exams the building blocks for modules. Please keep in mind that information on the contents, learning outcomes and, especially examination conditions are given on the module level only – see section "Assignment to Modules" above.

additional remarks see module description IN0003
Links Course documents
E-Learning course (e. g. Moodle)
TUMonline entry

Equivalent Courses (e. g. in other semesters)

SemesterTitleLecturersDates
SS 2022 Functional Programming and Verification, Exercise Session (IN0003) Erhard, J. Schwarz, M. Seidl, H. dates in groups
WS 2021/2 Functional Programming and Verification, Exercise Session (IN0003) Erhard, J. Schwarz, M. Seidl, H. dates in groups
WS 2020/1 Functional Programming and Verification, Exercise Session (IN0003) Kappelmann, K. Rädle, J. Stevens, L.
Responsible/Coordination: Nipkow, T.
dates in groups
WS 2019/20 Functional Programming and Verification, Exercise Session (IN0003) Kappelmann, K. Rädle, J. Stevens, L.
Responsible/Coordination: Nipkow, T.
dates in groups
WS 2019/20 Functional Programming and Verification, Exercise Session (IN0003) Kappelmann, K. Rädle, J. Stevens, L.
Responsible/Coordination: Nipkow, T.
dates in groups
WS 2018/9 Functional Programming and Verification, Exercise Session (IN0003) Hartmann, N. Vogler, R.
Responsible/Coordination: Seidl, H.
dates in groups
WS 2018/9 Functional Programming and Verification, Exercise Session (IN0003) Hartmann, N. Vogler, R.
Responsible/Coordination: Seidl, H.
dates in groups
WS 2017/8 Introduction to Informatics 2, Exercise Session (IN0003) Hartmann, N. Vogler, R.
Responsible/Coordination: Seidl, H.
WS 2016/7 Introduction to Informatics 2, Exercise Session (IN0003) Kranz, J. Vogler, R.
Responsible/Coordination: Seidl, H.
WS 2015/6 Introduction to Informatics 2, Exercise Session (IN0003)
WS 2014/5 Introduction to Informatics 2, Exercise Session (IN0003)
WS 2012/3 Introduction to Informatics 2, Exercise Session (IN0003)
Top of page