{{menu|Teaching|Lehrveranstaltungen Sommersemester 2011}} * Note: All lectures at the KGRC (apart from ''Grundbegriffe der Mathematischen Logik'' VO + PS) are given in English, or at least can be given in English if requested. * Information presented here is tentative and subject to change without notice. * Hinweis: Alle Lehrveranstaltungen am KGRC (ausser den ''Grundbegriffen der Mathematischen Logik'' VO + PS) werden auf Englisch abgehalten, oder können zumindest bei Bedarf auf Englisch abgehalten werden. * Die Informationen auf dieser Seite sind vorläufig und können sich ohne weitere Ankündigung ändern. {{Vorlesungsverzeichnis3|S2011}}
Nummer
Number
Typ
Type
WSt (ECTS) Titel
Title
Modul
Module
Vortragende(r)
Lecturer
Ort
Place
Zeit (pünktl.)
Time
Sprache
Language
VO2 (3,0)[/~adler/ Grundbegriffe der Mathematischen Logik][#Module MLO][/~adler/ Hans Adler]UZA HS1
(UZA, Ebene 1)
Mi 13:00-15:00
starts 2011-03-02
Deutsch
PS1 (2,0)[/~kellner/teaching/2011SS_PS_Grundbegriffe/ Proseminar zu den Grundbegriffen der Mathematischen Logik][#Module MLO][/~kellner/ Jakob Kellner]Mo 11:00-12:00
starts 2011-03-07
VO2 (3,0)[http://www.logic.univie.ac.at/~adler/ Rekursionstheorie][#Module MLO][http://www.logic.univie.ac.at/~adler/ Hans Adler]Seminarraum KGRC (O2.101)

KGRC lecture room (O2.101)
gem. Vorbesprechung

according to preparatory meeting
Deutsch (English on demand)
VO3 (5,0)[/~kellner/teaching/2011SS_Mengenlehre1/ Axiomatische Mengenlehre 1][#Module MLOM][http://www.logic.univie.ac.at/~kellner/ Jakob Kellner]
PS2 (3,0)[/~holy/ Proseminar zu Axiomatische Mengenlehren 1][#Module MLOM][http://www.logic.univie.ac.at/~holy/ Peter Holy]
VO2 (3,0)[#Modallogik Modallogik][#Module MLO]Peter Telecn. Ü.
SE2 (4,0)[#Forschungsseminar Forschungsseminar aus der Mathematischen Logik][#Module MLO][http://www.logic.univie.ac.at/~sdf/ Sy-David Friedman]Do 16:00-17:30
starts 2011-03-03
English
PJSE2 (4,0)[#ProjektSem Projektseminar aus der Mathematischen Logik][#Module MLOS][http://www.logic.univie.ac.at/~sdf/ Sy-David Friedman]n. Ü.
VO2 (3,0)[#AK Ausgewählte Kapitel aus der Mengenlehre][#Module MLO][http://www.logic.univie.ac.at/~sdf/ Sy-David Friedman]n. Ü.
== Inhalte der Lehrveranstaltungen/Subject Matters == === Ausgewählte Kapitel aus der Mengenlehre === Zeit: n. Ü.
Beginn: n. Ü. Time: TBA
starts: TBA Subject matter: TBA === Projektseminar aus der Mathematischen Logik === Zeit: n. Ü.
Beginn: n. Ü. Time: TBA
starts: TBA In diesem Projektseminar werden die Forschungsprojekte von Diplomanden und Doktoranden präsentiert. In this Seminar, students give talks about advanced topics in mathematical logic. Intended mainly for students writing their diploma, master or PhD thesis at the KGRC. === Modallogik === Zeit: n. Ü.
Beginn: n. Ü. Time: TBA
starts: TBA Inhalte werden noch bekanntgegeben. === Forschungsseminar aus der Mathematischen Logik === Zeit: Do 16:00 - 17:30
Beginn: 2011-03-03 Time: Thursdays, 4pm - 5.30pm
starts: 2011-03-03 This is an advanced seminar in mathematical logic for doctoral and postdoctoral researchers. == Vorbesprechung/Preparatory meeting == Zeit: Mittwoch, 2011-03-02, 16:00
Ort: Seminarraum KGRC (O2.101) Time: Wednesday, 2011-03-02, 4:00pm
Place: KGRC lecture room (O2.101) In this preparatory meeting, we will agree on the schedule for the following lectures: In dieser Vorbesprechung werden Zeiten und Termine für folgende LVAen vereinbart: * VO Rekursionstheorie * VO Axiomatische Mengenlehre 1 * PS zu Axiomatische Mengenlehre 1 == Module == '''MLO''' - Mathematische Logik '''MLOM''' - Axiomatische Mengenlehre '''MLOS''' - Seminare: Mathematische Logik und theoretische Informatik