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
Nummer | Typ | WSt (ECTS) | Titel | Modul | Vortragende(r) | Zeit (pünktl.) | Ort | Sprache |
---|---|---|---|---|---|---|---|---|
250074 | VO | 4,0 (6,0) | Introduction to mathematical logic | MLOL | Sandra Müller | Mi 16:30-18:00, Fr 15:00-16:30 Beginn: 2017‑10‑04 | KGRC | Englisch |
250075 | PS | 2,0 (3,0) | Introductory seminar on mathematical logic | MLOL | Marlene Koelbing | Fr 10:45-12:15pm Beginn: 2017‑10‑06 | KGRC | Englisch |
250122 | VO | 2,0 (7,0) | Reading course in set theory | MLOV | Vera Fischer | Fr 9:00-10:30 Beginn: 2017‑10‑06 | KGRC | Englisch |
250073 | VO | 3,0 (5,0) | Introduction to theoretical computer science | MLOI | Vera Fischer | Di 15:15-17:30 Beginn: 2017‑10‑03* | KGRC | Englisch |
250099 | SE | 2,0 (4,0) | Seminar (Mathematical logic) | MLOS | Sy-David Friedman | Mo, Mi 14:00–15:00 Beginn: 2017‑10‑02** | KGRC | Englisch |
250098 | SE | 2,0 (4,0) | Research seminar in mathematical logic | MLOS | Sy-David Friedman | Do 16:00–18:00 Beginn: 2017‑10‑05 | KGRC | Englisch |
250121 | VO | 2,0 (4,0) | Selected topics in set theory | MLOV | Ben Miller | Di, Do 14:00–15:00 Beginn: 2017‑10‑03 | KGRC | Englisch |
* 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
- Teil des Masterstudiums, 3.6. Mathematical logic and theoretical computer science -> Core modules logic
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
WLO - Wahlmodul: „Mathematische Logik“
- Teil des Bachelorstudienplans 2014, 1.3. Wahlmodulgruppe "Mathematisches Wahlfach"
- Teil des Bachelorstudienplans 2011, Alternative Pflichtmodulgruppe "Mathematische Berufsvorbereitung"