Courses Summer Semester 2016

(Diese Seite gibt es auch auf Deutsch.)

Note: To be graded, your registration including name, enrollment number, e-mail address, and signature is required in the first two weeks of the semester!

Note: All lectures at the KGRC are given in English, or at least can be given in English if requested.

Place "KGRC": Währinger Straße 25, top floor, lecture room 101

Place "HS11": Oskar-Morgenstern-Platz 1, 1090 Wien, 2nd floor, lecture hall 11

Place "HS2": Oskar-Morgenstern-Platz 1, 1090 Wien, ground floor, lecture hall 2

NumberTypeHours (ECTS)TitleModuleLecturerTimePlaceLanguage
250085VO2.0 (3.0)Basic concepts of mathematical logicMLOMoritz MüllerMon 9:45am–11:15am
begins 2016‑03‑07
250086UE1.0 (2.0)Tutorials "Basic concepts of mathematical logic"MLOVera FischerMon 11:30am–12:15pm
begins 2016‑03‑07
250087VO3.0 (5.0)Axiomatic set theory 1MLOMVera FischerMon 8:30am–11:00am
begins 2016‑03‑07
250088PS2.0 (3.0)Introductory seminar: "Axiomatic set theory 1"MLOMMarlene KoelbingFri 9:00am–10:30am
begins 2016‑03‑04*
250089PJ+SE2.0 (4.0)Project seminar (mathematical logic)MLOSSy-David FriedmanMon, Wed 2:00pm–3:00pm
begins 2016‑03‑02
250090VO2.0 (4.0)Selected topics in mathematical logicMLOVSy-David FriedmanTue, Thu 2:00pm–3:00pm
begins 2016‑03‑01
250091SE2.0 (4.0)Research Seminar (Mathematical logic)MLOVSy-David FriedmanThu 4:00pm–6:00pm
begins 2016‑03‑03
250092VO2.0 (3.0)Model theoryMLOVMoritz MüllerTue 5:30pm–7:00pm*
begins 2016‑03‑08
* Update from previous information


MLOL - Mathematische Logik (mathematical logic)

MLOM - Axiomatische Mengenlehre (axiomatic set theory)

MLOI - Theoretische Informatik (theoretical computer science)

MLOS - Seminare: Mathematische Logik und theoretische Informatik (seminars in mathematical logic and computer science)

MLOV - Vertiefungslehrveranstaltungen für den Studienschwerpunkt "Mathematische Logik und theoretische Informatik" (courses elaborating on mathematical logic and theoretical computer science as an area of study)

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2016-04-13, 19:17.