04-00-0148-vu Introduction to Mathematical Logic

Course offering details

Instructors: Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos

Event type: Lecture & Exercise

Org-unit: Dept. 04 - Mathematics

Displayed in timetable as: Intr. Math. Logic

Subject:

Crediting for:

Hours per week: 6

Language of instruction: Englisch

Min. | Max. participants: - | -

Course Contents:
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.

Literature:
examples of useful literature:
Ebbinghaus, Flum, Thomas: Einführung in die mathematische Logik;
Shoenfield: Mathematical Logic;
Cori, Lascar: Mathematical Logic;
Poizat: A Course in Model Theory, an Introduction to Contemporary Mathematical Logic;
van Dalen: Logic and Structure;
lecture notes where provided

Preconditions:
recommended: solid mathematical foundations in Analysis and Linear Algebra

Small group(s)
This course is divided into the following small groups:

  • Introduction to Mathematical Logic "Ich warte auf eine freie Übungsgruppe."

    Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos

    Show small group

  • Introduction to Mathematical Logic Übung 1

    Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos

    Mon, 14. Oct. 2019 [15:20]-Mon, 10. Feb. 2020 [17:00]

    Show small group

  • Introduction to Mathematical Logic Übung 2

    Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos

    Th, 17. Oct. 2019 [09:50]-Th, 13. Feb. 2020 [11:30]

    Show small group
Literature
Appointments
Date From To Room Instructors
1 Mon, 14. Oct. 2019 09:50 11:30 S103/175 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
2 Tue, 15. Oct. 2019 11:40 13:20 S215/51 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
3 Mon, 21. Oct. 2019 09:50 11:30 S103/175 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
4 Tue, 22. Oct. 2019 11:40 13:20 S215/51 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
5 Mon, 28. Oct. 2019 09:50 11:30 S103/175 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
6 Tue, 29. Oct. 2019 11:40 13:20 S215/51 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
7 Mon, 4. Nov. 2019 09:50 11:30 S103/175 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
8 Tue, 5. Nov. 2019 11:40 13:20 S215/51 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
9 Mon, 11. Nov. 2019 09:50 11:30 S103/175 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
10 Tue, 12. Nov. 2019 11:40 13:20 S215/51 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
11 Mon, 18. Nov. 2019 09:50 11:30 S103/175 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
12 Tue, 19. Nov. 2019 11:40 13:20 S215/51 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
13 Mon, 25. Nov. 2019 09:50 11:30 S103/175 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
14 Tue, 26. Nov. 2019 11:40 13:20 S215/51 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
15 Mon, 2. Dec. 2019 09:50 11:30 S103/175 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
16 Tue, 3. Dec. 2019 11:40 13:20 S215/51 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
17 Mon, 9. Dec. 2019 09:50 11:30 S103/175 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
18 Tue, 10. Dec. 2019 11:40 13:20 S215/51 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
19 Mon, 16. Dec. 2019 09:50 11:30 S103/175 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
20 Tue, 17. Dec. 2019 11:40 13:20 S215/51 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
21 Mon, 13. Jan. 2020 09:50 11:30 S103/175 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
22 Tue, 14. Jan. 2020 11:40 13:20 S215/51 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
23 Mon, 20. Jan. 2020 09:50 11:30 S103/175 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
24 Tue, 21. Jan. 2020 11:40 13:20 S215/51 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
25 Mon, 27. Jan. 2020 09:50 11:30 S103/175 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
26 Tue, 28. Jan. 2020 11:40 13:20 S215/51 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
27 Mon, 3. Feb. 2020 09:50 11:30 S103/175 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
28 Tue, 4. Feb. 2020 11:40 13:20 S215/51 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
29 Mon, 10. Feb. 2020 09:50 11:30 S103/175 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
30 Tue, 11. Feb. 2020 11:40 13:20 S215/51 Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; Andrei-Valentin Sipos
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
Dr. rer. nat. Kord Eickmeyer
Dr. of Phil. Ulrik Torben Buchholtz
Andrei-Valentin Sipos