{{menu|Teaching|Lehrveranstaltungen Wintersemester 2013-2014}} {{EN|Winter_courses}} Ort: Alle Lehrveranstaltungen finden im Seminarraum des KGRC ([[Floor plan|Zimmer 101]]) statt. * Hinweis: Alle Lehrveranstaltungen am KGRC werden auf Englisch abgehalten, oder können zumindest bei Bedarf auf Englisch abgehalten werden. {{table top|Nummer|Typ|WSt (ECTS)|Titel|Modul|Vortragender|Zeit (pünktl.)|Sprache}} {{table row|[http://online.univie.ac.at/vlvz?lang=de&lvnr=250102&semester=W2013&extended=Y 250102]|VO|3 (5,0)|[http://www.logic.univie.ac.at/~muellem3/teaching.html Einführung in die Theoretische Informatik]|[#Module MLOI]|[/~muellem3/ Moritz Müller]|Fr 16:00-18:30
Beginn: 2013-10-04|Deutsch; Englisch möglich nach Vereinbarung}} {{table row|[http://online.univie.ac.at/vlvz?lang=de&lvnr=250103&semester=W2013&extended=Y 250103]|VO|4 (6.0)|[/~kellner/teaching/2013WS_VO_Einfuehrung/ Einführung in die Mathematische Logik]|[#Module MLOL]|[/~kellner/ Jakob Kellner]|siehe [/~kellner/teaching/2013WS_VO_Einfuehrung/ LVA-Seite]|Deutsch}} {{table row|[http://online.univie.ac.at/vlvz?lang=de&lvnr=250104&semester=W2013&extended=Y 250104]|PS|2 (3,0)|[http://www.logic.univie.ac.at/~muellem3/teaching.html Proseminar zu "Einführung in die Mathematische Logik"]|[#Module MLOL]|Stefan Hoffelner
[/~muellem3 Moritz Müller]|Fr 14:00-15:30
Beginn: 2013-10-11|Deutsch}} {{table row|[http://online.univie.ac.at/vlvz?lang=de&lvnr=250105&semester=W2013&extended=Y 250105]|SE|2 (4,0)|[#Seminar_Mathematische Seminar (Mathematische Logik)]|[#Module MLOS]|[/~sdf/ Sy-David Friedman]|Mo, Mi 14:00-15:00
Beginn: 2013-10-07|Englisch}} {{table row|[http://online.univie.ac.at/vlvz?lang=de&lvnr=250106&semester=W2013&extended=Y 250106]|VO|2 (4,0)|[#AK Ausgewählte Kapitel aus der Mathematischen Logik]|[#Module MLOV]|[/~sdf/ Sy-David Friedman]|Di, Do 14:00-15:00
Beginn: 2013-10-08|Englisch}} {{table row|[http://online.univie.ac.at/vlvz?lang=de&lvnr=250107&semester=W2013&extended=Y 250107]|SE|2 (4,0)|[#Forschungsseminar Forschungsseminar aus der Mathematischen Logik]|[#Module MLOV]|[/~sdf/ Sy-David Friedman]|Do 16:00-18:00
Beginn: 2013-10-10|Englisch}} {{table row|[http://online.univie.ac.at/vlvz?lang=de&lvnr=250108&semester=W2013&extended=Y 250108]|VO|2 (7,0)|Mengenlehre (reading course)|[#Module MLOV]|[/~ykhomski/ Yurii Khomskii]|Mi 15:00-17:00
Beginn: 2013-10-09|Englisch}} {{table bottom}} == Inhalte der Lehrveranstaltungen == === Ausgewählte Kapitel aus der Mathematischen Logik === Zeit: Dienstag, Donnerstag 14:00-15:00
Beginn: 2013-10-08 ''Diese Lehrveranstaltung wird auf Englisch abgehalten.'' Models and Games We will follow Väänänen's recent book of the above title with a focus on how to characterise elementary equivalence logics extending first-order logic. === Seminar (Mathematische Logik) === Zeit: Montag, Mittwoch 14:00-15:00
Beginn: 2013-10-07 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: Donnerstag 16:00-18:00
Beginn: 2013-10-10 ''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"