{{menu|Teaching|Lehrveranstaltungen Sommersemester 2012}}

<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|Summer_courses}}

Ort: Alle Lehrveranstaltungen außer Grundbegriffe der mathematischen Logik VO und UE und Modelltheorie 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|S2012}}

{{table top|Nummer|Typ|WSt (ECTS)|Titel|Modul|Vortragender|Zeit (p&uuml;nktl.)|Sprache}}
{{table row|250081|VO|2 (3,0)|[[~adler/S2012/Grundbegriffe der mathematischen Logik|Grundbegriffe der mathematischen Logik]]|[#Module MLO]|[http://www.logic.univie.ac.at/~adler/ Hans Adler]|Dienstag 16:15-17:45<br>(Hörsaal 2, UZA2)|Deutsch}}
{{table row|250082|UE|1 (2,0)|Grundbegriffe der Mathematischen Logik|[#Module MLO]|[http://www.logic.univie.ac.at/~muellem3/ Moritz Müller]|Montag 17:00-18:00<br/>(Hörsaal 3, UZA2)|Deutsch}}
{{table row|250089|VO|2 (3,0)|[[~adler/S2012/Modelltheorie|Modelltheorie]]|[#Module MLOV]|[http://www.logic.univie.ac.at/~adler/ Hans Adler]|Montag 11:15-12:45<br/>(2A180, UZA2)|Deutsch (bei Bedarf Englisch)}}
{{table row|250083|VO|3 (5,0)|Einführung in die Theoretische Informatik|[#Module MLOI]|[http://www.logic.univie.ac.at/~muellem3/ Moritz Müller]|Dienstag 15:15-17:45|Englisch}}
{{table row|250084|VO|3 (5,0)|[http://www.logic.univie.ac.at/~lzdomsky/set_theory_1_ss2012.pdf Axiomatische Mengenlehre&nbsp;1]|[#Module MLOM]|[http://www.logic.univie.ac.at/~lzdomsky/ Lyubomyr Zdomskyy]|Dienstag 12:20-13:50<br/>Mittwoch 13:00-13:45|Englisch}}
{{table row|250085|PS|2 (3,0)|Proseminar zu "Axiomatische Mengenlehre I"|[#Module MLOM]|Stefan Hoffelner|Freitag 8:15-9:45|&nbsp;}}
{{table row|250087|VO|2 (3,0)|[#AK Ausgewählte Kapitel aus der Mengenlehre]|[#Module MLOV]|[http://www.logic.univie.ac.at/~sdf/ Sy-David Friedman]|Di, Do 14:00-15:00<br/>Beginn: 2012-03-01|Englisch}}
{{table row|250086|PJ+SE|2 (4,0)|[#Projektseminar_Mathematische Projektseminar (Mathematische Logik)]|[#Module MLOS]|[http://www.logic.univie.ac.at/~sdf/ Sy-David Friedman]|Mo, Mi 14:00-15:00<br/>Beginn: 2012-03-05|&nbsp;}}
{{table row|250088|PJ+SE|2 (4,0)|[#Forschungsseminar Forschungsseminar aus der Mathematischen Logik]|[#Module MLOV]|[http://www.logic.univie.ac.at/~sdf/ Sy-David Friedman]|Do 16:00-17:30<br/>Beginn: 2012-03-01|&nbsp;}}
{{table bottom}}

== Inhalte der Lehrveranstaltungen ==

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

Zeit: Di, Do 14:00-15:00<br/>
Beginn: 2012-03-01

''Diese Lehrveranstaltung wird auf Englisch abgehalten.''

This course will serve as an introduction to Woodin's theory of $P_{max}$, as presented in Paul Larson's article in the
Handbook of Set Theory.

=== <a name="Projektseminar_Mathematische"></a>Projektseminar aus der Mathematischen Logik ===

Zeit: Mo, Mi 14:00-15:00<br/>
Beginn: 2012-03-05

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: Do 16:00-17:30<br/>
Beginn: 2012-03-01

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"