Courses Winter Semester 2016/2017

(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


NumberTypeHours (ECTS)TitleModuleLecturerTimePlaceLanguage
250074VO4.0 (6.0)Introduction to mathematical logicMLOLVera FischerTue 9:00am–10:30am, Fri 9:00am–10:30am*
begins 2016‑10‑04
KGRCEnglish
250075PS2.0 (3.0)Introductory seminar on mathematical logicMLOLDiana Carolina Montoya AmayaWed 10:00am–11:30am*
begins 2016‑10‑05
KGRCEnglish
250122VO2.0 (7.0)Reading course in mathematical logicMLOVLyubomyr ZdomskyyMon 12:20pm–1:50pm
begins 2016‑10‑10
KGRCEnglish
250073VO3.0 (5.0)Introduction to theoretical computer scienceMLOIMoritz MüllerTue 12:20pm–1:50pm, Wed 4:15pm–5:45pm
begins 2016‑10‑04
KGRCEnglish
250130VO2.0 (3.0)Topics in computabilityMLOVMoritz MüllerTue 3:30pm–5:30pm
begins 2016‑10‑04
KGRCEnglish
250099SE2.0 (4.0)Seminar (Mathematical logic)MLOSSy-David FriedmanMon, Wed 2:00pm–3:00pm
begins 2016‑10‑03
KGRCEnglish
250098SE2.0 (4.0)Research seminar in mathematical logicMLOSSy-David FriedmanThu 4:00pm–6:00pm
begins 2016‑10‑03*
KGRCEnglish
250121VO2.0 (4.0)Selected topics in set theoryMLOVBen MillerTue, Thu 2:00pm–3:00pm
begins 2016‑10‑04
KGRCEnglish
* Update from previous information

Modules

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-10-10, 13:54.