Lehrveranstaltungen Wintersemester 2020/2021
(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.
Hinweis: Die Informationen auf dieser Seite sind vorläufig und können sich jederzeit ändern!
Ort "HS13": Oskar-Morgenstern-Platz 1, 1090 Wien, 2. Stock, Hörsaal 13
Bachelorstudium
Nummer | Typ | WSt (ECTS) | Titel | Modul | Vortragende(r) | Zeit (pünktl.) | Ort | Sprache |
---|---|---|---|---|---|---|---|---|
250061 | VO | 3,0 (5,0) | Grundzüge der mathematischen Logik | WLO | Jana Marikova | Fr 11:45-14:00 Beginn: 2020‑10‑02 | HS13 | Deutsch |
250067 | UE | 1,0 (2,0) | Übungen zu "Grundzüge der mathematischen Logik", Gruppe 1 | WLO | Jana Marikova | Mi 8:00-8:45 Beginn: 2020‑10‑07 | online | Deutsch |
250067 | UE | 1,0 (2,0) | Übungen zu "Grundzüge der mathematischen Logik", Gruppe 2 | WLO | Jana Marikova | Mi 8:45-9:30 Beginn: 2020‑10‑07 | online | Deutsch |
Masterstudium
Nummer | Typ | WSt (ECTS) | Titel | Modul | Vortragende(r) | Zeit (pünktl.) | Ort | Sprache |
---|---|---|---|---|---|---|---|---|
250095 | VO | 4,0 (6,0) | Introduction to mathematical logic | MLOL | Vera Fischer | Di, Do 9:00-10:30 Beginn: 2020‑10‑01 | online | Englisch |
250098 | PS | 2,0 (4,0) | Introductory seminar on mathematical logic | MLOL | Diana Carolina Montoya Amaya | Mo 9:00-10:30 Beginn: 2020‑10‑05 | online | Englisch |
250099 | SE | 2,0 (4,0) | Seminar in mathematical logic | MLOS | Benjamin Miller | Mo, Mi 14:00-15:00 Beginn: 2020‑10‑05 | online | Englisch |
250121 | VO | 2,0 (4,0) | Advanced topics in mathematical logic | MLOV | Benjamin Miller | Di, Do 14:00-15:00 Beginn: 2020‑10‑01 | online | Englisch |
510002 | SE | 2,0 (4,0) | Research Seminar in Mathematical Logic | MLOS | Matthias Aschenbrenner | Do 15:00-17:00 Beginn: 2020‑10‑01 | online | Englisch |
Module
MLOI - Theoretical Computer Science
- 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
WLO - Wahlmodul: „Mathematische Logik“
- Teil des Bachelorstudienplans 2014, 1.3. Wahlmodulgruppe "Mathematisches Wahlfach"