04-00-0148-vu Introduction to Mathematical Logic

Course offering details

Instructors: Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger

Event type: Lecture & Practice

Org-unit: Dept. 04 - Mathematics

Displayed in timetable as: Einf. Logik

Subject:

Crediting for:

Hours per week: 6

Language of instruction: Englisch

Min. | Max. participants: - | 70

Lehrinhalte:
Syntax and semantics of first order logic; formal proofs in a calculus; completeness;
compactness theorem; the logical and set-theoretical foundations
of mathematics; elementary recursion theory; undecidability and incompleteness.

Literatur:
among many other textbooks, e.g., 
Ebbinghaus, Flum, Thomas: Introduction to Mathematical Logic;
Shoenfield: Mathematical Logic;
Cori, Lascar: Mathematical Logic;
Poizat: A Course in Model Theory, an Introduction to Contemporary
Mathematical Logic

Small group(s)
This course is divided into the following small groups:
  • Introduction to Mathematical Logic

    Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger

    Mon, 17. Oct. 2016 [15:20]-Mon, 6. Feb. 2017 [17:00]

  • Introduction to Mathematical Logic Übung 2

    Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger

    Wed, 19. Oct. 2016 [15:20]-Wed, 8. Feb. 2017 [17:00]

Literature
Appointments
Date From To Room Instructors
1 Tue, 18. Oct. 2016 11:40 13:20 S103/221 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
2 Th, 20. Oct. 2016 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
3 Tue, 25. Oct. 2016 11:40 13:20 S103/221 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
4 Th, 27. Oct. 2016 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
5 Tue, 1. Nov. 2016 11:40 13:20 S103/221 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
6 Th, 3. Nov. 2016 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
7 Tue, 8. Nov. 2016 11:40 13:20 S103/221 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
8 Th, 10. Nov. 2016 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
9 Tue, 15. Nov. 2016 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
10 Th, 17. Nov. 2016 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
11 Tue, 22. Nov. 2016 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
12 Th, 24. Nov. 2016 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
13 Tue, 29. Nov. 2016 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
14 Th, 1. Dec. 2016 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
15 Tue, 6. Dec. 2016 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
16 Th, 8. Dec. 2016 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
17 Tue, 13. Dec. 2016 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
18 Th, 15. Dec. 2016 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
19 Tue, 20. Dec. 2016 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
20 Th, 22. Dec. 2016 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
21 Tue, 10. Jan. 2017 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
22 Th, 12. Jan. 2017 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
23 Tue, 17. Jan. 2017 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
24 Th, 19. Jan. 2017 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
25 Tue, 24. Jan. 2017 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
26 Th, 26. Jan. 2017 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
27 Tue, 31. Jan. 2017 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
28 Th, 2. Feb. 2017 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
29 Tue, 7. Feb. 2017 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
30 Th, 9. Feb. 2017 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
Class session overview
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • 20
  • 21
  • 22
  • 23
  • 24
  • 25
  • 26
  • 27
  • 28
  • 29
  • 30
Instructors
Prof. Dr. rer. nat. Martin Otto
M.Sc. Jonathan Weinberger
M.Sc. Julian Bitterlich