Physics Department, TUM | Course 0000020871 in SS 2020

General Data

Course Type

exercise

Semester Weekly Hours

2 SWS

Organisational Unit

Informatics 21 - Chair of Logic and Verification (Prof. Nipkow)

Lecturers

Kevin Kappelmann
Jonas Rädle
Lukas Stevens

Dates

206 dates in groups

Di-08-1 iCalendar

	Date and Time	Room and Remark
	Tue, 2020-04-21, 08:30–10:00	Boltzmannstr. 3
	Tue, 2020-04-28, 08:30–10:00	Boltzmannstr. 3
	Tue, 2020-05-05, 08:30–10:00	Boltzmannstr. 3
	Tue, 2020-05-12, 08:30–10:00	Boltzmannstr. 3
	Tue, 2020-05-19, 08:30–10:00	Boltzmannstr. 3
	Tue, 2020-05-26, 08:30–10:00	Boltzmannstr. 3
	Tue, 2020-06-09, 08:30–10:00	Boltzmannstr. 3
	Tue, 2020-06-16, 08:30–10:00	Boltzmannstr. 3
	Tue, 2020-06-23, 08:30–10:00	Boltzmannstr. 3
	Tue, 2020-06-30, 08:30–10:00	Boltzmannstr. 3
	Tue, 2020-07-07, 08:30–10:00	Boltzmannstr. 3
	Tue, 2020-07-14, 08:30–10:00	Boltzmannstr. 3
	Tue, 2020-07-21, 08:30–10:00	Boltzmannstr. 3

Di-08-2 iCalendar

	Date and Time	Room and Remark
	Tue, 2020-04-21, 08:00–10:00	Boltzmannstr. 3
	Tue, 2020-04-28, 08:00–10:00	Boltzmannstr. 3
	Tue, 2020-05-05, 08:00–10:00	Boltzmannstr. 3
	Tue, 2020-05-12, 08:00–10:00	Boltzmannstr. 3
	Tue, 2020-05-19, 08:00–10:00	Boltzmannstr. 3
	Tue, 2020-05-26, 08:00–10:00	Boltzmannstr. 3
	Tue, 2020-06-09, 08:00–10:00	Boltzmannstr. 3
	Tue, 2020-06-16, 08:00–10:00	Boltzmannstr. 3
	Tue, 2020-06-23, 08:00–10:00	Boltzmannstr. 3
	Tue, 2020-06-30, 08:00–10:00	Boltzmannstr. 3
	Tue, 2020-07-07, 08:00–10:00	Boltzmannstr. 3
	Tue, 2020-07-14, 08:00–10:00	Boltzmannstr. 3
	Tue, 2020-07-21, 08:00–10:00	Boltzmannstr. 3

Di-10-1 iCalendar

	Date and Time	Room and Remark
	Tue, 2020-04-21, 10:00–12:00	Boltzmannstr. 3
	Tue, 2020-04-28, 10:00–12:00	Boltzmannstr. 3
	Tue, 2020-05-05, 10:00–12:00	Boltzmannstr. 3
	Tue, 2020-05-12, 10:00–12:00	Boltzmannstr. 3
	Tue, 2020-05-26, 10:00–12:00	Boltzmannstr. 3
	Tue, 2020-06-09, 10:00–12:00	Boltzmannstr. 3
	Tue, 2020-06-16, 10:00–12:00	Boltzmannstr. 3
	Tue, 2020-06-23, 10:00–12:00	Boltzmannstr. 3
	Tue, 2020-06-30, 10:00–12:00	Boltzmannstr. 3
	Tue, 2020-07-07, 10:00–12:00	Boltzmannstr. 3
	Tue, 2020-07-14, 10:00–12:00	Boltzmannstr. 3
	Tue, 2020-07-21, 10:00–12:00	Boltzmannstr. 3

Di-16-1-E iCalendar

	Date and Time	Room and Remark
	Tue, 2020-04-21, 16:00–18:00	Boltzmannstr. 3
	Tue, 2020-04-28, 16:00–18:00	Boltzmannstr. 3
	Tue, 2020-05-05, 16:00–18:00	Boltzmannstr. 3
	Tue, 2020-05-12, 16:00–18:00	Boltzmannstr. 3
	Tue, 2020-05-19, 16:00–18:00	Boltzmannstr. 3
	Tue, 2020-05-26, 16:00–18:00	Boltzmannstr. 3
	Tue, 2020-06-09, 16:00–18:00	Boltzmannstr. 3
	Tue, 2020-06-16, 16:00–18:00	Boltzmannstr. 3
	Tue, 2020-06-23, 16:00–18:00	Boltzmannstr. 3
	Tue, 2020-06-30, 16:00–18:00	Boltzmannstr. 3
	Tue, 2020-07-07, 16:00–18:00	Boltzmannstr. 3
	Tue, 2020-07-14, 16:00–18:00	Boltzmannstr. 3
	Tue, 2020-07-21, 16:00–18:00	Boltzmannstr. 3

