Lehrveranstaltungen Sommersemester 2021

(This page is also available in English.)

Hinweis: Um eine Note zu erhalten ist eine rechtzeitige Anmeldung erforderlich! Folgen Sie dafür den u:find links unten.

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 bis zum Beginn des Semesters jederzeit ändern!

Masterstudium

Nummer	Typ	WSt (ECTS)	Titel	Modul	Vortragende(r)	Zeit (pünktl.)	Ort	Sprache
250052	VO	3,0 (5,0)	Introduction to Theoretical Computer Science	MLOI	Jana Maříková	Mo 11:15-12:45, Mi 8:45-10:15 Beginn: 2021‑03‑01	online	Englisch
250053	VO	2,0 (3,0)	Model Theory of Valued Fields	MLOV	Matthias Aschenbrenner	Di 10:30-11:15, Do 10:30-11:15 Beginn: 2021‑03‑02	online	Englisch
250100	VO	3,0 (5,0)	Axiomatic set theory 1	MLOM	Vera Fischer	Di 8:45-10:15, Do 8:45-10:15 Beginn: 2021‑03‑02	online	Englisch
250103	SE	2,0 (4,0)	Seminar in Mathematical logic	MLOS	Benjamin Miller	Mo 16:45-17:30, Mi 16:45-17:30 Beginn: 2021‑03‑01	online	Englisch
250179	PS	2,0 (3,0)	Introductory seminar on Axiomatic set theory 1	MLOM	Vera Fischer, Jana Maříková	Fr 8:45-10:15 Beginn: 2021‑03‑05	online	Englisch
510005	SE	2,0 (4,0)	Research seminar in mathematical logic	MLOS	Matthias Aschenbrenner	Do 15:00-16:30 Beginn: 2021‑03‑04	online	Englisch

MLOI - Theoretical Computer Science

Teil des Masterstudiums, 3.6. Mathematical logic and theoretical computer science -> Core modules logic

MLOS - Seminare: Mathematische Logik und theoretische Informatik

Teil des Masterstudiums, 3.6. Mathematical logic and theoretical computer science -> Core modules logic

MLOV - Vertiefungslehrveranstaltungen für den Studienschwerpunkt "Mathematische Logik und theoretische Informatik"

Teil des Masterstudiums, 3.6. Mathematical logic and theoretical computer science -> Core modules logic

MLOM - Core modules logic