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.
Hinweis: Die Informationen auf dieser Seite sind vorläufig und können sich jederzeit ändern!
Ort "KGRC": Währinger Straße 25, 2. Stock, Seminarraum 101
Nummer | Typ | WSt (ECTS) | Titel | Modul | Vortragende(r) | Zeit (pünktl.) | Ort | Sprache |
---|---|---|---|---|---|---|---|---|
VO | 4,0 (6,0) | Einführung in die Mathematische Logik | MLOL | Vera Fischer | siehe Vorbesprechung | KGRC | Englisch | |
PS | 2,0 (3,0) | Proseminar zu "Einführung in die Mathematische Logik" | MLOL | Diana Carolina Montoya Amaya | siehe Vorbesprechung | KGRC | Englisch | |
VO | 2,0 (7,0) | Reading Course Mengenlehre | MLOV | Lyubomyr Zdomskyy | siehe Vorbesprechung | KGRC | Englisch | |
VO | 3,0 (5,0) | Einführung in die theoretische Informatik | MLOV | Moritz Müller | siehe Vorbesprechung | KGRC | Englisch | |
SE | 2,0 (4,0) | Seminar (Mathematische Logik) | MLOS | Sy-David Friedman | Mo, Mi 14:00–15:00 Beginn: 2016‑10‑03 | KGRC | Englisch | |
SE | 2,0 (4,0) | Forschungsseminar aus der Mathematischen Logik | MLOS | Sy-David Friedman | Do 16:00–18:00 Beginn: 2016‑10‑06 | KGRC | Englisch | |
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 |
Vorbesprechung
Tage und Zeiten für VO Einführung in die Mathematische Logik, PS Proseminar zu "Einführung in die Mathematische Logik", VO Reading Course Mengenlehre und VO Einführung in die theoretische Informatik werden in einer Vorbesprechung zu Semesterbeginn festgelegt am 2016-10-03, 12:00 im Seminarraum des KGRC (Zimmer 101).
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"