04-00-0148-vu Introduction to Mathematical Logic

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: - | 70

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:
  • 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 Do, 20. Okt. 2016 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
3 Di, 25. Okt. 2016 11:40 13:20 S103/221 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
4 Do, 27. Okt. 2016 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
5 Di, 1. Nov. 2016 11:40 13:20 S103/221 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
6 Do, 3. Nov. 2016 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
7 Di, 8. Nov. 2016 11:40 13:20 S103/221 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
8 Do, 10. Nov. 2016 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
9 Di, 15. Nov. 2016 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
10 Do, 17. Nov. 2016 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
11 Di, 22. Nov. 2016 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
12 Do, 24. Nov. 2016 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
13 Di, 29. Nov. 2016 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
14 Do, 1. Dez. 2016 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
15 Di, 6. Dez. 2016 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
16 Do, 8. Dez. 2016 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
17 Di, 13. Dez. 2016 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
18 Do, 15. Dez. 2016 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
19 Di, 20. Dez. 2016 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
20 Do, 22. Dez. 2016 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
21 Di, 10. Jan. 2017 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
22 Do, 12. Jan. 2017 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
23 Di, 17. Jan. 2017 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
24 Do, 19. Jan. 2017 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
25 Di, 24. Jan. 2017 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
26 Do, 26. Jan. 2017 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
27 Di, 31. Jan. 2017 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
28 Do, 2. Feb. 2017 08:00 09:40 S207/167 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
29 Di, 7. Feb. 2017 11:40 13:20 S215/51 Prof. Dr. rer. nat. Martin Otto; M.Sc. Julian Bitterlich; M.Sc. Jonathan Weinberger
30 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
Lehrende
Prof. Dr. rer. nat. Martin Otto
M.Sc. Jonathan Weinberger
M.Sc. Julian Bitterlich