{{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>LeiterIn<br>Lecturer</th>
<th>Zeit (pktl.)/Time<br>Beginn/Start</th>
<th>[#Ort Ort<br>Place]</th>
</tr>
</thead>
<tbody><!--

--><tr><!--

--><td rowspan="3" align="center">Deutsch</td><!--
--><td>250112 </td><!--
--><td>VO</td><!--
--><td>2 (3)</td><!--
--><td>[/~adler/ Grundbegriffe der Mathematischen Logik]</td><!--
--><td>MLO</td><!--
--><td>[/~adler/ Hans<br>Adler]</td><!--
--><td>Mi&nbsp;13:00-14:30<br>2011-03-02</td><!--
--><td rowspan="2">[#Ort HS1]</td><!--

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

--><td>250113 </td><!--
--><td>UE</td><!--
--><td>1 (2)</td><!--
--><td>[/~kellner/teaching/2011SS_Grundbegriffe_UE/ 
Übungen zu Grundbegriffe der Mathematischen Logik]</td><!--
--><td>MLO</td><!--
--><td>[/~kellner/ Jakob<br>Kellner]</td><!--
--><td>Mo&nbsp;11:00-12:00<br>2011-03-07</td><!--

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

--><td>250119 </td><!--
--><td>VO</td><!--
--><td>2 (3)</td><!--
--><td>[#Modallogik Modallogik]</td><!--
--><td>MLO</td><!--
--><td>Peter<br>Telec</td><!--
--><td>Mo 15:15-16:45<br>2011-03-07</td><!--
--><td rowspan="7">[#Ort KGRC]</td><!--

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

--><td rowspan="3" align="center">Deutsch (English on demand)</td><!--
--><td>250117 </td><!--
--><td>VO</td><!--
--><td>2 (3)</td><!--
--><td>[/~adler/ Rekursionstheorie]</td><!--
--><td>MLO</td><!--
--><td>[/~adler/ Hans<br>Adler]</td><!--
--><td>Do&nbsp;9:00-10:30<br>2011-03-03</td><!--

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

--><td>250114 </td><!--
--><td>VO</td><!--
--><td>3 (5)</td><!--
--><td>[/~kellner/teaching/2011SS_Mengenlehre1/ Axiomatische&nbsp;Mengenlehre&nbsp;1]</td><!--
--><td>MLOM</td><!--
--><td>[/~kellner/ Jakob<br>Kellner]</td><!--
--><td rowspan="2">siehe [#Vorbesprechung Vorbesprechung]</td><!--


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

--><td>250115 </td><!--
--><td>PS</td><!--
--><td>2 (3)</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>250120 </td><!--
--><td>SE</td><!--
--><td>2 (4)</td><!--
--><td>[#Forschungsseminar Forschungsseminar aus der Mathematischen Logik]</td><!--
--><td>MLO</td><!--
--><td>[/~sdf/ Sy-David<br>Friedman]</td><!--
--><td>Do&nbsp;16:00-17:30<br>2011-03-03</td><!--

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

--><td>250116 </td><!--
--><td>PJSE</td><!--
--><td>2 (4)</td><!--
--><td>[#ProjektSem Projektseminar aus der Mathematischen Logik]</td><!--
--><td>MLOS</td><!--
--><td>[/~sdf/ Sy-David<br>Friedman]</td><!--
--><td>Mo, Mi 14:00-15:00<br>2011-03-02</td><!--

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

--><td>250118 </td><!--
--><td>VO</td><!--
--><td>2 (3)</td><!--
--><td>[#AK Ausgewählte Kapitel aus der Mengenlehre]</td><!--
--><td>MLO</td><!--
--><td>[/~sdf/ Sy-David Friedman]</td><!--
--><td>Di, Do 14:00-15:00<br>2011-03-01</td><!--

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

== Inhalte der Lehrveranstaltungen/Subject Matters ==

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

Time: Tuesdays and Thursdays 2:00pm to 3:00pm<br/>
starts: 2011-03-01

Subject matter: <i>TBA</i>

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

Zeit: Mo, Mi 14:00 - 15:00<br/>
Beginn: 2011-03-02

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

Time: Mondays and Wednesdays 2:00pm to 3:00pm<br/>
starts: 2011-03-02

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: Mo 15:15-16:45<br/>
Beginn: 2011-03-07

Einführung in die grundlegendsten modallogischen Systeme (zunächst
aussagenlogisch, später prädikatenlogisch) S1, S2, S3, S4 (sowohl in
voller wie auch in abgeschwächter Form), S5, T, D, B und verwandte
Systeme; globale Behandlung des Bereichs zwischen S4 und S5;
Vergleich unterschiedlicher Sprachbasen und Axiomatiken. Beweistheoretische
und modelltheoretische Aspekte werden gleichermaßen berücksichtigt
(Matrizenbewertung, mehrere Versionen von Abhängigkeiten von Axiomen
und Regeln, Ausdrucksfähigkeit, algebraische und Kripke-Modelle sowie
der Zusammenhang zwischen ihnen, Vollständigkeitssätze, Entscheidbarkeit
und Entscheidungsverfahren, Erweiterung der Verfahren auf nicht-normale
Theorien).

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

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]