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.
Frequency | Weekday | Time | Format / Place | Period |
---|
Date | Time | Format / Room | Comment about examination |
---|
Show passed examination dates >>
Degree programme/academic programme | Validity | Variant | Subdivision | Status | Semester | LP | |
---|---|---|---|---|---|---|---|
Klinische Linguistik / Bachelor | (Enrollment until SoSe 2009) | BaKLLin2 | 3 | ||||
Linguistik / Bachelor | (Enrollment until SoSe 2011) | Kernfach | BaLin2; BaLin2.2 | 2. | 0/3 | ||
Linguistik / Bachelor | (Enrollment until SoSe 2011) | Nebenfach | BaLin2NF | 0/3 | |||
Medienwissenschaft, interdisziplinäre / Master | (Enrollment until SoSe 2014) | Einführung | Wahlpflicht | 3 | |||
Texttechnologie / Bachelor | (Enrollment until SoSe 2011) | Nebenfach | BaLin2 | 0/3 |