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.
Rhythmus | Tag | Uhrzeit | Format / Ort | Zeitraum |
---|
Datum | Uhrzeit | Format / Raum | Kommentar zum Klausurtermin |
---|
Zeige vergangene Klausurtermine >>
Studiengang/-angebot | Gültigkeit | Variante | Untergliederung | Status | Sem. | LP | |
---|---|---|---|---|---|---|---|
Klinische Linguistik / Bachelor | (Einschreibung bis SoSe 2009) | BaKLLin2 | 3 | ||||
Linguistik / Bachelor | (Einschreibung bis SoSe 2011) | Kernfach | BaLin2; BaLin2.2 | 2. | 0/3 | ||
Linguistik / Bachelor | (Einschreibung bis SoSe 2011) | Nebenfach | BaLin2NF | 0/3 | |||
Medienwissenschaft, interdisziplinäre / Master | (Einschreibung bis SoSe 2014) | Einführung | Wahlpflicht | 3 | |||
Texttechnologie / Bachelor | (Einschreibung bis SoSe 2011) | Nebenfach | BaLin2 | 0/3 |