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 (1)

Elementare Logik: Klassische Aussagen- und Prädikatenlogik

0 Präliminarien

1.1  Aussagenlogik: Repräsentieren / Formalisieren

1.2  Aussagenlogik: Syntaktik

1.3  Aussagenlogik: Semantik

1.4 / 2.4  Aussagen- und Prädikatenlogik: Kalkül / Herleitungsordnung

Handouts zur Elementaren Logik (2)

Elementare Logik: Klassische Aussagen- und Prädikatenlogik

2.1  Prädikatenlogik: Repräsentieren / Formalisieren

2.2  Prädikatenlogik: Syntaktik

2.3  Prädikatenlogik: Semantik

2.4  Aussagen- und Prädikatenlogik: Kalkül / Herleitungsordnung

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]