04-00-0236-vu Incompleteness of Formal Systems

Veranstaltungsdetails

Lehrende: Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger

Veranstaltungsart: Vorlesung und Übung

Orga-Einheit: FB04 Mathematik

Anzeige im Stundenplan: Inc Formal Systems

Fach:

Anrechenbar für:

Semesterwochenstunden: 3

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | -

Lehrinhalte:
Gödelsche Unvollständigkeitssätze, Satz von Löb, Beweisbarkeitslogik

Literatur:
Skript online erhältlich

Voraussetzungen:
empfohlen: Introduction to Mathematical Logic

Kleingruppe(n)
Die Veranstaltung ist in die folgenden Kleingruppen aufgeteilt:

  • Incompleteness of Formal Systems Übung

    Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger

    Mo, 14. Okt. 2019 [18:05]-Mo, 10. Feb. 2020 [18:50]

    Kleingruppe anzeigen
Literatur
Termine
Datum Von Bis Raum Lehrende
1 Mo, 14. Okt. 2019 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
2 Mo, 21. Okt. 2019 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
3 Mo, 28. Okt. 2019 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
4 Mo, 4. Nov. 2019 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
5 Mo, 11. Nov. 2019 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
6 Mo, 18. Nov. 2019 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
7 Mo, 25. Nov. 2019 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
8 Mo, 2. Dez. 2019 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
9 Mo, 9. Dez. 2019 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
10 Mo, 16. Dez. 2019 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
11 Mo, 13. Jan. 2020 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
12 Mo, 20. Jan. 2020 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
13 Mo, 27. Jan. 2020 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
14 Mo, 3. Feb. 2020 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
15 Mo, 10. Feb. 2020 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
Übersicht der Kurstermine
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
Lehrende
Prof. Dr. rer. nat. Thomas Streicher
M.Sc. Jonathan Weinberger