Modul 23-LIN-BaLin4.1 Formale Methoden

Fakultät

Modulverantwortliche*r

Turnus (Beginn)

Jedes Wintersemester

Leistungspunkte und Dauer

5 Leistungspunkte

Die Angaben zur Moduldauer finden Sie bei den Studiengängen, in denen das Modul verwendet wird.

Kompetenzen

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.

Lehrinhalte

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.

Empfohlene Vorkenntnisse

—

Notwendige Voraussetzungen

—

Erläuterung zu den Modulelementen

Modulstruktur: 1 bPr 1

Veranstaltungen

Formale Methoden
Art Seminar o. Vorlesung
Turnus WiSe
Workload5 30 h (30 + 0)
LP 1
Formale Methoden: Übung
Art Übung
Turnus WiSe
Workload5 60 h (30 + 30)
LP 2

Prüfungen

Portfolio mit Abschlussprüfung
Zuordnung Prüfende Modulverantwortliche*r prüft oder bestimmt Prüfer*in
Gewichtung 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.

In diesen Studiengängen wird das Modul verwendet:

Studiengang Variante Profil Empf. Beginn 3 Dauer Bindung 4
Computerlinguistik / Bachelor of Science [FsB vom 21.05.2021 mit Änderung vom 15.11.2023] Kernfach (fw) 1. 1 Semes­ter Wahl­pflicht
Computerlinguistik / Bachelor [FsB vom 21.05.2021 mit Änderung vom 15.11.2023] Nebenfach (fw) 1. 1 Semes­ter Wahl­pflicht
Individueller Ergänzungsbereich – Themenbereiche / Individuelle Ergänzung im Bachelor Digitalisierung Kategoriale Grundlagen 1. o. 2. o. 3. o. 4. o. 5. o. 6. 1 Semes­ter Wahl­pflicht
Linguistik / Bachelor of Arts [FsB vom 21.05.2021] Kernfach (fw) Sprache 1. 1 Semes­ter Pflicht
Linguistik / Bachelor of Arts [FsB vom 21.05.2021] Kernfach (fw) Sprache und Kognition 1. 1 Semes­ter Pflicht
Linguistik / Bachelor of Arts [FsB vom 21.05.2021] Kernfach (fw) Kommunikationsanalyse 1. 1 Semes­ter Pflicht
Linguistik / Bachelor [FsB vom 21.05.2021] Nebenfach (fw) Sprache 1. 1 Semes­ter Pflicht
Linguistik / Bachelor [FsB vom 21.05.2021] Nebenfach (fw) Sprache und Kognition 1. 1 Semes­ter Pflicht
Linguistik / Bachelor [FsB vom 21.05.2021] Nebenfach (fw) Kommunikationsanalyse 1. 1 Semes­ter Pflicht

Automatische Vollständigkeitsprüfung

In diesem Modul kann eine automatische Vollständigkeitsprüfung vom System durchgeführt werden.

Legende

1
Die Modulstruktur beschreibt die zur Erbringung des Moduls notwendigen Prüfungen und Studienleistungen.
2
LP ist die Abkürzung für Leistungspunkte.
3
Die Zahlen in dieser Spalte sind die Fachsemester, in denen der Beginn des Moduls empfohlen wird. Je nach individueller Studienplanung sind gänzlich andere Studienverläufe möglich und sinnvoll.
4
Erläuterungen zur Bindung: "Pflicht" bedeutet: Dieses Modul muss im Laufe des Studiums verpflichtend absolviert werden; "Wahlpflicht" bedeutet: Dieses Modul gehört einer Anzahl von Modulen an, aus denen unter bestimmten Bedingungen ausgewählt werden kann. Genaueres regeln die "Fächerspezifischen Bestimmungen" (siehe Navigation).
5
Workload (Kontaktzeit + Selbststudium)
SoSe
Sommersemester
WiSe
Wintersemester
SL
Studienleistung
Pr
Prüfung
bPr
Anzahl benotete Modul(teil)prüfungen
uPr
Anzahl unbenotete Modul(teil)prüfungen
Diese Leistung kann gemeldet und verbucht werden.

Seitenleiste

Modulelemente

Veranstaltungen

Prüfungen

Modulbeschreibung (PDF)

Lehrangebot im eKVV

Lehrangebot im eKVV

Modullisten zeigen

Computerlinguistik / Bachelor of Science: Kernfach (fw)

Computerlinguistik / Bachelor: Nebenfach (fw)

Individueller Ergänzungsbereich – Themenbereiche / Individuelle Ergänzung im Bachelor: Digitalisierung // Kategoriale Grundlagen

Linguistik / Bachelor of Arts: Kernfach (fw) // Sprache

Linguistik / Bachelor of Arts: Kernfach (fw) // Sprache und Kognition

Linguistik / Bachelor of Arts: Kernfach (fw) // Kommunikationsanalyse

Linguistik / Bachelor: Nebenfach (fw) // Sprache

Linguistik / Bachelor: Nebenfach (fw) // Sprache und Kognition

Linguistik / Bachelor: Nebenfach (fw) // Kommunikationsanalyse