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

{{Vorlesungsverzeichnis3|W2007}}

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

Die Zeiten der LVAs (Stand: 8. Oktober 2007) sollten sich nicht mehr ändern, trotzdem: Jederzeitige Änderungen bleiben vorbehalten!

<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>250270</td><td>VO</td><td>2</td><td>
[#Grundbegriffe Grundbegriffe der Mathematischen Logik]
</td><td>Heike Mildenberger
</td><td>Di&nbsp;15:30-17:00</td>
<td>02.10.2007</td>
</tr>

<tr><td>250269</td><td>PS</td><td>1</td><td>
[#Proseminar_Grundbegriffe Proseminar zu den Grundbegriffen der Mathematischen Logik]
</td><td>Heike Mildenberger
<td>Di 17:15-18:00</td>
<td>02.10.2007</td>
</tr>

<tr><td>250272</td><td>VO</td><td>3</td><td>
[#Axiomatische Axiomatische Mengenlehre 1]
</td><td>Agatha Walczak-Typke,

Heike Mildenberger</td>
<td>Mo 17:00-19:30</td>
<td>08.10.2007</td>
</tr>

<tr><td>250271</td><td>PS</td><td>2</td><td>
[#Proseminar_Axiomatische Proseminar: Axiomatische Mengenlehre 1]
</td><td>David Schrittesser</td>
<td>Mo 12:45-14:15</td>
<td>08.10.2007</td>
</tr>

<tr><td>250273</td><td>VO</td><td>2</td><td>
[#Modelltheorie Modelltheorie]
</td><td>Agatha Walczak-Typke</td>
<td>Fr 13:00-15:00</td>
<td>05.10.2007</td>
</tr>

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

<tr><td>250275</td><td>SE</td><td>2</td><td>
[#SE_aus_ML Seminar aus der Mathematischen Logik]
</td><td>Sy D. Friedman
</td><td>Mo 14:30-15:30

Mi 14:00-15:00</td>
<td>01.10.2007</td>
</tr>

<tr><td>250276</td><td>SE</td><td>2</td><td>
[#Forschungsseminar Forschungsseminar: Mathematische Logik]
</td><td>Sy D. Friedman
</td><td>Do 16:00-17:30</td>
<td>04.10.2007</td>
</tr>

</tbody>
</table>

<h1>Inhalte der Lehrveranstaltungen</h1>

<a name="Grundbegriffe"></a>
== Grundbegriffe der Mathematischen Logik ==

Zeit: Dienstag 15:30-17:00

Beginn: 2. Oktober 2007

Diese Vorlesung führt in die grundlegenden Ideen der modernen mathematischen Logik ein.
Themen sind: Aussagenlogik, das Lemma von Zorn, das Auswahlaxiom,
die Logik der ersten Stufe, der Gödel'sche Vollständigkeitssatz, Berechenbarkeit und rekursive Aufzählbarkeit,
die Gödel'schen Unvollständigkeitssätze, das Axiomensystem von Zermelo und Fraenkel.

Vorkenntnisse: Es werden keine Vorkenntnisse in der mathematischen Logik vorausgesetzt, wohl aber genügend Erfahrung im
mathematischen Beweisen, so wie man sie etwa in den Anfangssemestern des Mathematikstudiums erwirbt. Die Vorlesung kann ab
dem dritten Semester gehört werden.

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

Zeit: Dienstag 17:15-18:00

Beginn: 2. Oktober 2007

Es gibt Hausübungen, und es gibt Gelegenheit, Fragen zur Vorlesung zu stellen. In diesem Proseminar sollen Sie lernen, mit
den in der Vorlesung vorgestellten Techniken selbständig und souverän umzugehen.

<a name="Axiomatische"></a>
== Axiomatische Mengenlehre 1 ==
Zeit: Montag 17:00-19:30

Beginn: 8. Oktober 2007

Vorbesprechung: Di, 2. Oktober 2007, 13:30 Uhr

Inhalte folgen.

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

Zeit: Montag 12:45-14:15

Beginn: 8. Oktober 2007

Vorbesprechung: Di, 2. Oktober 2007, 13:30 Uhr

Inhalte folgen.

<a name="Modelltheorie"></a>
== Modelltheorie ==

Zeit: Freitag 13:00-15:00

Beginn: 5. Oktober 2007

Vorbesprechung: Di, 2. Oktober 2007, 13:30 Uhr

Inhalte folgen.

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

Zeit: Dienstag und Donnerstag 14:15-15:15

Beginn: 2. Oktober 2007


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 14:30-15:30, Mittwoch 14:00-15:00

Beginn: 1. Oktober 2007


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 ==

Zeit: Donnerstag 16:00-17:30

Beginn: 4. Oktober 2007

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