04-00-0148-vu Introduction to Mathematical Logic

Kleingruppe: Introduction to Mathematical Logic Übung 2 

Veranstaltungsdetails

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

Veranstaltungsart: Vorlesung und Übung

Orga-Einheit: FB04 Mathematik

Anzeige im Stundenplan: Einf. Logik

Fach:

Anrechenbar für:

Semesterwochenstunden: 6

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | 35

Lehrinhalte:
Syntax und Semantik der Logik erster Stufe; formale Beweise in einem Kalkül;
Vollständigkeit; Kompaktheitssatz; logisch-mengentheoretische Grundlagen
der Mathematik; elementare Rekursionstheorie; Unentscheidbarkeit
und Unvollständigkeit.

Literatur:
exemplarisch, neben vielen anderen Lehrbüchern:
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

Voraussetzungen:
solide allgemeine mathematische Vorbildung

Online-Angebote:
moodle

Kleingruppe(n)
Die Veranstaltung ist in die folgenden Kleingruppen aufgeteilt: Plenumsveranstaltung anzeigen
  • Introduction to Mathematical Logic Übung 1

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

    Mo, 17. Okt. 2016 [15:20]-Mo, 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

    Mi, 19. Okt. 2016 [15:20]-Mi, 8. Feb. 2017 [17:00]

Literatur
Termine
Datum Von Bis Raum Lehrende
1 Di, 18. Okt. 2016* 11:40 13:20 S103/221 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
2 Mi, 19. Okt. 2016 15:20 17:00 S103/11 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
3 Do, 20. Okt. 2016* 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
4 Di, 25. Okt. 2016* 11:40 13:20 S103/221 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
5 Mi, 26. Okt. 2016 15:20 17:00 S103/11 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
6 Do, 27. Okt. 2016* 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
7 Di, 1. Nov. 2016* 11:40 13:20 S103/221 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
8 Mi, 2. Nov. 2016 15:20 17:00 S103/11 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
9 Do, 3. Nov. 2016* 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
10 Di, 8. Nov. 2016* 11:40 13:20 S103/221 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
11 Mi, 9. Nov. 2016 15:20 17:00 S103/11 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
12 Do, 10. Nov. 2016* 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
13 Di, 15. Nov. 2016* 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
14 Mi, 16. Nov. 2016 15:20 17:00 S103/11 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
15 Do, 17. Nov. 2016* 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
16 Di, 22. Nov. 2016* 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
17 Mi, 23. Nov. 2016 15:20 17:00 S103/11 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
18 Do, 24. Nov. 2016* 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
19 Di, 29. Nov. 2016* 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
20 Mi, 30. Nov. 2016 15:20 17:00 S103/11 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
21 Do, 1. Dez. 2016* 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
22 Di, 6. Dez. 2016* 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
23 Mi, 7. Dez. 2016 15:20 17:00 S103/11 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
24 Do, 8. Dez. 2016* 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
25 Di, 13. Dez. 2016* 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
26 Mi, 14. Dez. 2016 15:20 17:00 S103/11 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
27 Do, 15. Dez. 2016* 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
28 Di, 20. Dez. 2016* 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
29 Mi, 21. Dez. 2016 15:20 17:00 S103/11 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
30 Do, 22. Dez. 2016* 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
31 Di, 10. Jan. 2017* 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
32 Mi, 11. Jan. 2017 15:20 17:00 S103/11 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
33 Do, 12. Jan. 2017* 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
34 Di, 17. Jan. 2017* 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
35 Mi, 18. Jan. 2017 15:20 17:00 S103/11 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
36 Do, 19. Jan. 2017* 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
37 Di, 24. Jan. 2017* 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
38 Mi, 25. Jan. 2017 15:20 17:00 S103/11 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
39 Do, 26. Jan. 2017* 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
40 Di, 31. Jan. 2017* 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
41 Mi, 1. Feb. 2017 15:20 17:00 S103/11 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
42 Do, 2. Feb. 2017* 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
43 Di, 7. Feb. 2017* 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
44 Mi, 8. Feb. 2017 15:20 17:00 S103/11 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
45 Do, 9. Feb. 2017* 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
Übersicht der Kurstermine
  • 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
  • 31
  • 32
  • 33
  • 34
  • 35
  • 36
  • 37
  • 38
  • 39
  • 40
  • 41
  • 42
  • 43
  • 44
  • 45
Lehrende
Prof. Dr. rer. nat. Martin Otto
M.Sc. Jonathan Weinberger
M.Sc. Julian Bitterlich