{{menu|Teaching|Lehrveranstaltungen Sommersemester 2014}} {{EN|Summer_courses}} * 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|Vortragende(r)|Zeit (pünktl.)|Ort|Sprache}} {{table row|[http://online.univie.ac.at/vlvz?lang=de&lvnr=250080&semester=S2014 250080]|VO|2 (3,0)|[/~muellem3/teaching.html Grundbegriffe der mathematischen Logik]|[#Module MLO]|[/~muellem3/ Moritz Müller]|Mi 15:00-17:00
Beginn: 2014-03-05|[#Orte HS13]|Deutsch}} {{table row|[http://online.univie.ac.at/vlvz?lang=de&lvnr=250081&semester=S2014 250081]|UE|1 (2,0)|[/~efokina/teaching/ss2014_grundbegriffe.html Übungen zu Grundbegriffe der mathematischen Logik]|[#Module MLO]|[/~efokina/ Ekaterina Fokina]|Do 13:00-14:00
Beginn: 2014-03-06|[#Orte SR12]|Deutsch}} {{table row|[http://online.univie.ac.at/vlvz?lang=de&lvnr=250082&semester=S2014 250082]|VO|3 (5,0)|[/~kellner/teaching/2014SS_VO_Mengenlehre1 Axiomatische Mengenlehre 1]|[#Module MLOM]|[/~kellner/ Jakob Kellner]|Fr 9:30-12:00
Beginn: 2014-03-07|[#Orte KGRC]|Deutsch; Englisch möglich nach Vereinbarung}} {{table row|[http://online.univie.ac.at/vlvz?lang=de&lvnr=250083&semester=S2014 250083]|PS|2 (3,0)|[/~lzdomsky/#Teaching Proseminar zu "Axiomatische Mengenlehre 1"]|[#Module MLOM]|[/~lzdomsky/ Lyubomyr Zdomskyy]|Mi 8:30-10:05
Beginn: 2014-03-19|[#Orte KGRC]|Deutsch; Englisch möglich nach Vereinbarung}} {{table row|[http://online.univie.ac.at/vlvz?lang=de&lvnr=250087&semester=S2014 250087]|VO|2 (3,0)|[/~muellem3/teaching.html Berechenbarkeit und Komplexität]|[#Module MLOV]|[/~muellem3/ Moritz Müller]|Mo 16:30-18:00
Beginn: 2014-03-10|[#Orte KGRC]|Englisch möglich nach Vereinbarung}} {{table row|[http://online.univie.ac.at/vlvz?lang=de&lvnr=250088&semester=S2014 250088]|VO|2 (3,0)|Modelltheorie|[#Module MLOV]|Martin Koerwien|Di 15:45-17:15
Beginn: 2014-03-04|[#Orte KGRC]|Englisch möglich nach Vereinbarung}} {{table row|[http://online.univie.ac.at/vlvz?lang=de&lvnr=250086&semester=S2014 250086]|VO|2 (4,0)|[#AK Ausgewählte Kapitel aus der Mengenlehre]|[#Module MLOV]|[/~sdf/ Sy-David Friedman]|Di, Do 14:00-15:00
Beginn: 2014-03-04|[#Orte KGRC]|Englisch}} {{table row|[http://online.univie.ac.at/vlvz?lang=de&lvnr=250085&semester=S2014 250085]|PJ+SE|2 (4,0)|[#PJ Projektseminar (Mathematische Logik)]|[#Module MLOS]|[/~sdf/ Sy-David Friedman]|Mo, Mi 14:00-15:00
Beginn: 2014-03-03|[#Orte KGRC]|Englisch}} {{table row|[http://online.univie.ac.at/vlvz?lang=de&lvnr=250084&semester=S2014 250084]|SE|2 (4,0)|[#Forschungsseminar Forschungsseminar aus der Mathematischen Logik]|[#Module MLOS]|[/~sdf/ Sy-David Friedman]|Do 16:00-18:00
Beginn: 2014-03-06|[#Orte KGRC]|Englisch}} {{table bottom}} === Orte === HS13: Hörsaal 13, Oskar-Morgenstern-Platz 1, 1090 Wien SR12: Seminarraum 12, Oskar-Morgenstern-Platz 1, 1090 Wien KGRC: Seminarraum des Kurt Gödel Research Centers, Zimmer O2.101, Währinger Straße 25, 1090 Wien == Inhalte der Lehrveranstaltungen == === Ausgewählte Kapitel aus der Mengenlehre === Zeit: Di, Do 14:00-15:00
Beginn: 2014-03-04 ''Diese Lehrveranstaltung wird auf Englisch abgehalten.'' This course will focus on cardinal characteristics for uncountable regular cardinals. This is a relatively new subject with many interesting open questions. There are at least four motivations for pursuing this topic: It fuels the search for new iterated forcing methods using uncountable support, it interacts in interesting ways with large cardinal theory, the global behaviour of cardinal characteristics gives rise to the study of "internal consistency" in set theory and it provides a context where analogues of unsolved problems for the standard cardinal characteristics may be solved (for example Roitman's problem). We'll look at the dominating and bounding numbers, the almost disjointness number, the uniformity number and the splitting number for uncountable regular cardinals, touching on work of Cummings-Shelah, Blass-Hyttinen-Zhang, Garti-Shelah, Ben-Neria and joint work of mine with Honzik, Ondrejovic, Thompson and Zdomskyy. === Projektseminar (Mathematische Logik) === Zeit: Mo, Mi 14:00-15:00
Beginn: 2014-03-03 ''Diese Lehrveranstaltung wird auf Englisch abgehalten.'' In diesem Projektseminar 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-03-06 ''Diese Lehrveranstaltung wird auf Englisch abgehalten.'' Dies ist ein fortgeschrittenes Seminar in Mathematischer Logik für Doktoranden und PostDocs. == Module == '''MLO''' - 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"