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

{{Vorlesungsverzeichnis3|W2008}}

Mit Ausnahme der VO Einführung in die Theoretische Informatik (Seminarraum 2A180 UZAII) finden alle Lehrveranstaltungen 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>250121</td><td>VO</td><td>4</td><td>
[#Einf Einführung in die Mathematische Logik]
</td><td>Agatha Walczak-Typke
</td><td>Mo&nbsp;10:30-12:00
Di 10:30-12:00</td>
<td>2008-10-06</td>
</tr>

<tr><td>250122</td><td>PS</td><td>2</td><td>
[#Proseminar_Einf Proseminar zur Einführung in die Mathematische Logik]
</td><td>Jakob Kellner
</td><td>Mi 12:25-13:55</td>
<td>2008-10-07</td>
</tr>

<tr><td>250123</td><td>VO</td><td>3</td><td>
[#Theoretische_Inf Einführung in die Theoretische Informatik]
</td><td>Jakob Kellner (2h),

Ajdin Halilovic (1h)
</td><td>Di 17:00-18:05
Mi 16:00-17:10</td>
<td>2008-10-07</td>
</tr>

<tr><td>250124</td><td>SE</td><td>2</td><td>
[#Seminar_Mathematische Seminar aus der Mathematischen Logik]
</td><td>Sy-David Friedman
</td><td>Mo 14:00-15:00
Mi 14:00-15:00</td>
<td>2008-10-01</td>
</tr>

<tr><td>250125</td><td>VO</td><td>2</td><td>
[#AK_Mengenlehre Ausgewählte Kapitel aus der Mathematischen Logik]
</td><td>Sy-David Friedman
</td><td>Di 14:00-15:00
Do 14:00-15:00</td>
<td>2008-10-02</td>
</tr>

<tr><td>250126</td><td>SE</td><td>2</td><td>
[#Forschungsseminar Forschungsseminar aus der Mathematischen Logik]
</td><td>Sy-David Friedman
</td><td>Do 16:00-17:30</td>
<td>2008-10-02</td>
</tr>
<tr><td></td><td>VO</td><td>2</td><td>
[#Grundbegriffe Grundbegriffe der Mathematischen Logik]

erst wieder <strong>nächstes Semester</strong>.
</td><td>
</td><td></td>
<td></td>
</tr>
<tr><td></td><td>VO</td><td>3</td><td>
[#Grundbegriffe Axiomatische Mengenlehre 1]

erst wieder <strong>nächstes Semester</strong>.
</td><td>
</td><td></td>
<td></td>
</tr>
<tr><td></td><td>VO</td><td>2</td><td>
[#Grundbegriffe Axiomatische Mengenlehre 2]

erst wieder <strong>Wintersemester 2009</strong>.
</td><td>
</td><td></td>
<td></td>
</tr>

</tbody>
</table>
<a name="Grundbegriffe"></a>
=== Grundbegriffe der mathematischen Logik, Axiomatische Mengenlehre ===


Aufgrund der Umstellungen im Rahmen der Einführung der neuen Studienpläne 
<strong>entfällt
</strong> dieses Semester die Lehrveranstaltung
'' Grundbegriffe der Mathematischen Logik 
'' (VO, 2St) (Pflicht-LVA für das alte Diplomstudium und für 
den wissenschaftlichen Zweig des neuen Bachelor-Studiums).
Diese LVA wird ab sofort im Sommersemester angeboten, das nächste mal im
Sommersemester 2009.
Auch die Axiomatische Mengenlehre 1 wird im Sommersemester (ab 2008) angeboten,
die Axiomatische Mengenlehre 2 im Wintersemester (ab 2009).

== Inhalte der Lehrveranstaltungen ==

<a name="Einf"></a>
=== Einführung in die Mathematische Logik ===

Zeit: Mo und Di, 10:30 - 12:00

Beginn: 2008-10-06

Diese vierstündige Vorlesung führt in die grundlegenden Ideen der mathematischen Logik ein. Wir stellen die Sprache der ersten Stufe vor und beweisen die
Gödelschen Sätze. Zum Beweisen der Unvollständigkeitssätze beschäftigen wir uns auch mit einigen Grundlagen aus der Rekursionstheorie und der
Beweistheorie.

Kenntnisse aus der Grundbegriffe-Vorlesung sind nützlich, aber nicht unbedingt erforderlich.


<a name="Proseminar_Einf"></a>
=== Proseminar zur Einführung in die Mathematische Logik ===

Zeit: Mi 12:25 - 13:55

Beginn: 2008-10-07
<a name="Theoretische_Inf"></a>
=== Einführung in die Theoretische Informatik ===

Vorlesung Zeit:	Di 17:00 - 18:05 und Mi 16:00-17:10

Vorlesung Ort:	Seminarraum 2A180 UZAII


Kann man "Algorithmus", "berechenbar" etc. überhaupt (befriedigend) definieren? (Ja!)

Gibt es Funktionen die man nicht berechnen, Probleme die man nicht entscheiden kann? (Ja!)

Kann man das auch beweisen? (Ja!)

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

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

Beginn: 2008-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="AK_Mengenlehre"></a>
=== Ausgewählte Kapitel aus der Mathematischen Logik ===

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

Beginn: 2008-10-02

This will be a leisurely look at the development of infinite and finite model theory, based on John Baldwin's article "Finite and Infinite Model Theory,
A Historical Perspective"

Baldwin's article contains no proofs; I'll try to provide some proofs using other sources.

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

Zeit: Do 16:00 - 17:30

Beginn: 2008-10-02



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