Formale Methoden II
Donnerstags, 16:00 - 18:00, C4-123
Gerhard
Jäger
Büro:
C6-204
Sekretariat:
C6-208
Sprechstunde:
Dienstag 15:00-16:00 oder nach Absprache
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.
Literatur:
L.T.F. Gamut (1991), Logic,
Language and Meaning. Vol. 1 (Introduction to Logic), Kapitel 2-4, ist
im Semesterapparat zugänglich
Module:
BALin2
Tutorium:
Dienstag 9-10 Uhr, C4-241
Mittwoch 13-14 Uhr, V2-205
Die Übungsblätter
findet man hier.
Folien:
Probeklausur
Klausurergebnisse
Ergebnisse der Nachklausur
Scheine
Die Scheine
können ab 24. August im Sekretariat (C6-204) abgeholt werden.
Nachschreibetermin
Wer an der
Klausur am 14. Juli nicht teilnehmen konnte oder nicht bestanden hat,
kann die Klausur am 28. September
um 10:00 Uhr in Hörsaal H 10 nachschreiben
bzw. wiederholen. Um vorherige
Anmeldung (im Sekretariat, Zi C6-208) wird gebeten.