230106 Formale Methoden 2 (V) (SoSe 2008)
Inhalt, Kommentar
-
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.
Lehrende
Termine ( Kalendersicht )
| Rhythmus | Tag | Uhrzeit | Format / Ort | Zeitraum | |
|---|---|---|---|---|---|
| wöchentlich | Mi | 12-13 | T2-228 | 07.04.-18.07.2008 | (Tutorium) |
| wöchentlich | Mi | 14-16 | H12 | 07.04.-18.07.2008 |
Verstecke vergangene Termine <<
Prüfungen
| Datum | Uhrzeit | Format / Raum | Kommentar zum Prüfungstermin |
|---|---|---|---|
| Mittwoch, 17. September 2008 | 10-12 | H2 | - |
Verstecke vergangene Prüfungstermine <<
Fachzuordnungen
| 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 |
Keine Konkretisierungen vorhanden
Kein E-Learningangebot vorhanden
- Adresse:
- SS2008_230106@ekvv.uni-bielefeld.de
- Lehrende, ihre Sekretariate sowie für die Pflege der Veranstaltungsdaten zuständige Personen können über diese Adresse E-Mails an die Veranstaltungsteilnehmer*innen verschicken. WICHTIG: Sie müssen verschickte E-Mails jeweils freischalten. Warten Sie die Freischaltungs-E-Mail ab und folgen Sie den darin enthaltenen Hinweisen.
- Falls die Belegnummer mehrfach im Semester verwendet wird können Sie die folgende alternative Verteileradresse nutzen, um die Teilnehmer*innen genau dieser Veranstaltung zu erreichen: VST_6465340@ekvv.uni-bielefeld.de
- Hinweise:
- Weitere Hinweise zu den E-Mailverteilern
- Letzte Änderung Grunddaten/Lehrende:
- Freitag, 11. Dezember 2015
- Letzte Änderung Zeiten:
- Dienstag, 9. September 2008
- Letzte Änderung Räume:
- Dienstag, 9. September 2008
- Art(en) / SWS
- Vorlesung (V) / 2
- Einrichtung
- Fakultät für Linguistik und Literaturwissenschaft
- Fragen oder Korrekturen?
- Fragen oder Korrekturwünsche zu dieser Veranstaltung?
- Planungshilfen
- Terminüberschneidungen für diese Veranstaltung
- Link auf diese Veranstaltung
- Wenn Sie diese Veranstaltungsseite verlinken wollen, so können Sie einen der folgenden Links verwenden. Verwenden Sie nicht den Link, der Ihnen in Ihrem Webbrowser angezeigt wird!
- Der folgende Link verwendet die Veranstaltungs-ID und ist immer eindeutig:
- https://ekvv.uni-bielefeld.de/kvv_publ/publ/vd?id=6465340
- Seite zum Handy schicken
-
Klicken Sie hier, um den QR Code zu zeigen
Scannen Sie den QR-Code:
- ID
- 6465340
Zum Seitenanfang