Formale Methoden 2
Veranstaltungsnummer: 230106 [eKVV]
Veranstaltungsart: Vorlesung (BA-Studiengang)
Zeit: Mittwoch, 14-16h
Raum: H12
Gerhard
Jäger
Büro: C5-240
Sekretariat: C5-237 (Henrike Wanke)
Kursbeschreibung
Im Kurs "Formale Methoden II" werden Aussagen- und Prädikatenlogik eingeführt. Zentrale Begriffe sind der Folgerungsbegriff bzw. der Begriff des gültigen Argumentes. Logische Methoden werden besonders zur Modellierung der Bedeutung natürlicher Sprache eingesetzt. Außerdem sind Kenntnisse der Logik für jede Wissenschaft von Vorteil, weil dadurch wissenschaftliche Argumentationen reflektierter und methodisch kontrollierter durchgeführt werden können.
KlausurergebnisseKlausurergebnisse 2. Termin
Klausurergebnisse 3. Termin
Semesterplan
| Datum | Thema | Literatur | Hausaufgabe |
|---|---|---|---|
| 09.04.2008 | Einführung | KB, Kap. 1 | |
| 16.04.2008 | Aussagenlogik 1 | KB, Kap. 2 und 3 | |
| 23.04.2008 | Aussagenlogik 2 | KB, Kap. 4 und 5 | |
| 30.04.2008 | Aussagenlogik 3 (Wahrheitsbäume) | KB, Kap. 4 und 5 | |
| 07.05.2008 14:45 |
Aussagenlogik 4 (Natürliches Schließen) | ||
| 14.05.2008 | Aussagenlogik 5 (Natürliches Schließen, Abschluss Aussagenlogik) | ||
| 21.05.2008 | Prädikatenlogik 1 (Einführung) | KB, Kap. 8 und 9 | |
| 28.05.2008 | Probeklausur | ||
| 04.06.2008 | Prädikatenlogik 2 (Quantoren) | KB, Kap. 8 und 9 | |
| 11.06.2008 | Semantik der Prädikatenlogik | ||
| 18.06.2008 | |||
| 25.06.2008 | Natürliches Schließen für Prädikatenlogik | ||
| 02.07.2008 | |||
| 09.07.2008 | |||
| 16.07.2008 | Klausur |
Module:
BaLinM2; BaLinM2.2; BaTTLin2; Einführung Medienwiss.
Literatur:
- Franz von Kutschera & Alfred Breitkopf: Einführung in die moderne Logik, 7. Auflage, Freiburg/München 2000 [Kopiervorlage steht im Semesterapparat. Da dieser zur Zeit nicht zugänglich ist, finden Sie hier eine pdf-Version.]