230027 Logische Grundlagen (S) (SoSe 2023)
Inhalt, Kommentar
-
Gegenstand dieser Veranstaltung sind Aussagen- und Prädikatenlogik. Behandelt werden in beiden Fällen die Syntax und Semantik sowie der Folgerungsbegriff. Voraussetzung sind lediglich Kenntnisse, wie sie im Rahmen der Veranstaltung Formale Methoden vermittelt werden. Alles Weitere wird zur Verfügung gestellt.
Es existiert eine große Literaturauswahl zum Gegenstand. Das veranstaltungsbegleitende Skript deckt allerdings alle behandelten Themen und Inhalte ab.
Teilnahmevoraussetzungen, notwendige Vorkenntnisse
-
Kenntnisse, wie sie im Rahmen der Veranstaltung Formale Methoden vermittelt werden, werden vorausgesetzt.
Lehrende
Termine ( Kalendersicht )
| Rhythmus | Tag | Uhrzeit | Format / Ort | Zeitraum | |
|---|---|---|---|---|---|
| wöchentlich | Mi | 14-16 | T2-208 | 03.04.-14.07.2023 | |
| einmalig | Fr | 14-16 | X-E0-218 | 14.07.2023 | Anwesenheitsübung |
| einmalig | Mi | 14-16 | X-E0-218 | 26.07.2023 | Anwesenheitsübung, 2. Termin |
Verstecke vergangene Termine <<
Fachzuordnungen
| Modul | Veranstaltung | Leistungen | |
|---|---|---|---|
| 23-CL-BaCL1 Einführung in die Computerlinguistik | Logische Grundlagen | Studienleistung
|
Studieninformation |
| 23-CL-BaCL1_ver1 Einführung in die Computerlinguistik | Logische Grundlagen | Studienleistung
|
Studieninformation |
| 23-LIN-BaLin5 Linguistik Orientierungsmodul | Linguistik Orientierungsveranstaltung | Studienleistung
|
Studieninformation |
| 23-LIN-BaLin5_a Linguistik Orientierungsmodul | Lehrveranstaltung 1 | Studienleistung
|
Studieninformation |
| Lehrveranstaltung 2 | Studienleistung
|
Studieninformation | |
| 23-TXT-BaCL2 Methoden der Computerlinguistik und Texttechnologie | Formale Methoden 2 | Studienleistung
|
Studieninformation |
| 23-TXT-BaCL2a Methoden der Computerlinguistik (für Studierende mit Kernfach Linguistik) | Formale Methoden 2 | Studienleistung
|
Studieninformation |
Die verbindlichen Modulbeschreibungen enthalten weitere Informationen, auch zu den "Leistungen" und ihren Anforderungen. Sind mehrere "Leistungsformen" möglich, entscheiden die jeweiligen Lehrenden darüber.
Keine Konkretisierungen vorhanden
- Lernraum (E-Learning)
- Lernraum (E-Learning)
- Adresse:
- SS2023_230027@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_382973801@ekvv.uni-bielefeld.de
- Hinweise:
- Weitere Hinweise zu den E-Mailverteilern
- Letzte Änderung Grunddaten/Lehrende:
- Montag, 10. Juli 2023
- Letzte Änderung Zeiten:
- Donnerstag, 27. April 2023
- Letzte Änderung Räume:
- Donnerstag, 27. April 2023
- Art(en) / SWS
- Seminar (S) / 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=382973801
- Seite zum Handy schicken
-
Klicken Sie hier, um den QR Code zu zeigen
Scannen Sie den QR-Code:
- ID
- 382973801
Zum Seitenanfang