230010 Formale Methoden 2 (S) (SoSe 2020)

Contents, comment

Die Veranstaltung findet statt.

Während des reinen Onlinelehrezeitraums haben Studierende im ausgewiesenen wöchentlichen Zeitfenster (Mittwoch 14-16 Uhr) Gelegenheit, in Gruppen von bis zu vier Personen in einem geschlossenen Meetingraum im Gespräch mit dem Dozenten gezielt gestellte Fragen zu den im Ablaufplan vorgesehenen Skriptinhalten und dazugehörigen Übungen zu klären. Weitere Erläuterungen hierzu und zu anderen Kursmodalitäten finden sich im LernraumPlus zur Veranstaltung.

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 1 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.

Requirements for participation, required level

Kenntnisse, wie sie im Rahmen der Veranstaltung Formale Methoden 1 vermittelt werden, werden vorausgesetzt.

Teaching staff

Dates ( Calendar view )

Frequency Weekday Time Format / Place Period  

Show passed dates >>

Subject assignments

Module Course Requirements  
23-LIN-BaLin5 Linguistik Orientierungsmodul Linguistik Orientierungsveranstaltung Study requirement
Student information
23-TXT-BaCL2 Methoden der Computerlinguistik und Texttechnologie Formale Methoden 2 Study requirement
Student information
23-TXT-BaCL2a 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.


No more requirements
E-Learning Space
E-Learning Space
Address:
SS2020_230010@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_195813579@ekvv.uni-bielefeld.de
Notes:
Additional notes on the electronic mailing lists
Last update basic details/teaching staff:
Thursday, October 31, 2019 
Last update times:
Tuesday, February 11, 2020 
Last update rooms:
Tuesday, February 11, 2020 
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=195813579
Send page to mobile
Click to open QR code
Scan QR code: Enlarge QR code
ID
195813579