Hinweise und Anforderungen

Skript: Formale Methoden.
Bitte vor der jeweiligen Veranstaltung ausdrucken!

Vorbemerkungen (Inhalt, Literatur, Symbolverzeichnis usw.)
13.10.: 1. Einführung (Folien)
20.10.: 2.1 Wahrheitsfunktionale Konnektoren; 2.2 Syntax von AL (Folien)
27.10.: 2.3 Semantik von AL; 2.4 Entscheidungsverfahren; 2.5 Definierbarkeit von Konnektoren (Folien)
03.11.: 2.6 Natürliches Schließen in AL (Folien)
10.11.: 3.1 Die Grenzen von AL; 3.2 Prädikate und Individuenterme (Folien)
17.11.: 3.3 Quantoren; 3.4 Syntax von PL1 (Folien)
24.11.: 3.5 Semantische Repräsentation mit PL1 (Folien)
01.12.: 3.6 Natürliches Schließen in PL1 (Folien)
08.12.: 4.1 Mengen; 4.2 Operationen mit Mengen (Folien)
15.12.: 4.3 Relationen (Folien)
05.01.: 4.4 Funktionen (Folien)
12.01.: 5.1 Semantik von PL1 (Folien)
19.01.: 5.2 Logische Gültigkeit, Folgerung, Äquivalenz (Folien)
26.01.: Wiederholung
02.02.: Modulklausur: HSG HS 8, 13:00 - 15:00

Lösungen der zusätzlichen Übungsaufgaben werden auf Moodle zur Verfügung gestellt.