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

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

* Note: Information on this page is tentative and subject to change without notice!

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

Place: All courses apart from "Basic concepts" VO+UE will be given in the KGRC lecture room ([[Floor plan|room 101]]).
The "Introduction" VO will be given at [http://www.studyguide.at/uni/hoersaal?uni_code=A&amp;raumcode_uni=5 UZA 2, lecture room 3].
The "Introduction" UE will be given at [http://www.studyguide.at/uni/hoersaal?uni_code=A&amp;raumcode_uni=1721 UZA 2, lecture room 1].

{{Vorlesungsverzeichnis3en|S2013}}

{{table top|Number|Type|Hours (ECTS)|Title|Module|Lecturer|Time|Language}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250064&amp;semester=S2013 250064]|VO|2 (3.0)|[/~adler/S2013/Grundbegriffe_der_mathematischen_Logik.html Basic concepts of mathematical logic]|[#Modules MLOL]|[/~adler/ Hans Adler]|Tue 1:15pm–2:45pm<br/>starts 2013-03-05|German}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250065&amp;semester=S2013 250065]|UE|1 (2.0)|[/~kellner/teaching/2013SS_UE_Grundbegriffe/ Tutorials "Basic concepts of mathematical logic"]|[#Modules MLOL]|[/~kellner/ Jakob Kellner]|Thu 12:05–12:50pm<br/>starts 2013-03-07|German}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250075&amp;semester=S2013 250075]|VO|3 (5.0)|[/~kellner/teaching/2013SS_VO_ML/ Axiomatic set theory&nbsp;1]|[#Module MLOM]|[/~kellner/ Jakob Kellner]|Fri 8:30am-11am<br/>starts 2013-03-08|German; English possible by agreement}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250076&amp;semester=S2013 250076]|PS|2 (3.0)|Introductory seminar: "Axiomatic set theory&nbsp;1"|[#Modules MLOM]|Stefan Hoffelner|Wed 4pm-5:30pm<br/>starts 2013-03-13|German; English possible by agreement}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250077&amp;semester=S2013 250077]|VO|3 (5.0)|[/~muellem3/teaching.html Introduction to theoretical computer science]|[#Modules MLOI]|[/~muellem3/ Moritz Müller]|Tue 5pm-7:30pm<br/>(15 minutes break)<br/>starts 2013-03-12|English possible by agreement}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250121&amp;semester=S2013 250121]|VO|2 (3.0)|[/~adler/S2013/Rekursionstheorie.html Recursion Theory]|[#Modules MLOV]|[/~adler/ Hans Adler]|Tue 3:15pm-4:45pm<br/>starts 2013-03-05|English possible by agreement}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250120&amp;semester=S2013 250120]|VO|2 (4.0)|[#AK Selected topics in set theory]|[#Modules MLOV]|[/~sdf/ Sy-David Friedman]|Tue, Thu 2:00–3:00pm<br/>starts 2013-03-05|English}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250119&amp;semester=S2013 250119]|PJ+SE|2 (4.0)|[#PJSE Project seminar (mathematical logic)]|[#Modules MLOS]|[/~sdf/ Sy-David Friedman]|Mon, Wed 2:00pm–3:00pm<br/>starts 2013-03-06|English}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250118&amp;semester=S2013 250118]|SE|2 (4.0)|[#Forschungsseminar Research seminar in mathematical logic]|[#Modules MLOS]|[/~sdf/ Sy-David Friedman]|Thu&nbsp;4:00pm–6:00pm<br/>starts 2013-03-07|English}}
{{table bottom}}

There was a preparatory meeting for Axiomatic set theory 1, the introductory seminar, Introduction to theoretical computer science and Recursion Theory on 2013-03-04, 10:00am, in the KGRC lecture room ([[Floor plan|room 101]]).

== Course details ==

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

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

Invariant Descriptive Set Theory

We will follow Gao's book of the above title with a focus on the Borel reducibility of equivalence relations. An important aim will be to 
understand to what extent the results from the classical theory extend to equivalence relations on the generalised Baire space $\kappa^\kappa$ 
where $\kappa$ is uncountable (and there are only $\kappa$-many bounded subsets of $\kappa$).

=== <a name="PJSE"></a>Project seminar (mathematical logic) ===

Time: Mondays, Wednesdays 2:00pm–3:00pm<br/>
starts 2013-03-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: Thursdays 4:00pm–6:00pm<br/>
starts 2013-03-07

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)