Lehre

Lehrtätigkeit im Wintersemester 2025/26

Übung zur Elementaren Logik

• Informationen über Anmeldung und Platzvergabe
  Letzte Änderung:
  05. Okt. 2025, 19:07

Lehre: Archiv

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

Handouts zur Elementaren Logik

Elementare Logik: Klassische Aussagen- und Prädikatenlogik

• Bildschirmpräsentation: Vorbesprechung
  Letzte Änderung:
  22. Okt. 2024, 12:54
• Logik 0: Einführung, als Bildschirmpräsentation
  Letzte Änderung:
  21. Okt. 2024, 21:01
  und als Handout
  Letzte Änderung:
  21. Okt. 2024, 21:01
• Syntaktik: Der Satzvorrat der Aussagenlogik
  Letzte Änderung:
  01. Aug. 2020, 15:33
  , als Bildschirmpräsentation
• Der aussagenlogische und der prädikatenlogische Kalkül des natürlichen Schließens und Beweisstrategien
  Letzte Änderung:
  01. Aug. 2020, 15:33
  — als Hilfsmittel für die Prüfung zur Vorlesung Elementare Logik autorisierte Fassung
• Der aussagenlogische und der prädikatenlogische Kalkül des natürlichen Schließens und Herleitungsstrategien
  Letzte Änderung:
  07. Jän. 2025, 15:50
  — neue Fassung, nicht als Hilfsmittel für die Prüfung zur Vorlesung Elementare Logik autorisiert!
• Beispiele für Ableitungen im Kalkül des natürlichen Schließens
  Letzte Änderung:
  08. Jän. 2025, 00:07
• Ableitungen im Kalkül des natürlichen Schließens als Lückentexte
  Letzte Änderung:
  08. Jän. 2025, 00:07
   — und die Lösungen dazu
  Letzte Änderung:
  08. Jän. 2025, 00:07
• Formalisierungen in der Aussagenlogik
  Letzte Änderung:
  01. Aug. 2020, 15:33
  , als Bildschirmpräsentation
• Bildschirmpräsentation: Paradoxien der materialen Implikation
  Letzte Änderung:
  01. Aug. 2020, 15:33
  (Vorlesung zur Elementaren Logik I  vom 28.11.2017)
• Syntaktik: Der Satzvorrat der Prädikatenlogik
  Letzte Änderung:
  01. Aug. 2020, 15:33
  , auch als Bildschirmpräsentation
  Letzte Änderung:
  16. Jän. 2024, 18:31
  und als Handout dazu
  Letzte Änderung:
  16. Jän. 2024, 18:32
• Einsetzen (Substituieren), in Anlehnung an ein Merkblatt von Univ.-Prof. Dr. R. Kamitz
  Letzte Änderung:
  01. Aug. 2020, 15:33
• Gesetze der Prädikatenlogik: Folgerungsbeziehungen und Äquivalenzen, in Anlehnung an ein Merkblatt von Univ.-Prof. Dr. R. Kamitz
  Letzte Änderung:
  01. Aug. 2020, 15:33
• Bildschirmpräsentation: Quantorentauschgesetze und der Quantorentausch-Fehlschluss
  Letzte Änderung:
  01. Aug. 2020, 15:33
• Zahlenangaben in Prädikatenlogik mit Identität
  Letzte Änderung:
  01. Aug. 2020, 15:33
• Lösungen zur Übungseinheit 7
  Letzte Änderung:
  01. Aug. 2020, 15:33

Ergänzende Übungen zur Elementaren Logik

Elementare Logik: Klassische Aussagen- und Prädikatenlogik

• Ergänzende Übungen 1
  Letzte Änderung:
  19. Okt. 2025, 14:31
• Ergänzende Übungen 1: Lösungen
  Letzte Änderung:
  19. Okt. 2025, 14:31

• Ergänzende Übungen 2
  Letzte Änderung:
  01. Nov. 2025, 18:47
• Ergänzende Übungen 2: Lösungen
  Letzte Änderung:
  01. Nov. 2025, 18:47

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

Skriptum

Kriterien für eine positive Absolvierung

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

Bilschirmpräsentationen

• Administratives & Einleitung
  Letzte Änderung:
  01. Aug. 2020, 15:33
• Der infinite Abacus
  Letzte Änderung:
  23. Mai 2023, 19:03

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

Bildschirmpräsentationen

• Administratives & Einleitung
  Letzte Änderung:
  16. Sep. 2022, 12:11
• Historisch-systematische Einführung
  Letzte Änderung:
  16. Sep. 2022, 12:11
• Arithmetik
  Letzte Änderung:
  16. Sep. 2022, 12:11
• Gödelisierung
  Letzte Änderung:
  16. Sep. 2022, 12:11
  (Handout-Version
  Letzte Änderung:
  16. Sep. 2022, 12:11
  )
• Rekursive Funktionen
  Letzte Änderung:
  23. Mai 2023, 19:08
• Zwischenbilanz I
  Letzte Änderung:
  16. Sep. 2022, 12:11
