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.
Kenntnisse, wie sie im Rahmen der Veranstaltung Formale Methoden 1 vermittelt werden, werden vorausgesetzt.
Frequency | Weekday | Time | Format / Place | Period |
---|
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.