Dr. Moritz Müller, Privatdoz.

2016W

• 250073 VO Introduction to theoretical computer science
• 250130 VO Topics in computability

2016S

• 250085 VO Grundbegriffe der mathematischen Logik
• 250092 VO Modelltheorie

2015W

• 250071 PS Proseminar zu "Einführung in die Mathematische Logik"
• 250074 VO Einführung in die Theoretische Informatik

2015S

• 250077 VO Grundbegriffe der mathematischen Logik
• 250131 VO Berechenbarkeit und Komplexität

2014W

• 250077 VO Einführung in die Theoretische Informatik
• 250079 PS Proseminar zu "Einführung in die Mathematische Logik"

2014S

• 250080 VO Grundbegriffe der mathematischen Logik
• 250087 VO Berechenbarkeit und Komplexität

2013W

• 250102 VO Einführung in die Theoretische Informatik
• 250104 PS Proseminar zu "Einführung in die Mathematische Logik"

2013S

• 250077 VO Einführung in die Theoretische Informatik

2012W

• 250127 VO Forcing with random variables

2012S

• 250082 UE Übungen zu "Grundbegriffe der mathematischen Logik"
• 250083 VO Einführung in die Theoretische Informatik