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

Veranstaltungsdetails

Lehrende: Prof. Dr. rer. nat. Thomas Streicher

Veranstaltungsart: Vorlesung und Übung

Orga-Einheit: FB04 Mathematik

Anzeige im Stundenplan: 04-00-0263-vu

Fach:

Anrechenbar für:

Semesterwochenstunden: 3

Credits: 4,5

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | -

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

Literatur:
Skript online erhältlich

Voraussetzungen:
Einf. in die Logik

Literatur
Termine
Datum Von Bis Raum Lehrende
1 Do, 14. Apr. 2011 16:15 18:50 S215/409K Prof. Dr. rer. nat. Thomas Streicher
2 Do, 21. Apr. 2011 16:15 18:50 S215/409K Prof. Dr. rer. nat. Thomas Streicher
3 Do, 28. Apr. 2011 16:15 18:50 S215/409K Prof. Dr. rer. nat. Thomas Streicher
4 Do, 5. Mai 2011 16:15 18:50 S215/409K Prof. Dr. rer. nat. Thomas Streicher
5 Do, 12. Mai 2011 16:15 18:50 S215/409K Prof. Dr. rer. nat. Thomas Streicher
6 Do, 19. Mai 2011 16:15 18:50 S215/409K Prof. Dr. rer. nat. Thomas Streicher
7 Do, 26. Mai 2011 16:15 18:50 S215/409K Prof. Dr. rer. nat. Thomas Streicher
8 Do, 9. Jun. 2011 16:15 18:50 S215/409K Prof. Dr. rer. nat. Thomas Streicher
9 Do, 16. Jun. 2011 16:15 18:50 S215/409K Prof. Dr. rer. nat. Thomas Streicher
10 Do, 30. Jun. 2011 16:15 18:50 S215/409K Prof. Dr. rer. nat. Thomas Streicher
11 Do, 7. Jul. 2011 16:15 18:50 S215/409K Prof. Dr. rer. nat. Thomas Streicher
12 Do, 14. Jul. 2011 16:15 18:50 S215/409K Prof. Dr. rer. nat. Thomas Streicher
Übersicht der Kurstermine
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  •  
  •  
  •  
Lehrende
Prof. Dr. rer. nat. Thomas Streicher