04-00-0263-vu Realizability (engl.)

Veranstaltungsdetails

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

Veranstaltungsart: Vorlesung und Übung

Orga-Einheit: FB04 Mathematik

Anzeige im Stundenplan: 04-00-0263-vu

Fach:

Anrechenbar für:

Semesterwochenstunden: 3

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | -

Lehrinhalte:
Realizability, Modified Realizability, Assemblies, Tripos, effektiver Topos

Literatur:
Skript online erhältlich

Voraussetzungen:
Einf. in die Logik

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

  • Realizability (engl.) Übung

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

    Mo, 16. Okt. 2017 [18:05]-Mo, 5. Feb. 2018 [18:45]

    Kleingruppe anzeigen
Literatur
Termine
Datum Von Bis Raum Lehrende
1 Mo, 16. Okt. 2017 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
2 Mo, 23. Okt. 2017 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
3 Mo, 30. Okt. 2017 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
4 Mo, 6. Nov. 2017 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
5 Mo, 13. Nov. 2017 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
6 Mo, 20. Nov. 2017 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
7 Mo, 27. Nov. 2017 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
8 Mo, 4. Dez. 2017 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
9 Mo, 11. Dez. 2017 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
10 Mo, 18. Dez. 2017 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
11 Mo, 8. Jan. 2018 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
12 Mo, 15. Jan. 2018 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
13 Mo, 22. Jan. 2018 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
14 Mo, 29. Jan. 2018 16:15 17:55 S215/51 Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
15 Mo, 5. Feb. 2018 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