230001 Logische Grundlagen (S) (SoSe 2024)
Contents, comment
-
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.
Teaching staff
Dates ( Calendar view )
| Frequency | Weekday | Time | Format / Place | Period | |
|---|---|---|---|---|---|
| weekly | Mi | 14-16 | U2-200 | 08.04.-19.07.2024
not on: 5/1/24 |
Subject assignments
| Module | Course | Requirements | |
|---|---|---|---|
| 23-CL-BaCL1 Introduction to Computational Linguistics Einführung in die Computerlinguistik | Logische Grundlagen | Study requirement
|
Student information |
| 23-LIN-BaLin5 Linguistics Orientation Module Linguistik Orientierungsmodul | Linguistik Orientierungsveranstaltung | Study requirement
|
Student information |
| 23-LIN-BaLin5_a Linguistics, Orientation Module Linguistik Orientierungsmodul | Lehrveranstaltung 1 | Study requirement
|
Student information |
| Lehrveranstaltung 2 | Study requirement
|
Student information | |
| 23-TXT-BaCL2 Methods of Computer Linguistics and Text Technology Methoden der Computerlinguistik und Texttechnologie | Formale Methoden 2 | Study requirement
|
Student information |
| 23-TXT-BaCL2a Methods of Computer Linguistics (for Students with Linguistics as a Major) Methoden der Computerlinguistik (für Studierende mit Kernfach Linguistik) | Formale Methoden 2 | 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
- eKVV participant management:
- eKVV participant management is used for this course.
- Show details
- Address:
- SS2024_230001@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_443714160@ekvv.uni-bielefeld.de
- Notes:
- Additional notes on the electronic mailing lists
- Last update basic details/teaching staff:
- Wednesday, April 24, 2024
- Last update times:
- Friday, February 2, 2024
- Last update rooms:
- Friday, February 2, 2024
- 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=443714160
- Send page to mobile
-
Click to open QR code
Scan QR code:
- ID
- 443714160