{{menu|Teaching|Lehrveranstaltungen Sommersemester 2011}}

* Note: All lectures at the KGRC (apart from ''Grundbegriffe der Mathematischen Logik'' VO + PS and Modallogik) are given in English, or at least can be given in English if requested.
* Information presented here is tentative and subject to change without notice.

* Hinweis: Alle Lehrveranstaltungen am KGRC (ausser den ''Grundbegriffen der Mathematischen Logik'' VO + PS und Modallogik) werden auf Englisch abgehalten, oder können zumindest bei Bedarf auf Englisch abgehalten werden.
* Die Informationen auf dieser Seite sind vorläufig und können sich ohne weitere Ankündigung ändern.

{{Vorlesungsverzeichnis3|S2011}}

<table class="wikitable">
<thead>
<tr>
<th>Sprache<br>Language</th>
<th>Nummer<br>Number</th>
<th>Typ<br>Type</th>
<th>WSt (ECTS)</th>
<th>Titel<br>Title</th>
<th>[#Module Modul<br>Module]</th>
<th>Vortragende(r)<br>Lecturer</th>
<th>Zeit (p&uuml;nktl.)<br>Time</th>
<th>[#Ort Ort<br>Place]</th>
</tr>
</thead>
<tbody><!--

--><tr><!--

--><td rowspan="3" align="center">Deutsch</td><!--
--><td></td><!--
--><td>VO</td><!--
--><td>2 (3,0)</td><!--
--><td>[/~adler/ Grundbegriffe der Mathematischen Logik]</td><!--
--><td>MLO</td><!--
--><td>[/~adler/ Hans<br>Adler]</td><!--
--><td>Mi 13:00-15:00<br>starts 2011-03-02</td><!--
--><td rowspan="2">[#Ort HS1]</td><!--

--></tr><tr><!--

--><td></td><!--
--><td>PS</td><!--
--><td>1 (2,0)</td><!--
--><td>[/~kellner/teaching/2011SS_PS_Grundbegriffe/ 
Proseminar zu den Grundbegriffen der Mathematischen Logik]</td><!--
--><td>MLO</td><!--
--><td>[/~kellner/ Jakob<br>Kellner]</td><!--
--><td>Mo 11:00-12:00<br>starts 2011-03-07</td><!--

--></tr><tr><!--

--><td></td><!--
--><td>VO</td><!--
--><td>2 (3,0)</td><!--
--><td>[#Modallogik Modallogik]</td><!--
--><td>MLO</td><!--
--><td>Peter<br>Telec</td><!--
--><td>n.&nbsp;&Uuml;.</td><!--
--><td rowspan="7">[#Ort KGRC]</td><!--

--></tr><tr><!--

--><td rowspan="3" align="center">Deutsch (English on demand)</td><!--
--><td></td><!--
--><td>VO</td><!--
--><td>2 (3,0)</td><!--
--><td>[/~adler/ Rekursionstheorie]</td><!--
--><td>MLO</td><!--
--><td>[/~adler/ Hans<br>Adler]</td><!--
--><td rowspan="3">gem. <a href="#Vorbesprechung">Vorbesprechung</a><br><br>according to <a href="#Vorbesprechung">preparatory meeting</a></td><!--

--></tr><tr><!--

--><td></td><!--
--><td>VO</td><!--
--><td>3 (5,0)</td><!--
--><td>[/~kellner/teaching/2011SS_Mengenlehre1/ Axiomatische Mengenlehre&nbsp;1]</td><!--
--><td>MLOM</td><!--
--><td>[/~kellner/ Jakob<br>Kellner]</td><!--


--></tr><tr><!--

--><td></td><!--
--><td>PS</td><!--
--><td>2 (3,0)</td><!--
--><td>[/~holy/ Proseminar zu Axiomatische Mengenlehren&nbsp;1]</td><!--
--><td>MLOM</td><!--
--><td>[/~holy/ Peter<br>Holy]</td><!--

--></tr><tr><!--

--><td align="center" rowspan="3">English</td><!--
--><td></td><!--
--><td>SE</td><!--
--><td>2 (4,0)</td><!--
--><td>[#Forschungsseminar Forschungsseminar aus der Mathematischen Logik]</td><!--
--><td>MLO</td><!--
--><td>[/~sdf/ Sy-David<br>Friedman]</td><!--
--><td>Do 16:00-17:30<br>starts 2011-03-03</td><!--

--></tr><tr><!--

--><td></td><!--
--><td>PJSE</td><!--
--><td>2 (4,0)</td><!--
--><td>[#ProjektSem Projektseminar aus der Mathematischen Logik]</td><!--
--><td>MLOS</td><!--
--><td>[/~sdf/ Sy-David<br>Friedman]</td><!--
--><td>n.&nbsp;&Uuml;.</td><!--

--></tr><tr><!--

--><td></td><!--
--><td>VO</td><!--
--><td>2 (3,0)</td><!--
--><td>[#AK Ausgewählte Kapitel aus der Mengenlehre]</td><!--
--><td>MLO</td><!--
--><td>[/~sdf/ Sy-David Friedman]</td><!--
--><td>n.&nbsp;&Uuml;.</td><!--

--></tr></tbody></table>

== Inhalte der Lehrveranstaltungen/Subject Matters ==

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

Zeit: n.&nbsp;&Uuml;.<br/>
Beginn: n.&nbsp;&Uuml;.

Time: <i>TBA</i><br/>
starts: <i>TBA</i>

Subject matter: <i>TBA</i>

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

Zeit: n.&nbsp;&Uuml;.<br/>
Beginn: n.&nbsp;&Uuml;.

Time: <i>TBA</i><br/>
starts: <i>TBA</i>

In diesem Projektseminar werden die Forschungsprojekte von Diplomanden und Doktoranden präsentiert.

In this Seminar, students give talks about advanced topics in mathematical
logic. Intended mainly for students writing their diploma, master or PhD
thesis at the KGRC.

=== <a name="Modallogik"></a>Modallogik ===

Zeit: n.&nbsp;&Uuml;.<br/>
Beginn: n.&nbsp;&Uuml;.

Time: <i>TBA</i><br/>
starts: <i>TBA</i>

<i>Inhalte werden noch bekanntgegeben.</i>

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

Zeit: Do 16:00 - 17:30<br/>
Beginn: 2011-03-03

Time: Thursdays, 4pm - 5.30pm<br/>
starts: 2011-03-03

This is an advanced seminar in mathematical logic for doctoral and postdoctoral
researchers.

== <a name="Vorbesprechung"></a>Vorbesprechung/Preparatory meeting</a> ==

Zeit (Time): Mittwoch, 2011-03-02, 16:00<br>
Ort (Place): Seminarraum KGRC [[Floor plan|O2.101]]<br>
In dieser Vorbesprechung werden Zeiten und Termine f&uuml;r folgende LVAen vereinbart.<br>
(In this preparatory meeting, we will agree on the schedule for the following courses.)

* VO Rekursionstheorie
* VO Axiomatische Mengenlehre 1
* PS zu Axiomatische Mengenlehre 1 

== <a name="Module"></a>Module ==
;MLO
:Mathematische Logik
;MLOM
:Axiomatische Mengenlehre
;MLOS
:Seminare: Mathematische Logik und theoretische Informatik
== <a name="Ort"></a>Ort ==
;KGRC
:Seminarraum (lecture room) [[Floor plan|O2.101]]
;HS1
:Nordbergstrasse Hörsaal 1 [http://plone.mat.univie.ac.at/room_plans/seminar_rooms UZA2, Ebene 1]