230015 Introduction to Formal Semantics (S) (SoSe 2025)
Contents, comment
-
The course provides an introduction to formal semantics as an approach to natural language meaning: Starting with a very brief repetition of representations of meaning in terms of propositional and first order logic, the focus from the second meeting onwards will be on a type-logically extended approach. Thereby, we will always be concerned with the formal representation of meanings and their interpretation relating to a set-theoretical model (of the world).
Requirements for participation, required level
-
The content of the course assumes basic knowledge of propositional and first order logic, which can be acquired in parallel to the course through an individually determined additional workload.
Teaching staff
Dates ( Calendar view )
| Frequency | Weekday | Time | Format / Place | Period | |
|---|---|---|---|---|---|
| weekly | Fr | 8-10 | B2-260 | 07.04.-18.07.2025
not on: 4/18/25 |
Subject assignments
| Module | Course | Requirements | |
|---|---|---|---|
| 23-LIN-Inf Computerlinguistische Grundlagen für Informatik-Studierende | Veranstaltung aus dem Bereich computerlinguistische Grundlagen | Study requirement
|
Student information |
| Veranstaltung aus dem Bereich computerlinguistische Grundlagen | Study requirement
|
Student information | |
| Veranstaltung aus dem Bereich computerlinguistische Grundlagen | Study requirement
|
Student information | |
| - | Graded examination | Student information | |
| 23-LIN-MaCL-CompGramM Computationelle Grammatikmodelle | Lehrveranstaltung 1 | Study requirement
|
Student information |
| Lehrveranstaltung 2 | Study requirement
|
Student information | |
| 23-MeWi-HM3a_a Mathematisch-linguistische Sprachmodellierung | Lehrveranstaltung 1 | Study requirement
|
Student information |
| Lehrveranstaltung 2 | Study requirement
|
Student information | |
| Lehrveranstaltung 3 | 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.
- E-Learning Space
- E-Learning Space
- Moodle Courses
- Moodle Courses
- Address:
- SS2025_230015@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_498971098@ekvv.uni-bielefeld.de
- Notes:
- Additional notes on the electronic mailing lists
- Last update basic details/teaching staff:
- Friday, May 23, 2025
- Last update times:
- Wednesday, January 29, 2025
- Last update rooms:
- Sunday, January 26, 2025
- Type(s) / SWS (hours per week per semester)
- seminar (S) / 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=498971098
- Send page to mobile
-
Click to open QR code
Scan QR code:
- ID
- 498971098