{{menu|Teaching|Lehrveranstaltungen Wintersemester 2012-2013}}

<nowiki>
<script type="text/x-mathjax-config">
  MathJax.Hub.Config({
    tex2jax: {
      inlineMath: [ ['$','$'], ["\\(","\\)"] ],
      processEscapes: true
    }
  });
</script>
<script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS_HTML">
</script>
</nowiki>

{{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.

{{Vorlesungsverzeichnis3|W2012}}

{{table top|Nummer|Typ|WSt (ECTS)|Titel|Modul|Vortragender|Zeit (pünktl.)|Sprache}}
{{table row|[http://online.univie.ac.at/vlvz?lang=de&amp;lvnr=250079&amp;semester=W2012&amp;extended=Y 250079]|VO|4 (6,0)|[/~adler/W2012/Einfuehrung_in_die_mathematische_Logik.html Einführung in die mathematische Logik]|[#Module MLOL]|[http://www.logic.univie.ac.at/~adler/ Hans Adler]|Mi, Fr 15:30-17:00<br/>Beginn: 2012-10-05|Deutsch}}
{{table row|[http://online.univie.ac.at/vlvz?lang=de&amp;lvnr=250080&amp;semester=W2012&amp;extended=Y 250080]|PS|2 (3,0)|[/~kellner/teaching/2012WS_PS_Einfuehrung/ Proseminar zu "Einführung in die Mathematische Logik"]|[#Module MLOL]|[http://www.logic.univie.ac.at/~kellner/ Jakob Kellner]|Fr 10:00-11:30<br/>Beginn: 2012-10-12|Deutsch}}
{{table row|[http://online.univie.ac.at/vlvz?lang=de&amp;lvnr=250118&amp;semester=W2012&amp;extended=Y 250118]|VO|2 (7,0)|[/~kellner/teaching/2012WS_VO_Mengenlehre_reading_course/ Mengenlehre (reading course)]|[#Module MLOV]|[http://www.logic.univie.ac.at/~kellner/ Jakob Kellner]|Siehe [/~kellner/teaching/2012WS_VO_Mengenlehre_reading_course/ Homepage]|Deutsch}}
{{table row|[http://online.univie.ac.at/vlvz?lang=de&amp;lvnr=250127&amp;semester=W2012&amp;extended=Y 250127]|VO|2 (3,0)|[/~muellem3/teaching.html Forcing mit Zufallsvariablen]|[#Module MLOV]|[http://www.logic.univie.ac.at/~muellem3/ Moritz Müller]|Mi 10:45-12:15<br/>Beginn: 2012-10-10|Englisch}}
{{table row|[http://online.univie.ac.at/vlvz?lang=de&amp;lvnr=250117&amp;semester=W2012&amp;extended=Y 250117]|VO|2 (4,0)|[#AK Ausgewählte Kapitel aus der Mathematischen Logik]|[#Module MLOV]|[http://www.logic.univie.ac.at/~sdf/ Sy-David Friedman]|Di, Do 14:00-15:00<br/>Beginn: 2012-10-02|Englisch}}
{{table row|[http://online.univie.ac.at/vlvz?lang=de&amp;lvnr=250116&amp;semester=W2012&amp;extended=Y 250116]|SE|2 (4,0)|[#Seminar_Mathematische Seminar (Mathematische Logik)]|[#Module MLOS]|[http://www.logic.univie.ac.at/~sdf/ Sy-David Friedman]|Mo, Mi 14:00-15:00<br/>Beginn: 2012-10-01|Englisch}}
{{table row|[http://online.univie.ac.at/vlvz?lang=de&amp;lvnr=250115&amp;semester=W2012&amp;extended=Y 250115]|SE|2 (4,0)|[#Forschungsseminar Forschungsseminar aus der Mathematischen Logik]|[#Module MLOS]|[http://www.logic.univie.ac.at/~sdf/ Sy-David Friedman]|Do 16:00-18:00<br/>Beginn: 2012-10-04|Englisch}}
{{table bottom}}

== Inhalte der Lehrveranstaltungen ==

=== <a name="AK"></a>Ausgewählte Kapitel aus der Mathematischen Logik ===

Zeit: Dienstag, Donnerstag 14:00-15:00<br/>
Beginn: 2012-10-02

''Diese Lehrveranstaltung wird auf Englisch abgehalten.''

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.

=== <a name="Seminar_Mathematische"></a>Seminar aus der Mathematischen Logik ===

Zeit: Montag, Mittwoch 14:00-15:00<br/>
Beginn: 2012-10-01

''Diese Lehrveranstaltung wird auf Englisch abgehalten.''

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).

=== <a name="Forschungsseminar"></a>Forschungsseminar aus der Mathematischen Logik ===

Zeit: Donnerstag 16:00-18:00<br/>
Beginn: 2012-10-04

''Diese Lehrveranstaltung wird auf Englisch abgehalten.''

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

== <a name="Module"></a>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"