{{menu|Teaching|Courses Winter Semester 2013–2014}}

<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=250102&amp;semester=W2013&amp;extended=Y 250102]|VO|3 (5.0)|[http://www.logic.univie.ac.at/~muellem3/teaching.html Introduction to theoretical computer science]|[#Modules MLOI]|[/~muellem3/ Moritz Müller]|Fri&nbsp;4:00pm–6:30pm<br/>starts 2013-10-04|German; English possible by agreement}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250103&amp;semester=W2013&amp;extended=Y 250103]|VO|4 (6.0)|[/~kellner/teaching/2013WS_VO_Einfuehrung/ Introduction to mathematical logic]|[#Modules MLOL]|[/~kellner/ Jakob Kellner]|see [http://www.logic.univie.ac.at/~kellner/teaching/2013WS_VO_Einfuehrung/ here]|German}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250104&amp;semester=W2013&amp;extended=Y 250104]|PS|2 (3.0)|[http://www.logic.univie.ac.at/~muellem3/teaching.html Introductory seminar: "Introduction to mathematical logic"]|[#Modules MLOL]|Stefan Hoffelner<br/>[/~muellem3/ Moritz Müller]|Fri&nbsp;2:00pm–3:30pm<br/>starts 2013-10-11|German}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250105&amp;semester=W2013&amp;extended=Y 250105]|SE|2 (4.0)|[#Seminar_Mathematische Seminar (mathematical logic)]|[#Modules MLOS]|[/~sdf/ Sy-David Friedman]|Mon, Wed 2:00pm–3:00pm<br/>starts 2013-10-07|English}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250106&amp;semester=W2013&amp;extended=Y 250106]|VO|2 (4.0)|[#AK Selected topics in mathematical logic]|[#Modules MLOV]|[/~sdf/ Sy-David Friedman]|Tue, Thu 2:00pm–3:00pm<br/>starts 2013-10-08|English}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250107&amp;semester=W2013&amp;extended=Y 250107]|SE|2 (4.0)|[#Forschungsseminar Research seminar in mathematical logic]|[#Modules MLOV]|[/~sdf/ Sy-David Friedman]|Thu&nbsp;4:00pm–6:00pm<br/>starts 2013-10-10|English}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250108&amp;semester=W2013&amp;extended=Y 250108]|VO|2 (7.0)|Set theory (reading course)|[#Modules MLOV]|[/~ykhomski/ Yurii Khomskii]|Wed&nbsp;3:00pm–5:00pm<br/>starts 2013-10-09|English}}
{{table bottom}}

== Course details ==

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

Time: Tuesdays, Thursdays 2:00pm–3:00pm<br/>
starts 2013-10-08

Models and Games

We will follow Väänänen's recent book of the above title with a focus on how to characterise elementary equivalence logics extending first-order logic.

=== <a name="Seminar_Mathematische"></a>Seminar (Mathematical Logic) ===

Time: Mondays, Wednesdays 2:00pm–3:00pm<br/>
starts 2013-10-07

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: Thursdays 4:00pm–6:00pm<br/>
starts 2013-10-10

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)