Lehrveranstaltungen Wintersemester 2014-2015

(This page is also available in English.)

Ort: Alle Lehrveranstaltungen finden im Seminarraum des KGRC (Zimmer 101) statt.

NummerTypWSt (ECTS)TitelModulVortragenderZeit (pünktl.)Sprache
 VO3,0 (n.v.)Einführung in die theoretische Informatik Moritz Müllersiehe Vorbesprechung 
 VO2,0 (n.v.)Mengenlehre (reading course) Barnabas Farkassiehe Vorbesprechung 
 VO4,0 (n.v.)Einführung in die mathematische Logik Lyubomyr Zdomskyysiehe Vorbesprechung 
 PS2,0 (n.v.)Proseminar zu "Einführung in die Mathematische Logik" Moritz Müller,
Stefan Hoffelner
siehe Vorbesprechung 
 SE2,0 (n.v.)Seminar (mathematische Logik) Sy-David FriedmanMo, Mi 14:00-15:00
Beginn: 2014-10-06
Englisch
 VO2,0 (n.v.)Ausgewählte Kapitel aus der mathematischen Logik Sy-David FriedmanDi, Do 14:00-15:00
Beginn: 2014-10-07
Englisch
 SE2,0 (n.v.)Forschungsseminar aus der mathematischen Logik Sy-David FriedmanDo 16:00-18:00
Beginn: 2014-10-02
Englisch
 VO2,0 (n.v.)Modelltheorie der Arithmetik Tin Lok Wongsiehe VorbesprechungEnglisch

Vorbesprechung

Tage und Zeiten für VO Einführung in die theoretische Informatik, VO Mengenlehre (reading course), VO Einführung in die mathematische Logik, PS Proseminar zu "Einführung in die Mathematische Logik" und VO Modelltheorie der Arithmetik werden in der Vorbesprechung am 2014-10-01 um 14:00 im Seminarraum des KGRC (Zimmer O2.101) festgelegt.

Inhalte der Lehrveranstaltungen

Ausgewählte Kapitel aus der Mathematischen Logik

Zeit: Di, Do 14:00-15:00
Beginn: 2014-10-07

Diese Lehrveranstaltung wird auf Englisch abgehalten.

Inhalte werden später angekündigt.

Seminar (Mathematische Logik)

Zeit: Mo, Mi 14:00-15:00
Beginn: 2014-10-06

In diesem Seminar werden Vorträge über fortgschrittene Mathematische Logik von Studierenden gehalten (in erster Linie von solchen, die am KGRC eine Diplom- oder Masterarbeit oder Dissertation schreiben).

Forschungsseminar aus der Mathematischen Logik

Zeit: Do 16:00-18:00
Beginn: 2014-10-02

Diese Lehrveranstaltung wird auf Englisch abgehalten.

Dies ist ein fortgeschrittenes Seminar in Mathematischer Logik für Doktoranden und PostDocs.

Module

MLOL - Mathematische Logik

MLOM - Axiomatische Mengenlehre

MLOI - Theoretische Informatik

MLOS - Seminare: Mathematische Logik und theoretische Informatik

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

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: 2014-06-19, 19:00.