{{menu|Teaching|Lehrveranstaltungen Sommersemester 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|Summer_courses}}

Ort: Alle Lehrveranstaltungen außer Grundbegriffe VO+UE finden im Seminarraum des KGRC ([[Floor plan|Zimmer 101]]) statt.
Die Grundbegriffe-VO findet im [http://www.wegweiser.ac.at/uni/hoersaal?uni_code=A&amp;raumcode_uni=5 UZA 2, Hörsaal 3] statt.
Die Grundbegriffe-UE findet im [http://www.wegweiser.ac.at/uni/hoersaal?uni_code=A&amp;raumcode_uni=1721 UZA 2, Hörsaal 1] statt.

* Hinweis: Die Informationen auf dieser Seite können sich jederzeit ohne vorherige Ankündigung ändern!

* Hinweis: Alle Lehrveranstaltungen am KGRC werden auf Englisch abgehalten, oder können zumindest bei Bedarf auf Englisch abgehalten werden.

{{Vorlesungsverzeichnis3|S2013}}

{{table top|Nummer|Typ|WSt (ECTS)|Titel|Modul|Vortragender|Zeit (pünktl.)|Sprache}}
{{table row|[http://online.univie.ac.at/vlvz?lvnr=250064&amp;sprachauswahl=-1&amp;semester=S2013&amp;extended=Y 250064]|VO|2 (3,0)|[/~adler/S2013/Grundbegriffe_der_mathematischen_Logik.html Grundbegriffe der mathematischen Logik]|[#Module MLOL]|[/~adler/ Hans Adler]|Di 13:15-14:45<br/>(Hörsaal 3, UZA 2)<br/>Beginn: 2013-03-05|Deutsch}}
{{table row|[http://online.univie.ac.at/vlvz?lvnr=250065&amp;sprachauswahl=-1&amp;semester=S2013&amp;extended=Y 250065]|UE|1 (2,0)|[/~kellner/teaching/2013SS_UE_Grundbegriffe/ Übungen zu Grundbegriffe der mathematischen Logik]|[#Module MLOL]|[/~kellner/ Jakob Kellner]|Do 12:05-12:50<br/>(Hörsaal 1, UZA 2)<br/>Beginn: 2013-03-07|Deutsch}}
{{table row|[http://online.univie.ac.at/vlvz?lvnr=250075&amp;sprachauswahl=-1&amp;semester=S2013&amp;extended=Y 250075]|VO|3 (5,0)|[/~kellner/teaching/2013SS_VO_ML/ Axiomatische Mengenlehre&nbsp;1]|[#Module MLOM]|[/~kellner/ Jakob Kellner]|Fr 8:30-11:00<br/>Beginn: 2013-03-08|Deutsch; Englisch möglich nach Vereinbarung}}
{{table row|[http://online.univie.ac.at/vlvz?lvnr=250076&amp;sprachauswahl=-1&amp;semester=S2013&amp;extended=Y 250076]|PS|2 (3,0)|Proseminar zu "Axiomatische Mengenlehre&nbsp;1"|[#Module MLOM]|Stefan Hoffelner|Mi 16:00-17:30<br/>Beginn: 2013-03-13|Deutsch; Englisch möglich nach Vereinbarung}}
{{table row|[http://online.univie.ac.at/vlvz?lvnr=250077&amp;sprachauswahl=-1&amp;semester=S2013&amp;extended=Y 250077]|VO|3 (5,0)|[/~muellem3/teaching.html Einführung in die Theoretische Informatik]|[#Module MLOI]|[/~muellem3/ Moritz Müller]|Di 17:00-19:30<br/>(15 Minuten Pause)<br/>Beginn: 2013-03-12|Englisch möglich nach Vereinbarung}}
{{table row|[http://online.univie.ac.at/vlvz?lvnr=250121&amp;sprachauswahl=-1&amp;semester=S2013&amp;extended=Y 250121]|VO|2 (3,0)|[/~adler/S2013/Rekursionstheorie.html Rekursionstheorie]|[#Module MLOV]|[/~adler/ Hans Adler]|Di 15:15-16:45<br/>Beginn: 2013-03-05|Englisch möglich nach Vereinbarung}}
{{table row|[http://online.univie.ac.at/vlvz?lvnr=250120&amp;sprachauswahl=-1&amp;semester=S2013&amp;extended=Y 250120]|VO|2 (4,0)|[#AK Ausgewählte Kapitel aus der Mengenlehre]|[#Module MLOV]|[/~sdf/ Sy-David Friedman]|Di, Do 14:00-15:00<br/>Beginn: 2013-03-05|Englisch}}
{{table row|[http://online.univie.ac.at/vlvz?lvnr=250119&amp;sprachauswahl=-1&amp;semester=S2013&amp;extended=Y 250119]|PJ+SE|2 (4,0)|[#PJSE Projektseminar (Mathematische Logik)]|[#Module MLOS]|[/~sdf/ Sy-David Friedman]|Mo, Mi 14:00-15:00<br/>Beginn: 2013-03-06|Englisch}}
{{table row|[http://online.univie.ac.at/vlvz?lvnr=250118&amp;sprachauswahl=-1&amp;semester=S2013&amp;extended=Y 250118]|SE|2 (4,0)|[#Forschungsseminar Forschungsseminar aus der Mathematischen Logik]|[#Module MLOS]|[/~sdf/ Sy-David Friedman]|Do 16:00-18:00<br/>Beginn: 2013-03-07|Englisch}}
{{table bottom}}

Die Vorbesprechung zu Axiomatische Mengenlehre 1, dem Proseminar, Einführung in die Theoretische Informatik und Rekursionstheorie fand am 2013-03-04 um 10:00 im Seminarraum des KGRC ([[Floor plan|Zimmer 101]]) statt.

== Inhalte der Lehrveranstaltungen ==

=== <a name="PJSE"></a>Projektseminar (Mathematische Logik ===

Zeit: Montag, Mittwoch 14:00-15:00<br/>
Beginn: 2013-03-06

''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="AK"></a>Ausgewählte Kapitel aus der Mengenlehre ===

Zeit: Dienstag, Donnerstag 14:00-15:00<br/>
Beginn: 2013-03-05

''Diese Lehrveranstaltung wird auf Englisch abgehalten.''

Invariant Descriptive Set Theory

We will follow Gao's book of the above title with a focus on the Borel reducibility of equivalence relations. An important aim will be to 
understand to what extent the results from the classical theory extend to equivalence relations on the generalised Baire space $\kappa^\kappa$ 
where $\kappa$ is uncountable (and there are only $\kappa$-many bounded subsets of $\kappa$).

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

Zeit: Do 16:00-18:00<br/>
Beginn: 2013-03-07

''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"