Prof. Dr. Marcus Kracht
Vorlesung Formale Methoden I (230005)Ort und Zeit: Mittwochs 14-16. H6.
Tutorien:Termine:
Materialien und Planung
Die Veranstaltung behandelt schwerpunktmäßig die Themen Mengentheorie, formale Grammatiken und Automaten. Das erste Thema bildet eine wesentliche Grundlage für alle im Modul Formale Methoden behandelten Beschreibungs- und Modellierungsverfahren. Die Mengentheorie bildet die Grundlage für die wissenschaftliche Arbeit. Begriffe wie Menge, Relation, Funktion werden thematisiert und eingeübt. Mit der Theorie der Zeichenketten und formaler Grammatiken ist ein erster Ansatzpunkt dafür gegeben, wie man Sprachproduktion mit Hilfe formaler Systeme erfassen kann. Die Automatentheorie leistet Analoges für die Sprachrezeption. Planung der Vorlesung: (Diese ist vorläufig. Ich versuche, sie auf dem neuesten Stand zu halten. Bitte erkundigen Sie sich jedoch immer, wenn Sie gefehlt haben, was tatsächlich behandelt wurde.)
Kriterien:In jedem Fall müssen Sie regelmäßig in den Tutorien anwesend sein. Sollten Sie verhindert sein, empfiehlt es sich, mir das rechtzeitig mitzuteilen. Besprechen Sie Ausnahmen von den Regeln nicht mit den Tutorinnen oder Tutoren, ohne dass ich davon weiß! Solche Regelungen sind für mich ansonsten wie nicht getroffen. Die Kriterien für die Vergabe von Punkten oder Leistungsnachweisen werden in der Vorlesung angekündigt. Bitte verlassen Sie sich nicht auf die Information Dritter, sondern erkundigen Sie sich bei mir persönlich, wofür Sie Leistungen verbucht bekommen. Wichtig. Die stete Änderung von Prüfungsvorschriften und Vergabeverfahren bedeutet für uns einen nicht zu unterschätzenden Aufwand. Aus diesem Grund lege ich Ihnen nahe, die Verbuchung der Leistungen, auf die Sie Anspruch haben, auch zu überprüfen. Sollten Sie länger als 1 Jahr warten, kann ich nicht garantieren, dass ich über sämtliche relevanten Daten verfüge (mit Ausnahme von Klausuren), um Ihre Angaben zu überprüfen. Marcus Kracht Zuletzt geändert: Di 28. November 2017 20:30:00 CET |