{{menu|Teaching|Lehrveranstaltungen im Wintersemester 2009/2010}}

{{Vorlesungsverzeichnis3|W2009}}

Mit Ausnahme der Anwendungen der Mathematischen Logik finden alle Lehrveranstaltungen im
Seminarraum des KGRC statt (Seminarraum 101, Währinger Str. 25, 2. Stock).

Vorläufige Information - jederzeitige Änderungen vorbehalten!

<table border="1">
<thead>
<tr><th>Nummer</th>
<th>Typ</th>
<th>WSt
(ECTS)</th>
<th>Titel</th>
<th>Vortragende</th>
<th>Zeit (pünktl.)</th>
<th>1. Vorlesung</th>
</tr>
</thead>
<tbody>
<tr><td>250118</td><td>VO</td><td>4 (6,0)</td><td>
Einführung in die Mathematische Logik
</td><td>Hans Adler
</td><td>Mo 11:00-12:30
Mi 11:00-12:30</td>
<td>2009-10-05</td>
</tr>
<tr><td>250119</td><td>PS</td><td>2 (3,0)</td><td>
Proseminar zur Einführung in die Mathematische Logik
</td><td>Jakob Kellner
</td><td>Mo, 17:00-18:30</td>
<td>2009-10-12</td>
</tr>

<tr><td>250120</td><td>VO</td><td>2 (3,0)</td><td>
Axiomatische Mengenlehre 2
</td><td>Jakob Kellner
</td><td>Do 11:00-12:30</td><td>2009-10-08</td>
</tr>

<tr><td>250121</td><td>VO</td><td>2 (3,0)</td><td>
Anwendungen der Mathematischen Logik
</td><td>Martin Goldstern
</td><td>Do 9:30-11:00</td>
<td>2009-10-08</td>
</tr>

<tr><td>250122</td><td>SE</td><td>2 (4,0)</td><td>
[#Seminar_Mathematische Seminar aus der Mathematischen Logik]
</td><td>Sy-David Friedman
</td><td>Mi 14:00-15:00
Do 14:00-15:00</td>
<td>2009-10-01</td>
</tr>

<tr><td>250123</td><td>SE</td><td>2 (4,0)</td><td>
[#Forschungsseminar Forschungsseminar aus der Mathematischen Logik]
</td><td>Sy-David Friedman
</td><td>Do 16:00-17:30</td>
<td>2009-10-01</td>
</tr>

</tbody>
</table>

== Inhalte der Lehrveranstaltungen ==

<a name="Seminar_Mathematische"></a>
=== Seminar aus der Mathematischen Logik ===

Zeit: Mi und Do, 14:00 - 15:00

Beginn: 2009-10-01

In diesem Seminar werden Vorträge über die Mathematische Logik von Studierenden gehalten, die die Vorlesung "Einführung in die Math. Logik" schon
besucht haben.

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

Zeit: Do 16:00 - 17:30

Beginn: 2009-10-01

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