{{menu|Teaching|Courses Winter Semester 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>

{{DE|Winter-LVA}}

Place: All courses will be given in the KGRC lecture room ([[Floor plan|room 101]]).

* Note: All lectures at the KGRC are given in English, or at least can be given in English if requested.

{{table top|Number|Type|Hours (ECTS)|Title|Module|Lecturer|Time|Language}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250077&amp;semester=W2014&amp;extended=Y 250077]|VO|3.0 (5.0)|[/~muellem3/teaching.html Introduction to theoretical computer science]|MLOI|[/~muellem3/ Moritz Müller]|Thu 10:00am–12:30pm<br/>begins 2014-10-09|English}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250084&amp;semester=W2014&amp;extended=Y 250084]|VO|2.0 (7.0)|Set theory (reading course)|MLOV|[http://www.logic.univie.ac.at/~farkasb8/ Barnabas Farkas]|Tue 4:00pm–5:30pm<br/>begins 2014-10-07|English}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250078&amp;semester=W2014&amp;extended=Y 250078]|VO|4.0 (6.0)|Introduction to mathematical logic|MLOL|[/~lzdomsky/ Lyubomyr Zdomskyy]|Wed 3:15pm–4:50pm<br/>Fri 9:45am–11:20am<br/>begins 2014-10-08|German}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250079&amp;semester=W2014&amp;extended=Y 250079]|PS|2.0 (3.0)|Introductory seminar: "Introduction to mathematical logic"|&nbsp;|[/~muellem3/ Moritz Müller],<br/>Stefan Hoffelner|Mon 5:30pm–7:00pm<br/>begins 2014-10-06|English}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250081&amp;semester=W2014&amp;extended=Y 250081]|SE|2.0 (4.0)|[#Seminar_Mathematische Seminar (mathematical logic)]|MLOS|[/~sdf/ Sy-David Friedman]|Mon, Wed 2:00pm–3:00pm<br/>begins 2014-10-06|English}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250082&amp;semester=W2014&amp;extended=Y 250082]|VO|2.0 (4.0)|[#AK Selected topics in mathematical logic]|MLOV|[/~sdf/ Sy-David Friedman]|Tue, Thu 2:00pm–3:00pm<br/>begins 2014-10-07|English}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250080&amp;semester=W2014&amp;extended=Y 250080]|SE|2.0 (4.0)|[#Forschungsseminar Research Seminar (Mathematical logic)]|MLOS|[/~sdf/ Sy-David Friedman]|Thu 4:00pm–6:00pm<br/>begins 2014-10-09|English}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250083&amp;semester=W2014&amp;extended=Y 250083]|VO|2.0 (4.0)|[/~wongt9/teach/modelarith/ Model theory of arithmetic]|MLOV|[/~wongt9/ Tin Lok Wong]|Wed 12:00pm–1:35pm<br/>begins 2014-10-08|English}}
{{table bottom}}

== Course details ==

=== <a name="AK"></a>Selected Topics in Mathematical Logic ===

Time: Tue, Thu 2:00pm–3:00pm<br/>
starts 2014-10-07

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 (Mathematical Logic) ===

Time: Mon, Wed 2:00pm–3:00pm<br/>
starts 2014-10-06

In this Seminar, students give talks about advanced topics in mathematical
Logic. This seminar is intended mainly for students writing their diploma, master or PhD
thesis at the KGRC.

=== <a name="Forschungsseminar"></a>Research Seminar ===

Time: Thu 4:00pm–6:00pm<br/>
starts 2014-10-09

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

== <a name="Modules"></a>Modules ==
'''MLOL''' - Mathematische Logik (mathematical logic)

'''MLOM''' - Axiomatische Mengenlehre (axiomatic set theory)

'''MLOI''' - Theoretische Informatik (theoretical computer science)

'''MLOS''' - Seminare: Mathematische Logik und theoretische Informatik (seminars in mathematical logic and computer science)

'''MLOV''' - Vertiefungslehrveranstaltungen für den Studienschwerpunkt 
"Mathematische Logik und theoretische Informatik" (courses elaborating on mathematical logic and theoretical computer science as an area of study)