230009 Formale Methoden (V) (WiSe 2023/2024)
Contents, comment
-
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.
Teaching staff
Dates ( Calendar view )
| Frequency | Weekday | Time | Format / Place | Period | |
|---|---|---|---|---|---|
| weekly | Mi | 14-16 | H10 | 09.10.2023-02.02.2024
not on: 11/1/23 / 12/27/23 / 1/3/24 |
Examinations
| Date | Time | Format / Room | Comment about examination |
|---|---|---|---|
| Monday, February 12, 2024 | 14-17 | X-E0-001 | |
| Wednesday, March 27, 2024 | 10-13 | H2 | 2. Termin |
Hide passed examination dates <<
Subject assignments
| Module | Course | Requirements | |
|---|---|---|---|
| 23-KLI-BA-FEKL Fachliche Ergänzung mit Bezug zur KliLi | Veranstaltung 1 | Student information | |
| Veranstaltung 2 | Student information | ||
| Veranstaltung 3 | Student information | ||
| 23-LIN-BaLin4 Methoden | Formale Methoden 1 | Study requirement
|
Student information |
| 23-LIN-BaLin4.1 Formale Methoden | Formale Methoden | Student information | |
| - | Graded examination | Student information | |
| 23-TXT-BaCL2 Methoden der Computerlinguistik und Texttechnologie | Formale Methoden 1 | Study requirement
|
Student information |
The binding module descriptions contain further information, including specifications on the "types of assignments" students need to complete. In cases where a module description mentions more than one kind of assignment, the respective member of the teaching staff will decide which task(s) they assign the students.
| Degree programme/academic programme | Validity | Variant | Subdivision | Status | Semester | LP | |
|---|---|---|---|---|---|---|---|
| Klinische Linguistik / Bachelor | (Enrollment until SoSe 2021) | LIN2a | 0/3 |
- E-Learning Space
- E-Learning Space
- Moodle Courses
- Moodle Courses
- Registered number: 87
- This is the number of students having stored the course in their timetable. In brackets, you see the number of users registered via guest accounts.
- Address:
- WS2023_230009@ekvv.uni-bielefeld.de
- This address can be used by teaching staff, their secretary's offices as well as the individuals in charge of course data maintenance to send emails to the course participants. IMPORTANT: All sent emails must be activated. Wait for the activation email and follow the instructions given there.
- If the reference number is used for several courses in the course of the semester, use the following alternative address to reach the participants of exactly this: VST_418281431@ekvv.uni-bielefeld.de
- Coverage:
- 74 Students to be reached directly via email
- Notes:
- Additional notes on the electronic mailing lists
- Last update basic details/teaching staff:
- Friday, April 14, 2023
- Last update times:
- Monday, August 28, 2023
- Last update rooms:
- Monday, August 28, 2023
- Type(s) / SWS (hours per week per semester)
- lecture (V) / 2
- Department
- Faculty of Linguistics and Literary Studies
- Questions or corrections?
- Questions or correction requests for this course?
- Planning support
- Clashing dates for this course
- Links to this course
- If you want to set links to this course page, please use one of the following links. Do not use the link shown in your browser!
- The following link includes the course ID and is always unique:
- https://ekvv.uni-bielefeld.de/kvv_publ/publ/vd?id=418281431
- Send page to mobile
-
Click to open QR code
Scan QR code:
- ID
- 418281431