Fr-10-1 iCalendar

	Date and Time	Room and Remark
	Fri, 2020-04-24, 10:00–12:00	Boltzmannstr. 3
	Fri, 2020-05-08, 10:00–12:00	Boltzmannstr. 3
	Fri, 2020-05-15, 10:00–12:00	Boltzmannstr. 3
	Fri, 2020-05-22, 10:00–12:00	Boltzmannstr. 3
	Fri, 2020-05-29, 10:00–12:00	Boltzmannstr. 3
	Fri, 2020-06-05, 10:00–12:00	Boltzmannstr. 3
	Fri, 2020-06-12, 10:00–12:00	Boltzmannstr. 3
	Fri, 2020-06-19, 10:00–12:00	Boltzmannstr. 3
	Fri, 2020-06-26, 10:00–12:00	Boltzmannstr. 3
	Fri, 2020-07-03, 10:00–12:00	Boltzmannstr. 3
	Fri, 2020-07-10, 10:00–12:00	Boltzmannstr. 3
	Fri, 2020-07-17, 10:00–12:00	Boltzmannstr. 3
	Fri, 2020-07-24, 10:00–12:00	Boltzmannstr. 3

Fr-12-1 iCalendar

	Date and Time	Room and Remark
	Fri, 2020-04-24, 12:00–14:00	Boltzmannstr. 3
	Fri, 2020-05-08, 12:00–14:00	Boltzmannstr. 3
	Fri, 2020-05-15, 12:00–14:00	Boltzmannstr. 3
	Fri, 2020-05-22, 12:00–14:00	Boltzmannstr. 3
	Fri, 2020-05-29, 12:00–14:00	Boltzmannstr. 3
	Fri, 2020-06-05, 12:00–14:00	Boltzmannstr. 3
	Fri, 2020-06-12, 12:00–14:00	Boltzmannstr. 3
	Fri, 2020-06-19, 12:00–14:00	Boltzmannstr. 3
	Fri, 2020-06-26, 12:00–14:00	Boltzmannstr. 3
	Fri, 2020-07-03, 12:00–14:00	Boltzmannstr. 3
	Fri, 2020-07-10, 12:00–14:00	Boltzmannstr. 3
	Fri, 2020-07-17, 12:00–14:00	Boltzmannstr. 3
	Fri, 2020-07-24, 12:00–14:00	Boltzmannstr. 3

Mo-12-1 iCalendar

	Date and Time	Room and Remark
	Mon, 2020-04-20, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-04-27, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-05-04, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-05-11, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-05-18, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-05-25, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-06-08, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-06-15, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-06-22, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-06-29, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-07-06, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-07-13, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-07-20, 12:00–14:00	Boltzmannstr. 3

Mo-12-2 iCalendar

	Date and Time	Room and Remark
	Mon, 2020-04-20, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-04-27, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-05-04, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-05-11, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-05-18, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-05-25, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-06-08, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-06-15, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-06-22, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-06-29, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-07-06, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-07-13, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-07-20, 12:00–14:00	Boltzmannstr. 3

Mo-12-3 iCalendar

	Date and Time	Room and Remark
	Mon, 2020-04-20, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-04-27, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-05-04, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-05-11, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-05-18, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-05-25, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-06-08, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-06-15, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-06-22, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-06-29, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-07-06, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-07-13, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-07-20, 12:00–14:00	Boltzmannstr. 3

Mo-12-4 iCalendar

	Date and Time	Room and Remark
	Mon, 2020-04-20, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-04-27, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-05-04, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-05-11, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-05-18, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-05-25, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-06-08, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-06-15, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-06-22, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-06-29, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-07-06, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-07-13, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-07-20, 12:00–14:00	Boltzmannstr. 3

Mo-12-5 iCalendar

	Date and Time	Room and Remark
!	Mon, 2020-04-20, 12:00–14:00	Boltzmannstr. 3
!	Mon, 2020-04-27, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-05-04, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-05-11, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-05-18, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-05-25, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-06-08, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-06-15, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-06-22, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-06-29, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-07-06, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-07-13, 12:00–14:00	Boltzmannstr. 3
	Mon, 2020-07-20, 12:00–14:00	Boltzmannstr. 3

Mo-16-1-E iCalendar

	Date and Time	Room and Remark
	Mon, 2020-04-20, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-04-27, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-05-04, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-05-11, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-05-18, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-05-25, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-06-08, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-06-15, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-06-22, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-06-29, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-07-06, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-07-13, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-07-20, 16:00–18:00	Boltzmannstr. 3

Mo-16-2 iCalendar

	Date and Time	Room and Remark
	Mon, 2020-04-20, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-04-27, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-05-04, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-05-11, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-05-18, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-05-25, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-06-08, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-06-15, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-06-22, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-06-29, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-07-06, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-07-13, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-07-20, 16:00–18:00	Boltzmannstr. 3

Mo-16-3 iCalendar

	Date and Time	Room and Remark
	Mon, 2020-04-20, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-04-27, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-05-04, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-05-11, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-05-18, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-05-25, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-06-08, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-06-15, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-06-22, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-06-29, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-07-06, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-07-13, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-07-20, 16:00–18:00	Boltzmannstr. 3

