230106 Formale Methoden 2 (V) (SoSe 2008)
Contents, comment
-
Im Kurs "Formale Methoden II" werden Aussagen- und Prädikatenlogik
eingeführt. Zentrale Begriffe sind der Folgerungsbegriff bzw. der
Begriff des gültigen Argumentes. Logische Methoden werden besonders zur
Modellierung der Bedeutung natürlicher Sprache eingesetzt. Außerdem sind
Kenntnisse der Logik für jede Wissenschaft von Vorteil, weil dadurch
wissenschaftliche Argumentationen reflektierter und methodisch
kontrollierter durchgeführt werden können.
Teaching staff
Dates ( Calendar view )
| Frequency | Weekday | Time | Format / Place | Period | |
|---|---|---|---|---|---|
| weekly | Mi | 12-13 | T2-228 | 07.04.-18.07.2008 | (Tutorium) |
| weekly | Mi | 14-16 | H12 | 07.04.-18.07.2008 |
Examinations
| Date | Time | Format / Room | Comment about examination |
|---|---|---|---|
| Wednesday, September 17, 2008 | 10-12 | H2 |
Hide passed examination dates <<
Subject assignments
| Degree programme/academic programme | Validity | Variant | Subdivision | Status | Semester | LP | |
|---|---|---|---|---|---|---|---|
| Klinische Linguistik / Bachelor | (Enrollment until SoSe 2009) | BaKLLin2 | 3 | ||||
| Linguistik / Bachelor | (Enrollment until SoSe 2011) | Kernfach | BaLin2; BaLin2.2 | 2. | 0/3 | ||
| Linguistik / Bachelor | (Enrollment until SoSe 2011) | Nebenfach | BaLin2NF | 0/3 | |||
| Medienwissenschaft, interdisziplinäre / Master | (Enrollment until SoSe 2014) | Einführung | Wahlpflicht | 3 | |||
| Texttechnologie / Bachelor | (Enrollment until SoSe 2011) | Nebenfach | BaLin2 | 0/3 |
No more requirements
No E-Learning Space
- Registered number: 132
- 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:
- SS2008_230106@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_6465340@ekvv.uni-bielefeld.de
- Coverage:
- 10 Students to be reached directly via email
- Notes:
- Additional notes on the electronic mailing lists
- Last update basic details/teaching staff:
- Friday, December 11, 2015
- Last update times:
- Tuesday, September 9, 2008
- Last update rooms:
- Tuesday, September 9, 2008
- Type(s) / SWS (hours per week per semester)
- 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=6465340
- Send page to mobile
-
Click to open QR code
Scan QR code:
- ID
- 6465340
Top of page