Lehrveranstaltungen Wintersemester 2017/2018

(This page is also available in English.)

Hinweis: Um eine Note zu erhalten, ist Ihre Eintragung mit Name, Matrikelnummer, E-Mail und Unterschrift in die Teilnehmerliste in den ersten zwei Wochen des Semesters erforderlich!

Hinweis: Alle Lehrveranstaltungen am KGRC werden auf Englisch abgehalten, oder können zumindest bei Bedarf auf Englisch abgehalten werden.

Ort "KGRC": Währinger Straße 25, 2. Stock, Seminarraum 101

Masterstudium

NummerTypWSt (ECTS)TitelModulVortra­gende(r)Zeit (pünktl.)OrtSprache
250074VO4,0 (6,0)Introduction to mathematical logicMLOLSandra UhlenbrockMi 16:30-18:00, Fr 15:00-16:30
Beginn: 2017‑10‑04
KGRCEnglisch
250075PS2,0 (3,0)Introductory seminar on mathematical logicMLOLMarlene KoelbingFr 10:45-12:15pm
Beginn: 2017‑10‑06
KGRCEnglisch
250122VO2,0 (7,0)Reading course in set theoryMLOVVera FischerFr 9:00-10:30
Beginn: 2017‑10‑06
KGRCEnglisch
250073VO3,0 (5,0)Introduction to theoretical computer scienceMLOIVera FischerDi 15:15-17:30
Beginn: 2017‑10‑03*
KGRCEnglisch
250099SE2,0 (4,0)Seminar (Mathematical logic)MLOSSy-David FriedmanMo, Mi 14:00–15:00
Beginn: 2017‑10‑02**
KGRCEnglisch
250098SE2,0 (4,0)Research seminar in mathematical logicMLOSSy-David FriedmanDo 16:00–18:00
Beginn: 2017‑10‑05
KGRCEnglisch
250121VO2,0 (4,0)Selected topics in set theoryMLOVBen MillerDi, Do 14:00–15:00
Beginn: 2017‑10‑03
KGRCEnglisch


* Die Einheit am 10. Oktober entfällt. Die nächste Einheit findet am 17. Oktober statt.

** Die Einheiten am 9. Oktober und am 11. Oktober entfallen. Die nächste Einheit findet am 16. Oktober statt.


Module

MLOI - Theoretical Computer Science

MLOM - Axiomatische Mengenlehre

MLOS - Seminare: Mathematische Logik und theoretische Informatik

MLOV - Vertiefungslehrveranstaltungen für den Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

WLO - Wahlmodul: „Mathematische Logik“

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2017-10-24, 15:17.