{{menu|Teaching|Lehrveranstaltungen Wintersemester 2014-2015}}

<nowiki>
<!--
<script type="text/x-mathjax-config">
  MathJax.Hub.Config({
    tex2jax: {
      inlineMath: [ ['$','$'], ["\(","\)"] ],
      processEscapes: true
    }
  });
</script>
<script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS_HTML">
</script>
-->
</nowiki>

{{EN|Winter_courses}}

Ort: Alle Lehrveranstaltungen finden im Seminarraum des KGRC ([[Floor plan|Zimmer 101]]) statt. 

* Hinweis: Alle Lehrveranstaltungen am KGRC werden auf Englisch abgehalten, oder können zumindest bei Bedarf auf Englisch abgehalten werden.

{{table top|Nummer|Typ|WSt (ECTS)|Titel|Modul|Vortragender|Zeit (pünktl.)|Sprache}}
{{table row|[http://online.univie.ac.at/vlvz?lang=de&amp;lvnr=250077&amp;semester=W2014&amp;extended=Y 250077]|VO|3,0 (5,0)|[/~muellem3/teaching.html Einführung in die theoretische Informatik]|MLOI|[/~muellem3/ Moritz Müller]|Do 10:00-12:30<br/>Beginn: 2014-10-09|Englisch}}
{{table row|[http://online.univie.ac.at/vlvz?lang=de&amp;lvnr=250084&amp;semester=W2014&amp;extended=Y 250084]|VO|2,0 (7,0)|Reading Course Mengenlehre|MLOV|[http://www.logic.univie.ac.at/~farkasb8/ Barnabas Farkas]|Di 16:00-17:30<br/>Beginn: 2014-10-07|Englisch}}
{{table row|[http://online.univie.ac.at/vlvz?lang=de&amp;lvnr=250078&amp;semester=W2014&amp;extended=Y 250078]|VO|4,0 (6,0)|Einführung in die mathematische Logik|MLOL|[/~lzdomsky/ Lyubomyr Zdomskyy]|Mi 15:15-16:50<br/>Fr 9:45-11:20<br/>Beginn: 2014-10-08|Deutsch}}
{{table row|[http://online.univie.ac.at/vlvz?lang=de&amp;lvnr=250079&amp;semester=W2014&amp;extended=Y 250079]|PS|2,0 (3,0)|Proseminar zu "Einführung in die Mathematische Logik"|&nbsp;|[/~muellem3/ Moritz Müller],<br/>Stefan Hoffelner|Mo 17:30-19:00<br/>Beginn: 2014-10-06|Englisch}}
{{table row|[http://online.univie.ac.at/vlvz?lang=de&amp;lvnr=250081&amp;semester=W2014&amp;extended=Y 250081]|SE|2,0 (4,0)|[#Seminar_Mathematische Seminar (Mathematische Logik)]|MLOS|[/~sdf/ Sy-David Friedman]|Mo, Mi 14:00-15:00<br/>Beginn: 2014-10-06|Englisch}}
{{table row|[http://online.univie.ac.at/vlvz?lang=de&amp;lvnr=250082&amp;semester=W2014&amp;extended=Y 250082]|VO|2,0 (4,0)|[#AK Ausgewählte Kapitel aus der Mathematischen Logik]|MLOV|[/~sdf/ Sy-David Friedman]|Di, Do 14:00-15:00<br/>Beginn: 2014-10-07|Englisch}}
{{table row|[http://online.univie.ac.at/vlvz?lang=de&amp;lvnr=250080&amp;semester=W2014&amp;extended=Y 250080]|SE|2,0 (4,0)|[#Forschungsseminar Forschungsseminar aus der Mathematischen Logik]|MLOS|[/~sdf/ Sy-David Friedman]|Do 16:00-18:00<br/>Beginn: 2014-10-09|Englisch}}
{{table row|[http://online.univie.ac.at/vlvz?lang=de&amp;lvnr=250083&amp;semester=W2014&amp;extended=Y 250083]|VO|2,0 (4,0)|[/~wongt9/teach/modelarith/ Modelltheorie der Arithmetik]|MLOV|[/~wongt9/ Tin Lok Wong]|Mi 12:00-13:35<br/>Beginn: 2014-10-08|Englisch}}
{{table bottom}}

== Inhalte der Lehrveranstaltungen ==

=== <a name="AK"></a>Ausgewählte Kapitel aus der Mathematischen Logik ===

Zeit: Di, Do 14:00-15:00<br/>
Beginn: 2014-10-07

''Diese Lehrveranstaltung wird auf Englisch abgehalten.''

The Philosphy and Mathematics of Set-Theoretic Truth

This will be a course devoted to the approach to Set-Theoretic Truth given by the Hyperuniverse Programme. I'll begin with a discussion of the Iterative
Conception as well as the Potentialism vs. Actualism debate in our understanding of structure of the set-theoretic universe. Then after touching on various
Multiverse Conceptions I'll focus in detail on the Hyperuniverse Programme: Mental pictures and Maximality, the Reduction to the Hyperuniverse, H-Axioms, the IMH
and its variants, #-Generation and the Synthesis of Mathematical Criteria. The optimistic aim of the Programme is to discover new first-order consequences of the
Maximality feature of the Universe of Sets which resolve fundamental problems in Set Theory such as the Continuum Problem.

=== <a name="Seminar_Mathematische"></a>Seminar (Mathematische Logik) ===

Zeit: Mo, Mi 14:00-15:00<br/>
Beginn: 2014-10-06

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-18:00<br/>
Beginn: 2014-10-09

''Diese Lehrveranstaltung wird auf Englisch abgehalten.''

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

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

'''MLOM''' - Axiomatische Mengenlehre

'''MLOI''' - Theoretische Informatik

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

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