Module 23-LIN-BaLin4.1 Formal Methods

Faculty

Person responsible for module

Regular cycle (beginning)

Every winter semester

Credit points and duration

5 Credit points

For information on the duration of the modul, refer to the courses of study in which the module is used.

Competencies

Nach Abschluss des Moduls beherrschen die Studierenden die für linguistische Betrachtungsweisen grundlegenden mengentheoretischen und sich daran anschließenden strukturtheoretische Begriffe sowie die dazugehörigen formalen Definitionen. Sie können die damit verbundenen Konzepte in einfachen Aufgaben umsetzen und gleichsam auf Sprachbeispiele und kleinere Fragmente anwenden.

Content of teaching

Das Modul bietet zunächst eine formalmethodische Einführung in die Mengenlehre als Werkzeug zur Formalisierung von Strukturen. Nach Mengen und Mengenoperationen werden die Begriffe der Relation und der Funktion eingeführt, wie sie nicht zuletzt für einen mathematisch formaleren Zugang zu natürlicher Sprache von Bedeutung sind. Einfachere Erweiterungen der grundlegenden mathematischen Konzepte und deren Verwendbarkeit im Rahmen linguistischer Theoriebildung und Phänomenbetrachtung, wie etwa reguläre Ausdrücke und (gerichtete) Graphen schließen, sich an.

Die Übungsveranstaltung dient der Wiederholung und Vertiefung der Seminar- bzw. Vorlesungsinhalte und bietet Gelegenheit zur Vor- und Nachbesprechung der zu bearbeitenden Übungsaufgaben für das Modulprüfungsportfolio.

Recommended previous knowledge

—

Necessary requirements

—

Explanation regarding the elements of the module

Module structure: 1 bPr 1

Courses

Formale Methoden
Type seminar o. lecture
Regular cycle WiSe
Workload5 30 h (30 + 0)
LP 1
Formale Methoden: Übung
Type tutorial (in connection with lecture/seminar)
Regular cycle WiSe
Workload5 60 h (30 + 30)
LP 2

Examinations

portfolio with final examination
Allocated examiner Person responsible for module examines or determines examiner
Weighting 1
Workload 60h
LP2 2

Das Portfolio enthält die das Seminar und die Übungsveranstaltung begleitenden Übungsaufgaben und eine Klausur. Die Übungsaufgaben werden in der Regel wöchentlich gestellt, sie ergänzen und vertiefen die behandelten Inhalte. Für das Portfolio sind insgesamt folgende Leistungen zu erbringen:

  • Regelmäßiges Bearbeiten der Übungsaufgaben mit erkennbarem Lösungsansatz
  • Nachweis einer ausreichenden Zahl korrekt gelöster Übungsaufgaben (in der Regel 50%)
  • Bis zu zwei Mal – nach vorheriger terminlicher und inhaltlicher Absprache mit der zuständigen lehrenden Person – Präsentation ausgewählter eigener Übungsaufgabenbearbeitungen in der Übungsveranstaltung. Dabei werden insbesondere Probleme und/oder alternative Lösungsansätze mit den anderen an der jeweiligen Übungsveranstaltungssitzung Teilnehmenden besprochen
  • Abschließende Klausur von 90 Minuten. Die Klausur wird im Rahmen der Seminar- bzw. Vorlesungsveranstaltung erbracht und dient der Bewertung

Modulprüfungsabnehmende Person ist eine*einer der Lehrenden der Seminar- bzw. Vorlesungsveranstaltung.

The module is used in these degree programmes:

Degree programme Version Profile Recom­mended start 3 Duration Manda­tory option 4
Computational Linguistics / Bachelor of Science [FsB vom 21.05.2021 mit Änderung vom 15.11.2023] Major Subject (Academic) 1. one semester Compul­sory optional subject
Computational Linguistics / Bachelor [FsB vom 21.05.2021 mit Änderung vom 15.11.2023] Minor Subject (Academic), 60 CPs 1. one semester Compul­sory optional subject
Courses offered for the Individual Subsidiary Subjects - Topics / Individuelle Ergänzung im Bachelor [] Digitalisierung Kategoriale Grundlagen 1. o. 2. o. 3. o. 4. o. 5. o. 6. one semester Compul­sory optional subject
Linguistics / Bachelor of Arts [FsB vom 21.05.2021] Major Subject (Academic) Language 1. one semester Obli­gation
Linguistics / Bachelor of Arts [FsB vom 21.05.2021] Major Subject (Academic) Language and Cognition 1. one semester Obli­gation
Linguistics / Bachelor of Arts [FsB vom 21.05.2021] Major Subject (Academic) Communication Analysis 1. one semester Obli­gation
Linguistics / Bachelor [FsB vom 21.05.2021] Minor Subject (Academic), 60 CPs Language 1. one semester Obli­gation
Linguistics / Bachelor [FsB vom 21.05.2021] Minor Subject (Academic), 60 CPs Language and Cognition 1. one semester Obli­gation
Linguistics / Bachelor [FsB vom 21.05.2021] Minor Subject (Academic), 60 CPs Communication Analysis 1. one semester Obli­gation

Automatic check for completeness

The system can perform an automatic check for completeness for this module.

Legend

1
The module structure displays the required number of study requirements and examinations.
2
LP is the short form for credit points.
3
The figures in this column are the specialist semesters in which it is recommended to start the module. Depending on the individual study schedule, entirely different courses of study are possible and advisable.
4
Explanations on mandatory option: "Obligation" means: This module is mandatory for the course of the studies; "Optional obligation" means: This module belongs to a number of modules available for selection under certain circumstances. This is more precisely regulated by the "Subject-related regulations" (see navigation).
5
Workload (contact time + self-study)
SL
Study requirement
Pr
Examination
bPr
Number of examinations with grades
uPr
Number of examinations without grades
Diese Leistung kann gemeldet und verbucht werden.

Sidebar

Elements of the module

Courses

Examinations

Programme of lectures (eKVV)

Programme of lectures (eKVV)

Show lists of modules

Computational Linguistics / Bachelor of Science: Major Subject (Academic)

Computational Linguistics / Bachelor: Minor Subject (Academic), 60 CPs

Courses offered for the Individual Subsidiary Subjects - Topics / Individual subsidiary subjects (Bachelor): Digitalisierung // Kategoriale Grundlagen

Linguistics / Bachelor of Arts: Major Subject (Academic) // Language

Linguistics / Bachelor of Arts: Major Subject (Academic) // Language and Cognition

Linguistics / Bachelor of Arts: Major Subject (Academic) // Communication Analysis

Linguistics / Bachelor: Minor Subject (Academic), 60 CPs // Language

Linguistics / Bachelor: Minor Subject (Academic), 60 CPs // Language and Cognition

Linguistics / Bachelor: Minor Subject (Academic), 60 CPs // Communication Analysis