10-201-2108-1.VL01 Logik

Course offering details

Instructors: Prof. Dr. Carsten Lutz

Event type: Lecture

Org-unit: 10-Computer Science

Displayed in timetable as:

Subject:

Crediting for:

Hours per week: 2

Language of instruction: German

Registration periods
Phase Block Start End registration End cancellation Deadline for audit
Einschreibung Vorlesungszeit 01.04.2024 00:00 02.04.2024 00:00 08.06.2024 23:59
Appointments
Date From To Room Instructors
1 Th, 4. Apr. 2024 13:15 14:45 Hörsaal 9 H2.030 Prof. Dr. Carsten Lutz
2 Th, 11. Apr. 2024 13:15 14:45 Hörsaal 9 H2.030 Prof. Dr. Carsten Lutz
3 Th, 18. Apr. 2024 13:15 14:45 Hörsaal 9 H2.030 Prof. Dr. Carsten Lutz
4 Th, 25. Apr. 2024 13:15 14:45 Hörsaal 9 H2.030 Prof. Dr. Carsten Lutz
5 Th, 2. May 2024 13:15 14:45 Hörsaal 9 H2.030 Prof. Dr. Carsten Lutz
6 Th, 16. May 2024 13:15 14:45 Hörsaal 9 H2.030 Prof. Dr. Carsten Lutz
7 Th, 23. May 2024 13:15 14:45 Hörsaal 9 H2.030 Prof. Dr. Carsten Lutz
8 Th, 30. May 2024 13:15 14:45 Hörsaal 9 H2.030 Prof. Dr. Carsten Lutz
9 Th, 6. Jun. 2024 13:15 14:45 Hörsaal 9 H2.030 Prof. Dr. Carsten Lutz
10 Th, 13. Jun. 2024 13:15 14:45 Hörsaal 9 H2.030 Prof. Dr. Carsten Lutz
11 Th, 20. Jun. 2024 13:15 14:45 Hörsaal 9 H2.030 N.N.
12 Th, 27. Jun. 2024 13:15 14:45 Hörsaal 9 H2.030 Prof. Dr. Carsten Lutz
13 Th, 4. Jul. 2024 13:15 14:45 Hörsaal 9 H2.030 Prof. Dr. Carsten Lutz
Contained in modules
Module
10-201-2108-1 Logic (SoSe 2024)
Class session overview
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  •  
  •  
Instructors
Prof. Dr. Carsten Lutz