{{menu|Teaching|Lehrveranstaltungen Wintersemester 2011-2012}}

{{EN|Winter_courses}}

* Hinweis: Alle Lehrveranstaltungen am KGRC (außer der ''Einführung in die Mathematische Logik'' VO + PS) werden auf Englisch abgehalten, oder können zumindest bei Bedarf auf Englisch abgehalten werden.

Die Informationen auf dieser Seite sind vorläufig und können sich jederzeit ändern!

{{Vorlesungsverzeichnis3|W2011}}

<table class="wikitable">
<thead>
<tr><th>Nummer</th>
<th>Typ</th>
<th>WSt (ECTS)</th>
<th>Titel</th>
<th>Modul</th>
<th>Vortragender</th>
<th>Zeit (p&uuml;nktl.)</th>
<th>Sprache</th>
</tr>
</thead>
<tbody><!--

--><tr><!--
--><td>250085</td><!--
--><td>VO</td><!--
--><td>4 (6,0)</td><!--
--><td>Einf&uuml;hrung in die Mathematische Logik<!--
--><td>[#Module MLOL]</td><!--
--><td>[http://www.logic.univie.ac.at/~adler/ Hans Adler]</td><!--
--><td align="center">Mi 15:15-16:45<br/>Do 11:15-12:45<br/>Beginn: 2011-10-06</td><!--
--><td rowspan="2" align="center">Wahrscheinlich Englisch, nach einem deutschen Buch</td><!--
--></tr><tr><!--
--><td>250086</td><!--
--><td>PS</td><!--
--><td>2 (3,0)</td><!--
--><td>Proseminar zu "Einf&uuml;hrung in die Mathematische Logik"</td><!--
--><td>[#Module MLOL]</td><!--
--><td>[http://www.logic.univie.ac.at/~holy/ Peter Holy]</td><!--
--><td align="center">Mi 11:15-12:45<br/>Beginn: 2011-10-19</td><!--
--></tr><tr><!--
--><td>250090</td><!--
--><td>VO</td><!--
--><td>2 (7,0)</td><!--
--><td>[#RC Mengenlehre (reading course)]</td><!--
--><td>[#Module MLOV]</td><!--
--><td>[http://www.logic.univie.ac.at/~holy/ Peter Holy]</td><!--
--><td>Di 16:00-17:30<br/>Beginn: 2011-10-04</td><!--
--><td>Deutsch (bei&nbsp;Bedarf Englisch)</td><!--
--></tr><tr><!--
--><td>250088</td><!--
--><td>SE</td><!--
--><td>2 (4,0)</td><!--
--><td>Seminar (Mathematische Logik)</td><!--
--><td>[#Module MLOS]</td><!--
--><td>[http://www.logic.univie.ac.at/~sdf/ Sy-David Friedman]</td><!--
--><td>Mo, Mi 14:00-15:00<br/>Beginn: 2011-10-03</td><!--
--><td rowspan="3" align="center">Englisch</td><!--
--></tr><tr><!--
--><td>250087</td><!--
--><td>SE</td><!--
--><td>2 (4,0)</td><!--
--><td>[#Forschungsseminar Forschungsseminar aus der Mathematischen Logik]</td><!--
--><td>[#Module MLOS]</td><!--
--><td>[http://www.logic.univie.ac.at/~sdf/ Sy-David Friedman]</td><!--
--><td>Do&nbsp;16:00-17:30<br/>Beginn: 2011-10-06</td><!--
--></tr><tr><!--
--><td>250089</td><!--
--><td>VO</td><!--
--><td>2 (4,0)</td><!--
--><td>[#AK Ausgew&auml;hlte Kapitel aus der Mathematischen Logik]</td><!--
--><td>[#Module MLOV]</td><!--
--><td>[http://www.logic.univie.ac.at/~sdf/ Sy-David Friedman]</td><!--
--><td>Di, Do 14:00-15:00<br/>Beginn: 2011-10-04</td><!--
--></tr></tbody></table>

== Inhalte der Lehrveranstaltungen ==

=== <a name="RC"></a>Mengenlehre (reading course) ===

Zeit: Di 16:00-17:30<br/>
Beginn: 2011-10-04

An die Inhalte der Vorlesung Axiomatische Mengenlehre 1 aus dem letzten Semester anknüpfend, werden wir in "Kenneth
Kunen: Set Theory. An Introduction to Independence Proofs" weiterlesen. Das erste Ziel der Vorlesung wird sein Kapitel VII
(Forcing) genau durchzuarbeiten. Dazu werden wir auch Teile von Kapitel II (Infinitary Combinatorics) lesen. Weiters
werden wir uns dem iterierten Forcing zuwenden (vermutlich nach "Martin Goldstern: Tools for your Forcing Construction",
nicht nach Kunens Buch) und einige ausgewählte Kapitel aus den ersten beiden Teilen von "Thomas Jech: Set Theory. The
Third Millennium Edition" lesen.

In den wöchentlichen Treffen soll das Gelesene besprochen werden, sollen Unklarheiten geklärt werden und wird
Weiterführendes bzw. auf den Lesestoff der Folgewoche Vorbereitendes von mir präsentiert sowie auch eventuelle
Übungsbeispiele besprochen. Weiters möchte ich die Möglichkeit anbieten, mich bei Fragen oder Unklarheiten zum aktuellen
Lesestoff jederzeit per Mail oder persönlich zu kontaktieren.

Sollte der vorgeschlagene Termin ungünstig sein, kann in der ersten Einheit gern ein neuer verhandelt werden. Wer nicht
zur ersten Einheit kommen kann, dennoch gern teilnehmen möchte, sollte mich per Mail kontaktieren.

=== <a name="AK"></a>Ausgew&auml;hlte Kapitel aus der Mathematischen Logik ===

Zeit: Di und Do 14:00-15:00<br/>
Beginn: 2011-10-04

''Diese Lehrveranstaltung wird auf Englisch abgehalten.''

This will be a course on Descriptive Complexity Theory, following parts of the book "Finite Model Theory" by
Ebbinghaus-Flum. This theory relates logic and complexity theory in the following way: Consider finite structures S. Given
a complexity class C, is there a logic L such that the relations on S which belong to C are exactly those which are
definable in S using formulas from the logic L? We say that "L captures C". The main theorem of the subject provides a
positive answer for the complexity classes LOGSPACE, NLOGSPACE, PTIME, NPTIME and PSPACE, provided one restricts 
to *ordered* structures. We'll also look at the model theory of the logics that capture these classes and discuss the open
question of whether there is a logic that captures PTIME on *arbitrary* finite structures.

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

Zeit: Mo und Mi 14:00-15:00<br/>
Beginn: 2011-10-03

In diesem Seminar werden Vorträge über fortgschrittene Mathematische Logik von
Studierenden gehalten (in erster Linie von solchen, die am KGRC eine Diplom-
oder Masterarbeit oder Dissertation schreiben).

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

Zeit: Do 16:00 - 17:30<br/>
Beginn: 2011-10-06

Dies ist ein fortgeschrittenes Seminar in Mathematischer Logik für Doktoranden und PostDocs.

== <a name="Module"></a>Module ==
'''MLOL''' - Mathematische Logik

'''MLOM''' - Axiomatische Mengenlehre

'''MLOS''' - Seminare: Mathematische Logik und theoretische Informatik

'''MLOV''' - Vertiefungslehrveranstaltungen für den Studienschwerpunkt 
"Mathematische Logik und theoretische Informatik"