Lehre

Lehrtätigkeit im Wintersemester 2025/26

501.403REÜbung zur Elementaren Logik 

Übung zur Elementaren Logik

Lehre: Archiv

Eine Aufstellung meiner vergangenen Lehrtätigkeit finden Sie »hier«.

Handouts zur Elementaren Logik

Elementare Logik: Klassische Aussagen- und Prädikatenlogik

Ergänzende Übungen zur Elementaren Logik

Elementare Logik: Klassische Aussagen- und Prädikatenlogik

Der Satz von Alonzo Church: Die Unentscheidbarkeit der Prädikatenlogik

Skriptum

Ein Skriptum zu diesem Kurs gibt es »hier«
Letzte Änderung:
28. Feb. 2022, 13:33
.

Kriterien für eine positive Absolvierung

  • Bearbeitung von Übungsaufgaben
  • mündliche Diskussionsbeiträge in den Sitzungen der Lehrveranstaltung
  • Abschlusskolloquium

Bilschirmpräsentationen

Grenzen der Beweisbarkeit: Der erste Gödelsche Unvollständigkeitssatz

Bildschirmpräsentationen

Übungsaufgaben

Übungseinheit 1
Letzte Änderung:
16. Mai 2022, 17:57

Handouts zur Elementaren Logik – ALT

Die folgenden Handouts sind aufgrund der Umstellungen der Lehre der Elementaren Logik in Graz in jüngerer Zeit veraltet.

Elementare Logik I: Klassische Junktorenlogik

Elementare Logik II: Klassische Quantorenlogik

Handouts zur Elementaren Logik – ALT (Fortsetzung)

Elementare Logik II: Formale Semantik

Elementare Logik II [Varia Logica]