230003 Formale Methoden (V) (WiSe 2025/2026)
Inhalt, Kommentar
-
Die Veranstaltung behandelt schwerpunktmäßig die Themen Mengenlehre, formale Grammatiken und Automaten.
Die Inhalte des ersten Schwerpunkts bilden letztlich eine wesentliche Grundlage für alle formal-mathematischen Beschreibungs- und Modellierungsverfahren. In diesem Sinne bilden mengentheoretische Konzepte die Grundlage für die wissenschaftliche Arbeit. Begriffe wie Menge, Relation, Funktion werden thematisiert und eingeübt. Mit der Theorie der Zeichenketten und formaler Grammatiken ist ein erster Ansatzpunkt dafür gegeben, wie man Sprachproduktion mit Hilfe formaler Systeme erfassen kann. Die Automatentheorie leistet Analoges für die Sprachrezeption.
Lehrende
Termine ( Kalendersicht )
| Rhythmus | Tag | Uhrzeit | Format / Ort | Zeitraum | |
|---|---|---|---|---|---|
| wöchentlich | Mi | 14-16 | 13.10.2025-06.02.2026 |
Prüfungen
| Datum | Uhrzeit | Format / Raum | Kommentar zum Prüfungstermin |
|---|---|---|---|
| Montag, 16. Februar 2026 | 10-13 | unveröffentlicht | |
| Mittwoch, 25. März 2026 | 10-13 | 2. Termin |
Fachzuordnungen
| Modul | Veranstaltung | Leistungen | |
|---|---|---|---|
| 23-KLI-BA-FEKL Fachliche Ergänzung mit Bezug zur KliLi | Veranstaltung 1 | Studieninformation | |
| Veranstaltung 2 | Studieninformation | ||
| Veranstaltung 3 | Studieninformation | ||
| 23-LIN-BaLin4.1 Formale Methoden | Formale Methoden | Studieninformation | |
| - | benotete Prüfungsleistung | 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
Kein E-Learningangebot vorhanden
- registrierte Anzahl: 5
- Dies ist die Anzahl der Studierenden, die die Veranstaltung im Stundenplan gespeichert haben. In Klammern die Anzahl der über Gastaccounts angemeldeten Benutzer*innen.
- Adresse:
- WS2025_230003@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_549782270@ekvv.uni-bielefeld.de
- Reichweite:
- 5 Studierende direkt per E-Mail erreichbar
- Hinweise:
- Weitere Hinweise zu den E-Mailverteilern
- Letzte Änderung Grunddaten/Lehrende:
- Donnerstag, 17. April 2025
- Letzte Änderung Zeiten:
- Freitag, 18. April 2025
- Letzte Änderung Räume:
- Freitag, 18. April 2025
- 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=549782270
- Seite zum Handy schicken
-
Klicken Sie hier, um den QR Code zu zeigen
Scannen Sie den QR-Code:
- ID
- 549782270
Zum Seitenanfang