{{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>Grundbegriffe der Mathematischen Logik</td><!--
--><td>MLO</td><!--
--><td>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>Übungen zu Grundbegriffe der Mathematischen Logik</td><!--
--><td>MLO</td><!--
--><td>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] (except for 
250114)</td><!--

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

--><td rowspan="3" align="center">Deutsch (English on demand)</td><!--
--><td>250117 </td><!--
--><td>VO</td><!--
--><td>2 (3)</td><!--
--><td>Rekursionstheorie</td><!--
--><td>MLO</td><!--
--><td>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>Axiomatische&nbsp;Mengenlehre&nbsp;1</td><!--
--><td>MLOM</td><!--
--><td>Jakob<br>Kellner</td><!--
--><td></td><!--


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

--><td>250115 </td><!--
--><td>PS</td><!--
--><td>2 (3)</td><!--
--><td>Proseminar zu Axiomatische Mengenlehren&nbsp;1</td><!--
--><td>MLOM</td><!--
--><td>Peter<br>Holy</td><!--
--><td>Di&nbsp;11:00-12:30<br>2011-03-15</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>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>Sy-David<br>Friedman</td><!--
--><td>Mo, Mi 14:15-15:15<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>Sy-David Friedman</td><!--
--><td>Di, Do 14:15-15:15<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:15pm to 3:15pm<br/>
starts: 2011-03-01

Subject matter: <i>TBA</i>

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

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

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

Time: Mondays and Wednesdays 2:15pm to 3:15pm<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, 4:00pm - 5:30pm<br/>
starts: 2011-03-03

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

== <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) O2.101
;HS1
:Nordbergstrasse Hörsaal 1 UZA2, Ebene 1