{{menu|Teaching|Lehrveranstaltungen im Wintersemester 2006/2007}}

{{Vorlesungsverzeichnis2|W2006}}

Alle Lehrveranstaltungen finden im Seminarraum des KGRC statt (Seminarraum 101, Währinger Str. 25, 2. Stock).

<table border="1">
<thead>
<tr><th>Nummer</th><th>Typ</th><th>WSt</th><th>Titel</th><th>Vortragende</th><th>Zeit (pünktl.)</th><th>1. Vorlesung</th></tr>
</thead>
<tbody>
<tr><td>250133</td><td>VO</td><td>2</td><td>
[#Grundbegriffe Grundbegriffe der Mathematischen Logik]
</td><td>Heike Mildenberger
</td><td>Mi 15:45-17:15</td>
<td>11.10.2006</td>
</tr>

<tr><td>250042</td><td>PS</td><td>1</td><td>
[#Proseminar_Grundbegriffe Proseminar zu Grundbegriffe der Mathematischen Logik]
</td><td>Agatha Walczak-Typke</td>
<td>Mi 15:00-15:45</td>
<td>18.10.2006</td>
</tr>

<tr><td>250145</td><td>VO</td><td>3</td><td>
[#Axiomatische Axiomatische Mengenlehre 1]
</td><td>Agatha Walczak-Typke</td>
<td>Fr 13:00-15:30</td>
<td>13.10.2006</td>
</tr>

<tr><td>250136</td><td>PS</td><td>2</td><td>
[#Proseminar_Axiomatische Proseminar zur Axiomatischen Mengenlehre 1]
</td><td>Heike Mildenberger</td>
<td>Mi 17:30-19:00</td>
<td>11.10.2006</td>
</tr>

<tr><td>250146</td><td>VO</td><td>2</td><td>
[#AK_Mengenlehre Ausgewählte Kapitel aus der Mengenlehre]
</td><td>Sy D. Friedman
</td><td>Di 13:00-14:00
Do 14:00-15:00</td>
<td>10.10.2006</td>
</tr>

<tr><td>250154</td><td>SE</td><td>2</td><td>
[#SE_aus_ML Seminar aus der Mathematischen Logik]
</td><td>Sy D. Friedman
</td><td>Mo 13:45-15:00
Mi 14:00-14:45</td>
<td>09.10.2006</td>
</tr>

<tr><td>250155</td><td>SE</td><td>2</td><td>
[#Forschungsseminar Forschungsseminar aus der Mathematischen Logik]
</td><td>Sy D. Friedman
</td><td>Do 16:00-17:30</td>
<td>12.10.2006</td>
</tr>

</tbody>
</table>

<h1>Inhalte der Lehrveranstaltungen</h1>

<a name="Grundbegriffe"></a>
== Grundbegriffe der Mathematischen Logik ==
Zeit: Mittwoch 15:45-17:15

Beginn: 11. Oktober 2006

=== Literatur ===

* Ebbinghaus, Flum, Thomas: Einführung in die mathematische Logik.
* Enderton: A mathematical introduction to logic.

Zu dieser Vorlesung gibt es ein Skript auf Deutsch. 
=== Leistungsnachweis ===
Ein Zeugnis kann durch das Bestehen einer schriftlichen Prüfung am 
Semesterende erworben werden.

<a name="Proseminar_Grundbegriffe"></a>
== Proseminar zu Grundbegriffe der Mathematischen Logik ==

Zeit: Mittwoch 15:00-15:45

Beginn: 18.10.2006


<a name="Axiomatische"></a>
== Axiomatische Mengenlehre 1 ==

Zeit: Freitag 13:00-15:30 (mit 15 Minuten Pause)

Beginn: 13.10.2006

<a name="Proseminar_Axiomatische"></a>
== Proseminar zur Axiomatischen Mengenlehre 1 ==

Zeit: Mittwoch 17:30-19:00

Beginn: 11.10.2006


<a name="AK_Mengenlehre"></a>
== Ausgewählte Kapitel aus der Mengenlehre (Selected topics in set theory) ==

Zeit: Dienstag 13:00-14:00, Donnerstag 14:00-15:00

Beginn: 10. Oktober 2006

This is an advanced course in set theory, suitable for students who have completed Set Theory 2. Topic to be announced.

<a name="SE_aus_ML"></a>
== Seminar aus der Mathematischen Logik (Seminar in Mathematical Logic) ==

Zeit: Montag 13:45-15:00, Mittwoch 14:00-14:45

Beginn: 9. Oktober 2006

In this seminar, students who have completed Logic 1 present lectures based on research articles in mathematical logic.

<a name="Forschungsseminar"></a>
== Forschungsseminar aus der Mathematischen Logik (Research Seminar in Mathematical Logic) ==

Zeit: Donnerstag 16:00-17:30

Beginn: 12.10.2006

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