{{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.

* Hinweis: Die Information auf dieser Seite ist vorläufig und kann sich jederzeit ohne Vorankündigung ändern!

{{table top|Nummer|Typ|WSt (ECTS)|Titel|Modul|Vortragender|Zeit (pünktl.)|Sprache}}
{{table row|&nbsp;|VO|3,0 (n.v.)|Einführung in die theoretische Informatik|&nbsp;|[/~muellem3/ Moritz Müller]|siehe [#prep_meeting Vorbesprechung]||&nbsp;}}
{{table row|&nbsp;|VO|2,0 (n.v.)|Mengenlehre (reading course)|&nbsp;|NN|siehe [#prep_meeting Vorbesprechung]||&nbsp;}}
{{table row|&nbsp;|VO|4,0 (n.v.)|Einführung in die mathematische Logik|&nbsp;|[/~lzdomsky/ Lyubomyr Zdomskyy]|siehe [#prep_meeting Vorbesprechung]||&nbsp;}}
{{table row|&nbsp;|PS|2,0 (n.v.)|Proseminar zu "Einführung in die Mathematische Logik"|&nbsp;|[/~muellem3/ Moritz Müller],<br/>NN|siehe [#prep_meeting Vorbesprechung]||&nbsp;}}
{{table row|&nbsp;|SE|2,0 (n.v.)|[#Seminar_Mathematische Seminar (mathematische Logik)]|&nbsp;|[/~sdf/ Sy-David Friedman]|Mo, Mi 14:00-15:00<br/>Beginn: 2014-10-06|Englisch}}
{{table row|&nbsp;|VO|2,0 (n.v.)|[#AK Ausgewählte Kapitel aus der mathematischen Logik]|&nbsp;|[/~sdf/ Sy-David Friedman]|Di, Do 14:00-15:00<br/>Beginn: 2014-10-07|Englisch}}
{{table row|&nbsp;|SE|2,0 (n.v.)|[#Forschungsseminar Forschungsseminar aus der mathematischen Logik]|&nbsp;|[/~sdf/ Sy-David Friedman]|Do 16:00-18:00<br/>Beginn: 2014-10-02|Englisch}}
{{table row|&nbsp;|VO|2,0 (n.v.)|Modelltheorie der Arithmetik|&nbsp;|[/~wongt9/ Tin Lok Wong]|siehe [#prep_meeting Vorbesprechung]||Englisch}}
{{table bottom}}

== <a name="prep_meeting"></a>Vorbesprechung ==

Tage und Zeiten für Einführung in die theoretische Informatik, Mengenlehre (reading course), Einführung in die mathematische Logik, Proseminar zu "Einführung in die Mathematische Logik" und Modelltheorie der Arithmetik werden in der Vorbesprechung festgelegt. Ort und Zeit der Vorbesprechung werden 
später bekanntgegeben werden.

== 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.''

''Inhalte werden später angekündigt.''

=== <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-02

''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"