Lehre

Lehrtätigkeit im Wintersemester 2024/25

501.403REÜbung zur Elementaren Logik 

Übung zur Elementaren Logik

Einen Text mit einigen allgemeinen Informationen über den Ablauf der Übung zur Elementaren Logik (einschließlich Kriterien für eine positive Absolvierung) im Wintersemester 2024/25 finden Sie »hier«
Letzte Änderung:
06. Jan. 2025, 18:34
.
Den Punkteschlüssel für die Beurteilung von Übungseinheit 1 im Wintersemester 2024/25 finden Sie »hier«
Letzte Änderung:
04. Nov. 2024, 23:58
.

Lehre: Archiv

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

Handouts 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]