Achtung! Das Lehrangebot ist noch nicht vollständig und wird bis Semesterbeginn laufend ergänzt.
250102 SE Research seminar in mathematical logic (2018S)
Prüfungsimmanente Lehrveranstaltung
Labels
Details
Sprache: Englisch
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
- Donnerstag 01.03. 16:00 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
- Donnerstag 08.03. 16:00 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
- Donnerstag 15.03. 16:00 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
- Donnerstag 22.03. 16:00 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
- Donnerstag 12.04. 16:00 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
- Donnerstag 19.04. 16:00 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
- Donnerstag 26.04. 16:00 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
- Donnerstag 03.05. 16:00 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
- Donnerstag 17.05. 16:00 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
- Donnerstag 24.05. 16:00 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
- Donnerstag 07.06. 16:00 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
- Donnerstag 14.06. 16:00 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
- Donnerstag 21.06. 16:00 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
- Donnerstag 28.06. 16:00 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Information
Ziele, Inhalte und Methode der Lehrveranstaltung
This is an advanced seminar in mathematical logic for doctoral and postdoctoral researchers.
Art der Leistungskontrolle und erlaubte Hilfsmittel
Mindestanforderungen und Beurteilungsmaßstab
Prüfungsstoff
Literatur
Zuordnung im Vorlesungsverzeichnis
MLOS
Letzte Änderung: Fr 18.11.2022 00:23