{{menu|Teaching|Courses Summer Semester 2012}}

<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|Sommer-LVA}}

Place: All courses other than Basic concepts of mathematical logic VO and UE and Model theory 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.

Information on this page is tentative and subject to change!

{{Vorlesungsverzeichnis3en|S2012}}

{{table top|Number|Type|Hours (ECTS)|Title|Module|Lecturer|Time|Language}}
{{table row|250081|VO|2 (3.0)|[/~adler/S2012/Grundbegriffe_der_mathematischen_Logik.html Basic concepts of mathematical logic]|[#Modules MLO]|[http://www.logic.univie.ac.at/~adler/ Hans Adler]|Tuesday 16:15-17:45<br>(Hörsaal 2, UZA 2)|German}}
{{table row|250082|UE|1 (2.0)|Tutorials "Basic concepts of mathematical logic"|[#Modules MLO]|[http://www.logic.univie.ac.at/~muellem3/ Moritz Müller]|Monday 17:00-18:00<br/>(Hörsaal 3, UZA2)|German}}
{{table row|250089|VO|2 (3.0)|Model theory|[#Modules MLOV]|[http://www.logic.univie.ac.at/~adler/ Hans Adler]|Monday 11:15-12:45<br/>(2A180, UZA2)|German (English on demand)}}
{{table row|250083|VO|3 (5.0)|Introduction to theoretical computer science|[#Modules MLOI]|[http://www.logic.univie.ac.at/~muellem3/ Moritz Müller]|Tuesday 15:15-17:45|English}}
{{table row|250084|VO|3 (5.0)|[http://www.logic.univie.ac.at/~lzdomsky/set_theory_1_ss2012.pdf Axiomatic set theory&nbsp;1]|[#Modules MLOM]|[http://www.logic.univie.ac.at/~lzdomsky/ Lyubomyr Zdomskyy]|Tuesday 12:20-13:50<br/>Wednesday 13:00-13:45|English}}
{{table row|250085|PS|2 (3.0))|Introductory seminar: "Axiomatic set theory&nbsp;1"|[#Modules MLOM]|Stefan Hoffelner|Friday 8:15-9:45|&nbsp;}}
{{table row|250087|VO|2 (3.0)|[#AK Selected Topics in Set Theory]|[#Modules MLOV]|[http://www.logic.univie.ac.at/~sdf/ Sy-David Friedman]|Tue, Thu 14:00-15:00<br/>starts 2012-03-01|English}}
{{table row|250086|PJ+SE|2 (4.0)|[#Projektseminar_Mathematische Project seminar (Mathematical logic)]|[#Modules MLOS]|[http://www.logic.univie.ac.at/~sdf/ Sy-David Friedman]|Mon, Wed 14:00-15:00<br/>starts 2012-03-05|&nbsp;}}
{{table row|250088|PJ+SE|2 (4.0)|[#Forschungsseminar Research Seminar]|[#Modules MLOV]|[http://www.logic.univie.ac.at/~sdf/ Sy-David Friedman]|Thu 16:00-17:30<br/>starts 2012-03-01|&nbsp;}}
{{table bottom}}


== Course details ==

=== <a name="AK"></a>Selected Topics in Set Theory ===

Time: Tuesday, Thursday 14:00-15:00<br/>
starts 2012-03-01

This course will serve as an introduction to Woodin's theory of $P_{max}$, as presented in Paul Larson's article in the
Handbook of Set Theory.

=== <a name="Projektseminar_Mathematische"></a>Project seminar (Mathematical logic) ===

Time: Monday, Wednesday 14:00-15:00<br/>
starts 2012-03-05

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: Thursday 16:00-17:30<br/>
starts 2012-03-01

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 theoretical 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)