{{menu|Teaching|Courses Winter Semester 2012–2013}}
{{DE|Winter-LVA}}
Place: All courses will be given in the KGRC lecture room ([[Floor plan|room 101]]).
* Note: All lectures at the KGRC are given in English, or at least can be given in English if requested.
{{Vorlesungsverzeichnis3en|W2012}}
{{table top|Number|Type|Hours (ECTS)|Title|Module|Lecturer|Time|Language}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&lvnr=250079&semester=W2012&extended=Y 250079]|VO|4 (6.0)|[/~adler/W2012/Einfuehrung_in_die_mathematische_Logik.html Introduction to mathematical logic]|[#Modules MLOL]|[http://www.logic.univie.ac.at/~adler/ Hans Adler]|Wed, Fri 3:30pm–5:00pm
starts 2012-10-05|German}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&lvnr=250080&semester=W2012&extended=Y 250080]|PS|2 (3.0)|[/~kellner/teaching/2012WS_PS_Einfuehrung/ Introductory Seminar: "Introduction to mathematical logic"]|[#Modules MLOL]|[http://www.logic.univie.ac.at/~kellner/ Jakob Kellner]|Fri 10:00am–11:30am
starts 2012-10-12|German}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&lvnr=250118&semester=W2012&extended=Y 250118]|VO|2 (7.0)|[/~kellner/teaching/2012WS_VO_Mengenlehre_reading_course/ Set theory (reading course)]|[#Module MLOV]|[http://www.logic.univie.ac.at/~kellner/ Jakob Kellner]|see [/~kellner/teaching/2012WS_VO_Mengenlehre_reading_course/ homepage]|German}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&lvnr=250127&semester=W2012&extended=Y 250127]|VO|2 (3.0)|[/~muellem3/teaching.html Forcing with random variables]|[#Modules MLOV]|[http://www.logic.univie.ac.at/~muellem3/ Moritz Müller]|Wed 10:45am–12:15pm
starts 2012-10-10|English}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&lvnr=250117&semester=W2012&extended=Y 250117]|VO|2 (4.0)|[#AK Selected Topics in Mathematical Logic]|[#Modules MLOV]|[http://www.logic.univie.ac.at/~sdf/ Sy-David Friedman]|Tue, Thu 2:00pm–3:00pm
starts 2012-10-02|English}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&lvnr=250116&semester=W2012&extended=Y 250116]|SE|2 (4.0)|[#Seminar_Mathematische Seminar (Mathematical logic)]|[#Modules MLOS]|[http://www.logic.univie.ac.at/~sdf/ Sy-David Friedman]|Mon, Wed 2:00pm–3:00pm
starts 2012-10-01|English}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&lvnr=250115&semester=W2012&extended=Y 250115]|SE|2 (4.0)|[#Forschungsseminar Research Seminar]|[#Modules MLOS]|[http://www.logic.univie.ac.at/~sdf/ Sy-David Friedman]|Thu 4:00pm–6:00pm
starts 2012-10-04|English}}
{{table bottom}}
== Course details ==
=== Selected Topics in Mathematical Logic ===
Time: Tuesdays, Thursdays 2:00pm–3:00pm
starts 2012-10-02
This course will address various themes in logic, with an emphasis in topics that make connections between the four
principal areas of the field: set theory, proof theory, computation theory and model theory.
=== Seminar (Mathematical Logic) ===
Time: Mondays, Wednesdays 2:00–3:00pm
starts 2012-10-01
In this Seminar, students give talks about advanced topics in mathematical
Logic. This seminar is intended mainly for students writing their diploma, master or PhD
thesis at the KGRC.
=== Research Seminar ===
Time: Thursdays 4:00pm–6:00pm
starts 2012-10-04
This is an advanced seminar in mathematical logic for doctoral and postdoctoral
researchers.
== Modules ==
'''MLOL''' - Mathematische Logik (mathematical logic)
'''MLOM''' - Axiomatische Mengenlehre (axiomatic set theory)
'''MLOI''' - Theoretische Informatik (theoretical computer science)
'''MLOS''' - Seminare: Mathematische Logik und theoretische Informatik (seminars in mathematical logic and computer science)
'''MLOV''' - Vertiefungslehrveranstaltungen für den Studienschwerpunkt
"Mathematische Logik und theoretische Informatik" (courses elaborating on mathematical logic and theoretical computer science as an area of study)