{{menu|Teaching|Lehrveranstaltungen im Sommersemester 2007}}

{{Vorlesungsverzeichnis2|S2007}}

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.&nbsp;Vorlesung</th></tr>
</thead>
<tbody>
<tr><td>250430</td><td>VO</td><td>4</td><td>
[#Mathematische_Logik Mathematische Logik]
</td><td>Heike Mildenberger
</td><td>Mo, Do 10:30-12:00</td>
<td>2007-03-08</td>
</tr>

<tr><td>250429</td><td>PS</td><td>2</td><td>
[#PS_Mathematische_Logik Proseminar zu Mathematische Logik]
</td><td>Agatha Walczak-Typke</td>
<td>Mo 12:30-14:00</td>
<td>2007-03-19</td>
</tr>

<tr><td>250431</td><td>VO</td><td>3</td><td>
[#Mengenlehre_2 Axiomatische Mengenlehre 2]
</td><td>
Agatha Walczak-Typke,
Sy-David Friedman
</td>
<td>Mi 13:30-15:30</td>
<td>2007-03-07</td>
</tr>

<tr><td>250432</td><td>VO</td><td>2</td><td>
[#Nichtklassische Nichtklassische Logiken]
</td><td>Peter Telec</td>
<td>Mo 15:15-16:45</td>
<td>2007-03-05</td>
</tr>

<tr><td>250433</td><td>SE</td><td>2</td><td>
[#Projektsem Projektseminar aus der Mathematischen Logik]
</td><td>Sy-David Friedman
</td><td>Di 15:30-16:30
Do 14:00-15:00</td>
<td>2007-03-19</td>
</tr>

<tr><td>250434</td><td>SE</td><td>2</td><td>
[#Forschungssem Forschungsseminar aus der Mathematischen Logik]
</td><td>Sy-David Friedman
</td><td>Do 16:00-17:30</td> <td>2007-03-15</td>
</tr>

</tbody>
</table>

==Inhalte der Lehrveranstaltungen==

<a name="Mathematische_Logik"></a>
== Mathematische Logik ==
Zeit: Mo, Do 10:30-12:00

Beginn: 8. März 2007

Vorbesprechung: Mo 5. 3. 2007, 13:00

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="PS_Mathematische_Logik"></a>
== Proseminar zu Mathematische Logik ==

Zeit: Mo 12:30-14:00

Beginn: 19. März 2007

Vorbesprechung: Mo 5. 3. 2007, 13:00 Uhr

<a name="Mengenlehre_2"></a>
== Axiomatische Mengenlehre 2 ==

Zeit: Mi 13:30-15:30

Beginn: 7. März 2007

Vorbesprechung: Mo 5. 3. 2007, 13:00

This continuation of Axiomatische Mengenlehre 1 will introduce forcing and Gödel's universe L of constructible sets. 
The independence of the Axiom of Choice from set theory with urelements as well as further topics 
in forcing will be discussed.

The lectures will be given in English. 

Literature:

* K. Kunen. Set Theory, An Introduction to Independence Proofs
* T. Jech, Set Theory
* A. Levy, Basic Set Theory

Prerequisites:

Basic knowledge of axiomatic set theory, such as presented in Axiomatische Mengenlehre 1.


<a name="Nichtklassische"><a/>
== Nichtklassische Logiken ==

Zeit: Mo 15:15-16:45

Beginn: 5. März 2007

Überblicksvorlesung über die wichtigsten nichtklassischen Logiken: mehrwertige, intuitionistische, 
minimale, intermediäre (superintuitionistische), substrukturale (relevante, BCK, BCI, Lambek-Kalkül, 
lineare), Quanten-, parakonsistente, Fuzzy-, nonmonotone Logiken. Umfangreiche Literaturangaben 
sollen zu weiterem Studium anregen.
<a name="Projektsem"></a>
== Projektseminar aus der Mathematischen Logik ==

Zeit: Di 15:30-16:30, Do 14:00-15:00

Beginn: 19. März 2007

Vorbesprechung: Mi, 14. 3. 2007, 13:00

In diesem Seminar werden die Forschungsprojekte von Diplomanden und Doktoranden präsentiert.
<a name="Forschungssem"></a>
== Forschungsseminar aus der Mathematischen Logik ==

Zeit: Do 16:00-17:30

Beginn: 15. März 2007

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