Lehrveranstaltungen Sommersemester 2019
(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.
Masterstudium
Nummer | Typ | WSt (ECTS) | Titel | Modul | Vortragende(r) | Zeit (pünktl.) | Ort | Sprache |
---|---|---|---|---|---|---|---|---|
250100 | VO | 3,0 (5,0) | Axiomatic set theory 1 | MLOM | Vera Fischer | Fr 11:30-14:30 Beginn: 2019‑03‑01 | Währinger Straße | Englisch |
250102 | SE | 2,0 (4,0) | Research seminar in mathematical logic | MLOS | Benjamin Miller | Do 16:00-18:00 Beginn: 2019‑03‑07 | Währinger Straße | Englisch |
250103 | SE | 2,0 (4,0) | Seminar (Mathematical logic) | MLOS | Benjamin Miller | Mo 14:00-15:00, Do 14:00-15:00 Beginn: 2019‑03‑04 | Währinger Straße | Englisch |
250104 | VO | 2,0 (4,0) | Advanced topics in mathematical logic | MLOV | Daniel Soukup | Di 13:00-14:00, Mi 13:00-14:00 Beginn: 2019‑03‑05 | Währinger Straße | Englisch |
250168 | VO | 4,0 (6,0) | Introduction to mathematical logic | MLOL | Sandra Müller | Do 12:15-13:45, Fr 9:30-11:00 Beginn: 2019‑03‑01 | Währinger Straße | Englisch |
250170 | PS | 2,0 (3,0) | Introductory seminar on mathematical logic | MLOL | Monroe Eskew | Di 16:00-17:30 Beginn: 2019‑03‑05 | Währinger Straße | Englisch |
250179 | PS | 2,0 (3,0) | Introductory seminar on Axiomatic set theory 1 | MLOM | Vera Fischer | Do 9:45-11:45 Beginn: 2019‑03‑07 | Währinger Straße | Englisch |
Module
MLOM - Axiomatische Mengenlehre
- Teil des Masterstudiums, 3.6. Mathematical logic and theoretical computer science -> Core modules logic
MLOS - Seminare: Mathematische Logik und theoretische Informatik
- Teil des Masterstudiums, 3.6. Mathematical logic and theoretical computer science -> Core modules logic
MLOV - Vertiefungslehrveranstaltungen für den Studienschwerpunkt "Mathematische Logik und theoretische Informatik"
- Teil des Masterstudiums, 3.6. Mathematical logic and theoretical computer science -> Core modules logic