Courses Summer Semester 2019

Master's program

Number Type Hours (ECTS) Title Module Lecturer Time Place Language
250100 VO 3.0 (5.0) Axiomatic set theory 1 MLOM Vera Fischer Fri

11:30am – 2:30pm
starts 2019‑03‑01

 Währinger Straße English
250102 SE 2.0 (4.0) Research seminar in mathematical logic MLOS Benjamin Miller Thu

4:00pm – 6:00pm
starts 2019‑03‑07

 Währinger Straße English
250103 SE 2.0 (4.0) Seminar (Mathematical logic) MLOS Benjamin Miller Mon, Tue

2:00pm – 3:00pm
starts 2019‑03‑04

 Währinger Straße English
250104 VO 2.0 (4.0) Advanced topics in mathematical logic MLOV Daniel Soukup Tue,Wed

1:00pm – 2:00pm
starts 2019‑03‑05

 Währinger Straße English
250168 VO 4.0 (6.0) Introduction to mathematical logic] MLOL Sandra Müller Thu

12:15pm – 1:45pm

Fri

9:30am – 11:00am
starts 2019‑03‑01

 Währinger Straße English
250170 PS 2.0 (3.0) Introductory seminar on mathematical logic MLOL Monroe Eskew Tue

4:00pm – 5:30pm
starts 2019‑03‑05

 Währinger Straße English
250179 PS 2.0 (3.0) Introductory seminar on Axiomatic set theory 1 MLOM Vera Fischer Thu

9:45am – 11:45am
starts 2019‑03‑07

 Währinger Straße English

Modules & information

Master Mathematics (821 -version 2016 [2])

MLOM - Axiomatische Mengenlehre (axiomatic set theory), MLOS

part of master's program, 3.6. Mathematical logic and theoretical computer science -> Core modules logic

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)

part of master's program, 3.6. Mathematical logic and theoretical computer science -> Core modules logic

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.