Formale Methoden III (H10)

Kursinformationen

1. Kursbeschreibung
2. Hinweise für den Abschlusstest:
   
   1. Die Prüfung findet am 31. Juli 2003 in H10 statt.
   2. Die Prüfung beginnt pünktlich um 14.00h; bitte erscheinen Sie einige Minuten vorher.
   3. Die Prüfung endet pünktlich um 16.00h.
   4. Die Prüfungsfragen werden wie schon beim FM1-Test unmittelbar von den Diskussionspunkten der Vorlesung und den Übungsaufgaben des Tutoriums abgeleitet.
   5. Alle Themen der Vorlesung werden behandelt.
   6. Typische Fragen betreffen Definitionen, Übersetzung von Notationen, Ableitung komplexer Strukturen mit den eingeführten Operatoren.
3. Literatur, Semesterapparat
4. Tutorium
   Nathalie Hinney stellt hier Informationen zum Tutorium bereit.
5. Vorlesungsunterlagen
   • Zu den Vorlesungen wurde ein Semesterapparat in der UB bereitgestellt.
   • Die empfohlene Lektüre wird hier aufgelistet.
   • ... zu den Vorlesungsunterlagen
     Murphy hat sein Gesetz inzwischen wieder außer Kraft gesetzt....
   Nach den Vorlesungen werden die Folien in der Regel weiter editiert. Änderungen jederzeit vorbehalten!

6. Kursplan

   24.04.2003	(1) Einführung, Organisation, Revision (Mengentheorie / FM1-Klausur)
   08.05.2003	(2) Merkmale, Attribut-Wert-Paare (AW-Paare)
   15.05.2003	(3) Attribut-Wert-Strukturen (AW-Strukturen, AWS)
   22.05.2003	(4) Gerichtete azyklische Graphen und Relationen über AWS
   05.06.2003	(5) Gemeinsame Teilstrukturen, Unifikation
   12.06.2003	(6) Formale Sprachen (Wiederholung und Erweiterung) (7) Formalismus und Interpretation
   26.06.2003	(8) eine einfache KF-AVM-Grammatik (9) eine koindizierte KF-AVM-Grammatik
   03.07.2003	(10) Lexikon: Generalisierung, Differenz, Unifikation, Typ-Vererbung (11) Lexikon: Standardannahmen, Überschreibung, Default-Unifikation, Default-Vererbung
   10.07.2003	(13) HPSG-Notation
   17.07.2003	(12) Ableitung mit AWM-Operationen
   24.07.2003	(14) Wiederholung
   31.07.2003	(15) Klausur