Lehrveranstaltungen Wintersemester 2016/2017
(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
Nummer | Typ | WSt (ECTS) | Titel | Modul | Vortragende(r) | Zeit (pünktl.) | Ort | Sprache |
---|---|---|---|---|---|---|---|---|
250074 | VO | 4,0 (6,0) | Einführung in die Mathematische Logik | MLOL | Vera Fischer | Di 9:00-10:30, Fr 9:00-10:30* Beginn: 2016‑10‑04 | KGRC | Englisch |
250075 | PS | 2,0 (3,0) | Proseminar zu "Einführung in die Mathematische Logik" | MLOL | Diana Carolina Montoya Amaya | Mi 10:00-11:30* Beginn: 2016‑10‑05 | KGRC | Englisch |
250122 | VO | 2,0 (7,0) | Reading Course in mathematischer Logik | MLOV | Lyubomyr Zdomskyy | Mo 12:20-13:50 Beginn: 2016‑10‑10 | KGRC | Englisch |
250073 | VO | 3,0 (5,0) | Einführung in die theoretische Informatik | MLOI | Moritz Müller | Di 12:20-13:50, Mi 16:15-17:45 Beginn: 2016‑10‑04 | KGRC | Englisch |
250130 | VO | 2,0 (3,0) | Topics in computability | MLOV | Moritz Müller | Di 15:30-5:30pm Beginn: 2016‑10‑04 | KGRC | Englisch |
250099 | SE | 2,0 (4,0) | Seminar (Mathematische Logik) | MLOS | Sy-David Friedman | Mo, Mi 14:00–15:00 Beginn: 2016‑10‑03 | KGRC | Englisch |
250098 | SE | 2,0 (4,0) | Forschungsseminar aus der Mathematischen Logik | MLOS | Sy-David Friedman | Do 16:00–18:00 Beginn: 2016‑10‑03* | KGRC | Englisch |
250121 | VO | 2,0 (4,0) | Ausgewählte Kapitel aus der Mengenlehre | MLOV | Ben Miller | Di, Do 14:00–15:00 Beginn: 2016‑10‑04 | KGRC | Englisch |
Module
MLOL - Mathematische Logik
MLOM - Axiomatische Mengenlehre
MLOI - Theoretische Informatik
MLOS - Seminare: Mathematische Logik und theoretische Informatik
MLOV - Vertiefungslehrveranstaltungen für den Studienschwerpunkt "Mathematische Logik und theoretische Informatik"