• Arithmetisierung der Metamathematik
  Letzte Änderung:
  16. Sep. 2022, 12:11
  (Handout-Version
  Letzte Änderung:
  16. Sep. 2022, 12:11
  )
• Zwischenspiel: Eine rekursive Funktion, die nicht primitiv-rekursiv ist
  Letzte Änderung:
  16. Sep. 2022, 12:11
• Repräsentierbarkeit und die „Gödel-Relation“
  Letzte Änderung:
  16. Sep. 2022, 12:11
  (Handout-Version
  Letzte Änderung:
  16. Sep. 2022, 12:11
  )
• „Gödels Trick“
  Letzte Änderung:
  16. Sep. 2022, 12:11
  (Handout-Version
  Letzte Änderung:
  16. Sep. 2022, 12:11
  )
• Diagonalverfahren, Diagonalbeweise
  Letzte Änderung:
  16. Sep. 2022, 12:11
  (Handout-Version
  Letzte Änderung:
  16. Sep. 2022, 12:11
  )
• Abschluss
  Letzte Änderung:
  16. Sep. 2022, 12:11

Übungsaufgaben

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

• Die „CND-Expressmethode“ zum Ausfüllen von Wahrheitstafeln
  Letzte Änderung:
  01. Aug. 2020, 15:33
• Vorlesung über die Semantik der Junktorenlogik
  Letzte Änderung:
  01. Aug. 2020, 15:33
• Folgerungen und Äquivalenzen (1), nach einem Merkblatt von Univ.-Prof. Dr. R. Kamitz
  Letzte Änderung:
  01. Aug. 2020, 15:33
• Der aussagenlogische Kalkül des natürlichen Schließens und Beweisstrategien
  Letzte Änderung:
  07. Jän. 2025, 15:23
• Abriss über den Baumkalkül (1)
  Letzte Änderung:
  01. Aug. 2020, 15:33
• Erste Schritte zum Formalisieren, nach einem Merkblatt von Univ.-Prof. Dr. R. Kamitz
  Letzte Änderung:
  01. Aug. 2020, 15:33
• Wiederholung zur Elementaren Logik I, als PowerPoint-Präsentation
  Letzte Änderung:
  01. Aug. 2020, 15:33

Elementare Logik II: Klassische Quantorenlogik

• Einsetzen, nach einem Merkblatt von Univ.-Prof. Dr. R. Kamitz
  Letzte Änderung:
  01. Aug. 2020, 15:33
• Folgerungen und Äquivalenzen (2), nach einem Merkblatt von Univ.-Prof. Dr. R. Kamitz
  Letzte Änderung:
  01. Aug. 2020, 15:33
• Abriss über den Baumkalkül (2)
  Letzte Änderung:
  01. Aug. 2020, 15:33
• Der quantorenlogische Kalkül des natürlichen Schließens
  Letzte Änderung:
  01. Aug. 2020, 15:33
• Merkblatt zum Formalisieren in der Quantorenlogik, nach einem Merkblatt von Univ.-Prof. Dr. R. Kamitz
  Letzte Änderung:
  01. Aug. 2020, 15:33
• Vorlesung zum Formalisieren in der Quantorenlogik
  Letzte Änderung:
  01. Aug. 2020, 15:33

Handouts zur Elementaren Logik – ALT (Fortsetzung)

Elementare Logik II: Formale Semantik

• Ableitungsregeln für die Formale Semantik
  Letzte Änderung:
  01. Aug. 2020, 15:33
• Beispiel: Prädikatsmodifikation („Stadt in Texas“)
  Letzte Änderung:
  01. Aug. 2020, 15:33
• Beispiel: Quantoren („Manches verschwindet“)
  Letzte Änderung:
  01. Aug. 2020, 15:33
• Beispiel: Quantoren („Nichts verschwindet“)
  Letzte Änderung:
  01. Aug. 2020, 15:33
• Beispiel: Quantoren („Jeder Logiker raucht“)
  Letzte Änderung:
  01. Aug. 2020, 15:33
• Beispiel: Intensionale Semantik („Anna glaubt, dass Jan arbeitet“)
  Letzte Änderung:
  01. Aug. 2020, 15:33

Elementare Logik II [Varia Logica]

• Syntaktik: Der Satzvorrat der Prädikatenlogik
  Letzte Änderung:
  01. Aug. 2020, 15:33
  , auch als Bildschirmpräsentation
  Letzte Änderung:
  22. Aug. 2017, 04:51
• Einsetzen (Substituieren), in Anlehnung an ein Merkblatt von Univ.-Prof. Dr. R. Kamitz
  Letzte Änderung:
  01. Aug. 2020, 15:33
• Der aussagenlogische und der prädikatenlogische Kalkül des natürlichen Schließens und Beweisstrategien
  Letzte Änderung:
  01. Aug. 2020, 15:33
• Zahlenangaben in Prädikatenlogik mit Identität
  Letzte Änderung:
  01. Aug. 2020, 15:33