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.
Module: BALin2
Rhythmus | Tag | Uhrzeit | Format / Ort | Zeitraum |
---|
Studiengang/-angebot | Gültigkeit | Variante | Untergliederung | Status | Sem. | LP | |
---|---|---|---|---|---|---|---|
Linguistik / Bachelor | (Einschreibung bis SoSe 2011) | Kernfach | BaLin2 | 0/3 | |||
Linguistik / Bachelor | (Einschreibung bis SoSe 2011) | Nebenfach | BaLin2NF | 0/3 | |||
Texttechnologie / Bachelor | (Einschreibung bis SoSe 2011) | Nebenfach | BaLin2 | 0/3 |