Achtung! Das Lehrangebot ist noch nicht vollständig und wird bis Semesterbeginn laufend ergänzt.
250098 SE Research seminar in mathematical logic (2018W)
Prüfungsimmanente Lehrveranstaltung
Labels
Details
max. 25 Teilnehmer*innen
Sprache: Englisch
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
- Donnerstag 04.10. 16:00 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
- Donnerstag 11.10. 16:00 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
- Donnerstag 18.10. 16:00 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
- Donnerstag 25.10. 16:00 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
- Donnerstag 08.11. 16:00 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
- Donnerstag 15.11. 16:00 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
- Donnerstag 22.11. 16:00 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
- Donnerstag 29.11. 16:00 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
- Donnerstag 06.12. 16:00 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
- Donnerstag 13.12. 16:00 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
- Donnerstag 10.01. 16:00 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
- Donnerstag 17.01. 16:00 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
- Donnerstag 24.01. 16:00 - 18:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
- Donnerstag 31.01. 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