Courses Sommer Semester 2021
(Diese Seite gibt es auch auf Deutsch.)
Note: To be graded, your timely registration will be required. Please follow the u:find links below.
Note: All lectures at the KGRC are given in English, or at least can be given in English if requested.
Note: Information on this page is tentative until the semester begins and subject to change without notice!
Master's program
Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Place | Language |
---|---|---|---|---|---|---|---|---|
250052 | VO | 3.0 (5.0) | Introduction to Theoretical Computer Science | MLOI | Jana Maříková | Mon 11:15am–12:45pm, Wed 8:45am–10:15am begins 2021‑03‑01 | online | English |
250053 | VO | 2.0 (3.0) | Model Theory of Valued Fields | MLOV | Matthias Aschenbrenner | Tue 10:30am–11:15am, Thu 10:30am–11:15am begins 2021‑03‑02 | online | English |
250100 | VO | 3.0 (5.0) | Axiomatic set theory 1 | MLOM | Vera Fischer | Tue 8:45am–10:15am, Thu 8:45am–10:15am begins 2021‑03‑02 | online | English |
250103 | SE | 2.0 (4.0) | Seminar in Mathematical logic | MLOS | Benjamin Miller | Mon 4:45pm–5:30pm, Wed 4:45pm–5:30pm begins 2021‑03‑01 | online | English |
250179 | PS | 2.0 (3.0) | Introductory seminar on Axiomatic set theory 1 | MLOM | Vera Fischer, Jana Maříková | Fri 8:45am–10:15am begins 2021‑03‑05 | online | English |
510005 | SE | 2.0 (4.0) | Research seminar in mathematical logic | MLOS | Matthias Aschenbrenner | Thu 3:00pm–4:30pm begins 2021‑03‑04 | online | English |
Modules
MLOI - Theoretical Computer Science
- part of master's program, 3.6. Mathematical logic and theoretical computer science -> Core modules logic
MLOS - Seminars: Mathematical Logic and Theoretical Computer Science
- 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
MLOM - Basic courses, specialization "Logic"
- part of Master Mathematics (821 [2] - Version 2016) -> Elective Modules