Formale Methoden 1

Kursbeschreibung

Der Kurs Formale Methoden ist ein 3-teiliger Pflichtkurs im Studiengang Linguistik und auch als Option in einigen anderen Studiengängen vorgesehen. Formale Methoden I ist der erste Kursteil und muß vor dem Besuch der beiden anderen Kursteile absolviert werden.

Neben Kenntnissen über empirische Methoden in der Sprachanalyse und Kenntnissen der Gegenstandsbereiche der Linguistik ist es notwendig, auch die formalen Methoden der Sprachanalyse zu kennen. Hierbei geht es einerseits um Mittel, Ergebnisse der Sprachanalyse als Modelle präzise zu erfassen, und diese mit Theorien konsistent zu beschreiben, andererseits aber darum, Theorien zu entwickeln und aus ihnen Hypothesen abzuleiten, die anhand von Modellen und empirischen Verfahren überprüft werden.

Das Ziel dieses ersten Teils die Einführung von Grundbegriffen, mit denen Sprachstrukturen präzise und umfassend dargestellt werden können. Folgende Bereiche werden behandelt: - Aspekte der Mengenlehre, besonders Mengen von Symbolsequenzen, die für die Modellierung von Wörtern und Sätzen relevant sind, - Aspekte der Theorie formaler Grammatiken, die für die präzise Formulierung grammatischer Regeln notwendig sind, - Aspekte der Automatentheorie, die unter anderem für die Entwicklung operationaler Modelle sprachlicher Abläufe zentral sind.

Eine Teilnahmequalifikation kann in diesem Kurs durch regelmäßige Bearbeitung von Übungen erworben werden; für eine volle Qualifikation werden diese benotet und zusätzlich eine Klausur am Ende des Semesters geschrieben.

Empfohlene Lehrbücher und Nachschlagewerke

Weihnachten naht ...

  1. Kai-Uwe Carstensen, Christian Ebert, Cornelia Endriss, Susanne Jekat, Ralf Klabunde (Haupthrsg.) und Hagen Langer, Hrsg. (2001). Computerlinguistik und Sprachtechnologie - Eine Einführung Heidelberg: Spektrum-Verlag. (s. auch hier)
  2. Barbara H. Partee, Alice ter Meulen & Robert E. Wall (1993). Mathematical Methods in Linguistics. Corrected First Edition. Dordrecht: Kluwer Academic Publishers.

Tipp: Sie werden sehr viele englisch- und deutschsprachige Einführungen in Kursunterlagen vieler Universitäten im Internet finden. Die didaktischen Ansätze sind sehr verschieden und können Ihre persönlichen Lernstrategien in differenzierter Weise unterstützen. Starten Sie einfach eine Google-Suche nach Stichwörtern zu den einzelnen Themen in den Folienvorlagen, mit Zusätzen wie: Definition, Introduction, Einführung. Natürlich finden Sie in der Uni-Bibliothek jede Menge unterschiedlich ausgerichteter Einführungsbücher, die Ihre Lernstrategien ebenso unterstützen können.

Tutorium

Juanas Tutorienseite (u.a. f. Übungsblatt-Download).

Vorlesungsunterlagen

Nach den Vorlesungen werden die Folien in der Regel weiter editiert.
Änderungen jederzeit vorbehalten!

16.10.2002 (1) Einführung, Organisation HTML - PDF
23.10.2002(2) Mengenlehre: Grundbegriffe HTML - PDF
30.10.2002(3) Mengenlehre: Operationen HTML - PDF
07.10.2002(4) Relationen HTML - PDF
14.11.2002(5) Funktionen HTML - PDF
21.11.2002(6) Partitionen und Äquivalenzrelationen HTML - PDF
28.11.2002Wiederholung: Relationen, Funktionen, Partitionen.
05.12.2002(7) Mengen, Sprachen, reguläre Ausdrücke HTML - PDF
12.12.2002(8) Endliche Übergangsnetzwerke (FSNs), endliche Automaten (FSAs) HTML - PDF
19.12.2002 Wegen Erkrankung ausgefallen.
09.01.2003(9) Reguläre Grammatiken (Typ III Grammatiken) und FSAs HTML - PDF
16.01.2003(10) Endliche Maschinen (FSTs) und ihre Anwendungen
By special request: FSA für deutsche Zahlen (PDF)
HTML - PDF
23.01.2003(11) Entwurf: Kontextfreie Sprachen und ihre Anwendungen HTML - PDF
30.01.2003(12) Entwurf: Die Chomsky-Hierarchie formaler Sprachen und Grammatiken HTML - PDF
06.02.2003Fragestunde: Wiederholung
13.02.2003Klausur


Dafydd Gibbon, Thu Oct 17 16:49:32 MEST 2002