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.