Mo-16-4-E iCalendar

	Date and Time	Room and Remark
	Mon, 2020-04-20, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-04-27, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-05-04, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-05-11, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-05-18, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-05-25, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-06-08, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-06-15, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-06-22, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-06-29, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-07-06, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-07-13, 16:00–18:00	Boltzmannstr. 3
	Mon, 2020-07-20, 16:00–18:00	Boltzmannstr. 3

Mo-18-1-E iCalendar

	Date and Time	Room and Remark
	Mon, 2020-04-27, 18:00–19:30	Boltzmannstr. 3
	Mon, 2020-05-04, 18:00–19:30	Boltzmannstr. 3
	Mon, 2020-05-11, 18:00–19:30	Boltzmannstr. 3
	Mon, 2020-05-18, 18:00–19:30	Boltzmannstr. 3
	Mon, 2020-05-25, 18:00–19:30	Boltzmannstr. 3
	Mon, 2020-06-08, 18:00–19:30	Boltzmannstr. 3
	Mon, 2020-06-15, 18:00–19:30	Boltzmannstr. 3
	Mon, 2020-06-22, 18:00–19:30	Boltzmannstr. 3
	Mon, 2020-06-29, 18:00–19:30	Boltzmannstr. 3
	Mon, 2020-07-06, 18:00–19:30	Boltzmannstr. 3
	Mon, 2020-07-13, 18:00–19:30	Boltzmannstr. 3
	Mon, 2020-07-20, 18:00–19:30	Boltzmannstr. 3

Assignment to Modules

IN0011: Einführung in die Theoretische Informatik / Introduction to Theory of Computation

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

Equivalent Courses (e. g. in other semesters)

Semester	Title	Lecturers	Dates
SS 2024	Introduction to Theory of Computation, Exercise Session (IN0011)	Czerner, P. Kappelmann, K. Krasotin, V.
SS 2023	Introduction to Theory of Computation, Exercise Session (IN0011)	Kappelmann, K. Roßkopf, S. Stevens, L.
SS 2022	Introduction to Theory of Computation, Exercise Session (IN0011)	Czerner, P. Helfrich, M.	dates in groups
SS 2021	Introduction to Theory of Computation, Exercise Session (IN0011), Wed, Thu	Helfrich, M.	dates in groups
SS 2021	Introduction to Theory of Computation, Exercise Session (IN0011), Mon, Tue, Fri	Helfrich, M.	dates in groups
SS 2020	Introduction to Theory of Computation, Exercise Session (IN0011), Wed, Thu	Kappelmann, K. Rädle, J. Stevens, L.	dates in groups
SS 2019	Introduction to Theory of Computation, Exercise Session (IN0011), Wed, Thu	Eberl, M. Rädle, J. Wimmer, S.	dates in groups
SS 2019	Introduction to Theory of Computation, Exercise Session (IN0011), Mon, Tue, Fri	Eberl, M. Rädle, J. Wimmer, S.	dates in groups
SS 2018	Introduction to Theory of Computation, Exercise Session (IN0011), Wed, Thu	Eisentraut, J. Weininger, M. Responsible/Coordination: Kretinsky, J.	dates in groups
SS 2018	Introduction to Theory of Computation, Exercise Session (IN0011), Mon, Tue, Fri	Eisentraut, J. Weininger, M. Responsible/Coordination: Kretinsky, J.	dates in groups
SS 2017	Introduction to Theory of Computation, Exercise Session (IN0011), Wed, Thu	Eisentraut, J. Luttenberger, M. Sickert - Zehnter, S.	dates in groups
SS 2017	Introduction to Theory of Computation, Exercise Session (IN0011), Mon, Tue, Fri	Eisentraut, J. Luttenberger, M. Sickert - Zehnter, S.	dates in groups
SS 2016	Introduction to Theory of Computation, Exercise Session (IN0011)		dates in groups
SS 2015	Introduction to Theory of Computation, Exercise Session (IN0011)		dates in groups
SS 2014	Introduction to Theory of Computation, Exercise Session (IN0011)		dates in groups
SS 2013	Introduction to Theory of Computation, Exercise Session (IN0011)

This website is no longer updated.

Introduction to Theory of Computation, Exercise Session (IN0011), Mon, Tue, Fri
Übungen zu Einführung in die Theoretische Informatik (IN0011), Mo, Di, Fr

Course 0000020871 in SS 2020

General Data

Assignment to Modules

Further Information

Equivalent Courses (e. g. in other semesters)

Introduction to Theory of Computation, Exercise Session (IN0011), Mon, Tue, FriÜbungen zu Einführung in die Theoretische Informatik (IN0011), Mo, Di, Fr

Course 0000020871 in SS 2020

General Data

Assignment to Modules

Further Information

Equivalent Courses (e. g. in other semesters)

Introduction to Theory of Computation, Exercise Session (IN0011), Mon, Tue, Fri
Übungen zu Einführung in die Theoretische Informatik (IN0011), Mo, Di, Fr