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 | |
---|---|---|---|---|---|
wöchentlich | Do | 16-18 | unveröffentlicht | 11.04.-22.07.2005 |
Verstecke vergangene Termine <<
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 |
Diese Webseite verwendet Cookies und ähnliche Technologien. Einige davon sind essentiell, um die Funktionalität der Website zu gewährleisten, während andere uns helfen, die Website und Ihre Erfahrung zu verbessern. Falls Sie zustimmen, verwenden wir Cookies und Daten auch, um Ihre Interaktionen mit unserer Webseite zu messen. Sie können Ihre Einwilligung jederzeit unter Datenschutzerklärung einsehen und mit der Wirkung für die Zukunft widerrufen. Auf der Seite finden Sie auch zusätzliche Informationen zu den verwendeten Cookies und Technologien.