Mag. Dr. Johannes Hafner

2016W

• 180107 SE Anfänge der Modelltheorie mit besonderer Berücksichtigung von nicht-standard Modellen

2014S

• 180099 SE Turingmachinen und die Grenzen der Berechenbarkeit - Einführung in die Theorie der Berechenbarkeit unter Berücksichtigung ihrer philosophischen Vorraussetzungen und Konsequenzen.

2011S

• 180021 SE Logik oder Mengenlehre? - Der Streit um die Logik zweiter Stufe

2010S

• 180624 SE Gödels Unvollständigkeitstheoreme - Beschränkungen formaler Systeme - Konsequenzen für Erkenntnistheorie und Philosophie des Geistes Mini-Curriculum Logik IV

2008S

• 180394 SE Einführung in die Theorie der Berechenbarkeit

2007W

• 180361 UE-GKL Übung Logik

2007S

• 180415 SE Formale Logik und Philosophie - Formale Logik und Philosophie - Ausgewählte Kapitel zur formalen Semantik II (§ 3/2/5) ( § 4/1/5) (PP § 57.6) (PPP § 57.2.3)

2006W

• 180196 VO Ausgewählte Kapitel zur formalen Semantik - Ausgewählte Kapitel zur formalen Semantik (§ 3/2/5) (§ 3/2/6) ( § 4/1/5) (PP § 57.6) (PPP § 57.2.3)