Physics Department, TUM | Course 0000004158 in WS 2019/20

General Data

Course Type

exercise

Semester Weekly Hours

2 SWS

Organisational Unit

Informatics 21 - Chair of Logik und Verifikation (Prof. Nipkow)

Lecturers

Kevin Kappelmann
Jonas Rädle
Lukas Stevens
Responsible/Coordination: Tobias Nipkow

Dates

218 dates in groups

Do-08 iCalendar

	Date and Time	Room and Remark
!	Thu, 2019-10-24, 08:00–10:00	01.10.011, Seminarraum (Inf. 18/19
	Thu, 2019-10-31, 08:15–09:45	01.11.018, Seminarraum
	Thu, 2019-11-07, 08:15–09:45	01.11.018, Seminarraum
	Thu, 2019-11-14, 08:15–09:45	01.11.018, Seminarraum
	Thu, 2019-11-21, 08:15–09:45	01.11.018, Seminarraum
	Thu, 2019-11-28, 08:15–09:45	01.11.018, Seminarraum
	Thu, 2019-12-05, 08:15–09:45	01.11.018, Seminarraum
	Thu, 2019-12-12, 08:15–09:45	01.11.018, Seminarraum
	Thu, 2019-12-19, 08:15–09:45	01.11.018, Seminarraum
	Thu, 2020-01-09, 08:15–09:45	01.11.018, Seminarraum
	Thu, 2020-01-16, 08:15–09:45	01.11.018, Seminarraum
	Thu, 2020-01-23, 08:15–09:45	01.11.018, Seminarraum
	Thu, 2020-01-30, 08:15–09:45	01.11.018, Seminarraum
	Thu, 2020-02-06, 08:15–09:45	01.11.018, Seminarraum

Do-10-1 iCalendar

	Date and Time	Room and Remark
!	Thu, 2019-10-24, 10:00–12:00	MW 2235, Seminarraum
	Thu, 2019-10-31, 10:15–11:45	01.11.018, Seminarraum
	Thu, 2019-11-07, 10:15–11:45	01.11.018, Seminarraum
	Thu, 2019-11-14, 10:15–11:45	01.11.018, Seminarraum
	Thu, 2019-11-21, 10:15–11:45	01.11.018, Seminarraum
	Thu, 2019-11-28, 10:15–11:45	01.11.018, Seminarraum
	Thu, 2019-12-05, 10:15–11:45	01.11.018, Seminarraum
	Thu, 2019-12-12, 10:15–11:45	01.11.018, Seminarraum
	Thu, 2019-12-19, 10:15–11:45	01.11.018, Seminarraum
	Thu, 2020-01-09, 10:15–11:45	01.11.018, Seminarraum
	Thu, 2020-01-16, 10:15–11:45	01.11.018, Seminarraum
	Thu, 2020-01-23, 10:15–11:45	01.11.018, Seminarraum
	Thu, 2020-01-30, 10:15–11:45	01.11.018, Seminarraum
	Thu, 2020-02-06, 10:15–11:45	01.11.018, Seminarraum

Do-10-2 iCalendar

	Date and Time	Room and Remark
	Thu, 2019-10-24, 10:30–12:00	MW 0234, Seminarraum
	Thu, 2019-10-31, 10:30–12:00	MW 0234, Seminarraum
	Thu, 2019-11-07, 10:30–12:00	MW 0234, Seminarraum
	Thu, 2019-11-14, 10:30–12:00	MW 0234, Seminarraum
	Thu, 2019-11-21, 10:30–12:00	MW 0234, Seminarraum
!	Thu, 2019-11-28, 10:30–12:00	02.04.011, Seminarraum (M9/M10)
	Thu, 2019-12-05, 10:30–12:00	MW 0234, Seminarraum
	Thu, 2019-12-12, 10:30–12:00	MW 0234, Seminarraum
	Thu, 2019-12-19, 10:30–12:00	MW 0234, Seminarraum
	Thu, 2020-01-09, 10:30–12:00	MW 0234, Seminarraum
	Thu, 2020-01-16, 10:30–12:00	MW 0234, Seminarraum
	Thu, 2020-01-23, 10:30–12:00	MW 0234, Seminarraum
	Thu, 2020-01-30, 10:30–12:00	MW 0234, Seminarraum
	Thu, 2020-02-06, 10:30–12:00	MW 0234, Seminarraum

Do-10-3 iCalendar

	Date and Time	Room and Remark
	Thu, 2019-10-24, 10:00–12:00	00.11.038, Forsoft/Seminarraum
	Thu, 2019-10-31, 10:00–12:00	00.11.038, Forsoft/Seminarraum
	Thu, 2019-11-07, 10:00–12:00	00.11.038, Forsoft/Seminarraum
	Thu, 2019-11-14, 10:00–12:00	00.11.038, Forsoft/Seminarraum
	Thu, 2019-11-21, 10:00–12:00	00.11.038, Forsoft/Seminarraum
	Thu, 2019-11-28, 10:00–12:00	00.11.038, Forsoft/Seminarraum
	Thu, 2019-12-05, 10:00–12:00	00.11.038, Forsoft/Seminarraum
	Thu, 2019-12-12, 10:00–12:00	00.11.038, Forsoft/Seminarraum
	Thu, 2019-12-19, 10:00–12:00	00.11.038, Forsoft/Seminarraum
	Thu, 2020-01-09, 10:00–12:00	00.11.038, Forsoft/Seminarraum
	Thu, 2020-01-16, 10:00–12:00	00.11.038, Forsoft/Seminarraum
	Thu, 2020-01-23, 10:00–12:00	00.11.038, Forsoft/Seminarraum
	Thu, 2020-01-30, 10:00–12:00	00.11.038, Forsoft/Seminarraum
	Thu, 2020-02-06, 10:00–12:00	00.11.038, Forsoft/Seminarraum

Do-12-1 iCalendar

	Date and Time	Room and Remark
	Thu, 2019-10-24, 12:15–13:45	00.08.059, Seminarraum
	Thu, 2019-10-31, 12:15–13:45	00.08.059, Seminarraum
	Thu, 2019-11-07, 12:15–13:45	00.08.059, Seminarraum
	Thu, 2019-11-14, 12:15–13:45	00.08.059, Seminarraum
	Thu, 2019-11-21, 12:15–13:45	00.08.059, Seminarraum
	Thu, 2019-11-28, 12:15–13:45	00.08.059, Seminarraum
	Thu, 2019-12-05, 12:15–13:45	00.08.059, Seminarraum
	Thu, 2019-12-12, 12:15–13:45	00.08.059, Seminarraum
	Thu, 2019-12-19, 12:15–13:45	00.08.059, Seminarraum
	Thu, 2020-01-09, 12:15–13:45	00.08.059, Seminarraum
	Thu, 2020-01-16, 12:15–13:45	00.08.059, Seminarraum
	Thu, 2020-01-23, 12:15–13:45	00.08.059, Seminarraum
	Thu, 2020-01-30, 12:15–13:45	00.08.059, Seminarraum
	Thu, 2020-02-06, 12:15–13:45	00.08.059, Seminarraum

Do-12-2 iCalendar

	Date and Time	Room and Remark
	Thu, 2019-10-24, 12:15–13:45	00.13.036, Seminarraum
	Thu, 2019-10-31, 12:15–13:45	00.13.036, Seminarraum
	Thu, 2019-11-07, 12:15–13:45	00.13.036, Seminarraum
	Thu, 2019-11-14, 12:15–13:45	00.13.036, Seminarraum
	Thu, 2019-11-21, 12:15–13:45	00.13.036, Seminarraum
	Thu, 2019-11-28, 12:15–13:45	00.13.036, Seminarraum
	Thu, 2019-12-05, 12:15–13:45	00.13.036, Seminarraum
	Thu, 2019-12-12, 12:15–13:45	00.13.036, Seminarraum
	Thu, 2019-12-19, 12:15–13:45	00.13.036, Seminarraum
	Thu, 2020-01-09, 12:15–13:45	00.13.036, Seminarraum
	Thu, 2020-01-16, 12:15–13:45	00.13.036, Seminarraum
	Thu, 2020-01-23, 12:15–13:45	00.13.036, Seminarraum
	Thu, 2020-01-30, 12:15–13:45	00.13.036, Seminarraum
	Thu, 2020-02-06, 12:15–13:45	00.13.036, Seminarraum

Do-14-1 iCalendar

	Date and Time	Room and Remark
	Thu, 2019-10-24, 14:15–15:45	00.08.059, Seminarraum
	Thu, 2019-10-31, 14:15–15:45	00.08.059, Seminarraum
	Thu, 2019-11-07, 14:15–15:45	00.08.059, Seminarraum
	Thu, 2019-11-14, 14:15–15:45	00.08.059, Seminarraum
	Thu, 2019-11-21, 14:15–15:45	00.08.059, Seminarraum
	Thu, 2019-11-28, 14:15–15:45	00.08.059, Seminarraum
	Thu, 2019-12-05, 14:15–15:45	00.08.059, Seminarraum
	Thu, 2019-12-12, 14:15–15:45	00.08.059, Seminarraum
	Thu, 2019-12-19, 14:15–15:45	00.08.059, Seminarraum
	Thu, 2020-01-09, 14:15–15:45	00.08.059, Seminarraum
	Thu, 2020-01-16, 14:15–15:45	00.08.059, Seminarraum
	Thu, 2020-01-23, 14:15–15:45	00.08.059, Seminarraum
	Thu, 2020-01-30, 14:15–15:45	00.08.059, Seminarraum
	Thu, 2020-02-06, 14:15–15:45	00.08.059, Seminarraum

Do-14-2 iCalendar

	Date and Time	Room and Remark
	Thu, 2019-10-24, 14:15–15:45	00.13.036, Seminarraum
	Thu, 2019-10-31, 14:15–15:45	00.13.036, Seminarraum
	Thu, 2019-11-07, 14:15–15:45	00.13.036, Seminarraum
	Thu, 2019-11-14, 14:15–15:45	00.13.036, Seminarraum
	Thu, 2019-11-21, 14:15–15:45	00.13.036, Seminarraum
	Thu, 2019-11-28, 14:15–15:45	00.13.036, Seminarraum
	Thu, 2019-12-05, 14:15–15:45	00.13.036, Seminarraum
	Thu, 2019-12-12, 14:15–15:45	00.13.036, Seminarraum
	Thu, 2019-12-19, 14:15–15:45	00.13.036, Seminarraum
	Thu, 2020-01-09, 14:15–15:45	00.13.036, Seminarraum
	Thu, 2020-01-16, 14:15–15:45	00.13.036, Seminarraum
	Thu, 2020-01-23, 14:15–15:45	00.13.036, Seminarraum
	Thu, 2020-01-30, 14:15–15:45	00.13.036, Seminarraum
	Thu, 2020-02-06, 14:15–15:45	00.13.036, Seminarraum

Do-16-1 iCalendar

	Date and Time	Room and Remark
	Thu, 2019-10-24, 16:15–17:45	00.13.036, Seminarraum
	Thu, 2019-10-31, 16:15–17:45	00.13.036, Seminarraum
	Thu, 2019-11-07, 16:15–17:45	00.13.036, Seminarraum
	Thu, 2019-11-14, 16:15–17:45	00.13.036, Seminarraum
	Thu, 2019-11-21, 16:15–17:45	00.13.036, Seminarraum
	Thu, 2019-11-28, 16:15–17:45	00.13.036, Seminarraum
	Thu, 2019-12-05, 16:15–17:45	00.13.036, Seminarraum
	Thu, 2019-12-12, 16:15–17:45	00.13.036, Seminarraum
	Thu, 2019-12-19, 16:15–17:45	00.13.036, Seminarraum
	Thu, 2020-01-09, 16:15–17:45	00.13.036, Seminarraum
	Thu, 2020-01-16, 16:15–17:45	00.13.036, Seminarraum
	Thu, 2020-01-23, 16:15–17:45	00.13.036, Seminarraum
	Thu, 2020-01-30, 16:15–17:45	00.13.036, Seminarraum
	Thu, 2020-02-06, 16:15–17:45	00.13.036, Seminarraum

Do-16-2 iCalendar

	Date and Time	Room and Remark
	Thu, 2019-10-24, 16:15–17:45	00.08.059, Seminarraum
	Thu, 2019-10-31, 16:15–17:45	00.08.059, Seminarraum
	Thu, 2019-11-07, 16:15–17:45	00.08.059, Seminarraum
	Thu, 2019-11-14, 16:15–17:45	00.08.059, Seminarraum
	Thu, 2019-11-21, 16:15–17:45	00.08.059, Seminarraum
	Thu, 2019-11-28, 16:15–17:45	00.08.059, Seminarraum
	Thu, 2019-12-05, 16:15–17:45	00.08.059, Seminarraum
	Thu, 2019-12-12, 16:15–17:45	00.08.059, Seminarraum
	Thu, 2019-12-19, 16:15–17:45	00.08.059, Seminarraum
	Thu, 2020-01-09, 16:15–17:45	00.08.059, Seminarraum
	Thu, 2020-01-16, 16:15–17:45	00.08.059, Seminarraum
	Thu, 2020-01-23, 16:15–17:45	00.08.059, Seminarraum
	Thu, 2020-01-30, 16:15–17:45	00.08.059, Seminarraum
	Thu, 2020-02-06, 16:15–17:45	00.08.059, Seminarraum

Fr-10-1 iCalendar

	Date and Time	Room and Remark
	Fri, 2019-10-25, 10:00–12:00	00.08.038, Seminarraum
	Fri, 2019-11-08, 10:00–12:00	00.08.038, Seminarraum
	Fri, 2019-11-15, 10:00–12:00	00.08.038, Seminarraum
	Fri, 2019-11-22, 10:00–12:00	00.08.038, Seminarraum
	Fri, 2019-11-29, 10:00–12:00	00.08.038, Seminarraum
	Fri, 2019-12-06, 10:00–12:00	00.08.038, Seminarraum
	Fri, 2019-12-13, 10:00–12:00	00.08.038, Seminarraum
	Fri, 2019-12-20, 10:00–12:00	00.08.038, Seminarraum
	Fri, 2020-01-10, 10:00–12:00	00.08.038, Seminarraum
	Fri, 2020-01-17, 10:00–12:00	00.08.038, Seminarraum
	Fri, 2020-01-24, 10:00–12:00	00.08.038, Seminarraum
	Fri, 2020-01-31, 10:00–12:00	00.08.038, Seminarraum
	Fri, 2020-02-07, 10:00–12:00	00.08.038, Seminarraum

Fr-10-2 iCalendar

	Date and Time	Room and Remark
!	Fri, 2019-10-25, 10:00–12:00	MW 0337, Seminarraum
	Fri, 2019-11-08, 10:15–11:45	01.11.018, Seminarraum
	Fri, 2019-11-15, 10:15–11:45	01.11.018, Seminarraum
	Fri, 2019-11-22, 10:15–11:45	01.11.018, Seminarraum
	Fri, 2019-11-29, 10:15–11:45	01.11.018, Seminarraum
	Fri, 2019-12-06, 10:15–11:45	01.11.018, Seminarraum
	Fri, 2019-12-13, 10:15–11:45	01.11.018, Seminarraum
	Fri, 2019-12-20, 10:15–11:45	01.11.018, Seminarraum
	Fri, 2020-01-10, 10:15–11:45	01.11.018, Seminarraum
	Fri, 2020-01-17, 10:15–11:45	01.11.018, Seminarraum
	Fri, 2020-01-24, 10:15–11:45	01.11.018, Seminarraum
	Fri, 2020-01-31, 10:15–11:45	01.11.018, Seminarraum
	Fri, 2020-02-07, 10:15–11:45	01.11.018, Seminarraum

Reserve iCalendar

	Date and Time	Room and Remark
	Fri, 2019-10-25, 12:15–13:45	02.07.014, Seminarraum
	Fri, 2019-11-08, 12:15–13:45	02.07.014, Seminarraum
	Fri, 2019-11-15, 12:15–13:45	02.07.014, Seminarraum
	Fri, 2019-11-22, 12:15–13:45	02.07.014, Seminarraum
	Fri, 2019-11-29, 12:15–13:45	02.07.014, Seminarraum
	Fri, 2019-12-06, 12:15–13:45	02.07.014, Seminarraum
	Fri, 2019-12-13, 12:15–13:45	02.07.014, Seminarraum
	Fri, 2019-12-20, 12:15–13:45	02.07.014, Seminarraum
	Fri, 2020-01-10, 12:15–13:45	02.07.014, Seminarraum
	Fri, 2020-01-17, 12:15–13:45	02.07.014, Seminarraum
	Fri, 2020-01-24, 12:15–13:45	02.07.014, Seminarraum
	Fri, 2020-01-31, 12:15–13:45	02.07.014, Seminarraum
	Fri, 2020-02-07, 12:15–13:45	02.07.014, Seminarraum

Reserve-1 iCalendar

	Date and Time	Room and Remark
	Fri, 2019-10-25, 12:00–14:00	00.08.059, Seminarraum
	Fri, 2019-11-08, 12:00–14:00	00.08.059, Seminarraum
	Fri, 2019-11-15, 12:00–14:00	00.08.059, Seminarraum
	Fri, 2019-11-22, 12:00–14:00	00.08.059, Seminarraum
	Fri, 2019-11-29, 12:00–14:00	00.08.059, Seminarraum
	Fri, 2019-12-06, 12:00–14:00	00.08.059, Seminarraum
	Fri, 2019-12-13, 12:00–14:00	00.08.059, Seminarraum
	Fri, 2019-12-20, 12:00–14:00	00.08.059, Seminarraum
	Fri, 2020-01-10, 12:00–14:00	00.08.059, Seminarraum
	Fri, 2020-01-17, 12:00–14:00	00.08.059, Seminarraum
	Fri, 2020-01-24, 12:00–14:00	00.08.059, Seminarraum
	Fri, 2020-01-31, 12:00–14:00	00.08.059, Seminarraum
	Fri, 2020-02-07, 12:00–14:00	00.08.059, Seminarraum

Reserve-2 iCalendar

	Date and Time	Room and Remark
	Fri, 2019-10-25, 14:00–16:00	00.08.059, Seminarraum
	Fri, 2019-11-08, 14:00–16:00	00.08.059, Seminarraum
	Fri, 2019-11-15, 14:00–16:00	00.08.059, Seminarraum
	Fri, 2019-11-22, 14:00–16:00	00.08.059, Seminarraum
	Fri, 2019-11-29, 14:00–16:00	00.08.059, Seminarraum
	Fri, 2019-12-06, 14:00–16:00	00.08.059, Seminarraum
	Fri, 2019-12-13, 14:00–16:00	00.08.059, Seminarraum
	Fri, 2019-12-20, 14:00–16:00	00.08.059, Seminarraum
	Fri, 2020-01-10, 14:00–16:00	00.08.059, Seminarraum
	Fri, 2020-01-17, 14:00–16:00	00.08.059, Seminarraum
	Fri, 2020-01-24, 14:00–16:00	00.08.059, Seminarraum
	Fri, 2020-01-31, 14:00–16:00	00.08.059, Seminarraum
	Fri, 2020-02-07, 14:00–16:00	00.08.059, Seminarraum

Reserve-3 iCalendar

	Date and Time	Room and Remark
	Fri, 2019-10-25, 14:00–16:00	00.13.008, Seminarraum
	Fri, 2019-11-08, 14:00–16:00	00.13.008, Seminarraum
	Fri, 2019-11-15, 14:00–16:00	00.13.008, Seminarraum
	Fri, 2019-11-22, 14:00–16:00	00.13.008, Seminarraum
	Fri, 2019-11-29, 14:00–16:00	00.13.008, Seminarraum
	Fri, 2019-12-06, 14:00–16:00	00.13.008, Seminarraum
	Fri, 2019-12-13, 14:00–16:00	00.13.008, Seminarraum
	Fri, 2019-12-20, 14:00–16:00	00.13.008, Seminarraum
	Fri, 2020-01-10, 14:00–16:00	00.13.008, Seminarraum
	Fri, 2020-01-17, 14:00–16:00	00.13.008, Seminarraum
	Fri, 2020-01-24, 14:00–16:00	00.13.008, Seminarraum
	Fri, 2020-01-31, 14:00–16:00	00.13.008, Seminarraum
	Fri, 2020-02-07, 14:00–16:00	00.13.008, Seminarraum

Assignment to Modules

IN0003: Einführung in die Informatik 2 / Introduction to Informatics 2
This module is included in the following catalogs:
- Further Modules from Other Disciplines

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 for IN0003
Links	Course documents E-Learning course (e. g. Moodle) TUMonline entry

Equivalent Courses (e. g. in other semesters)

Semester	Title	Lecturers	Dates
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 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 2013/4	Introduction to Informatics 2, Exercise Session (IN0003)
WS 2012/3	Introduction to Informatics 2, Exercise Session (IN0003)

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

Course 0000004158 in WS 2019/20

General Data

Assignment to Modules

Further Information

Equivalent Courses (e. g. in other semesters)

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