Formale Methoden und Programmierung
Dozenten:
Laura Israel (M. Sc)
Tutorin:
Laura Wächter
Vorlesung
Zeit: Montag 10:00-12:00 Uhr
- Ort: Wilhelmstraße 26, R00-016
Tutorate
Zeit: N.V.
Eine genaue Auflistung der Tutoratsinhalte finden Sie im ILIAS-System.
Klausur
Zeit:
Montag, 13. 2. 2017 10:00-12:00 Uhr c.t. im HS 1016
Abstract
Dieser Veranstaltung dient als Vorbereitung für die im Sommersemester stattfindende Pflichtveranstaltung "Kognitive Modellierung". In der Veranstaltung werden dafür Kenntnisse in der Programmiersprache CommonLISP, sowie Kenntnisse zur Beschreibung und Analyse formaler Systeme vermittelt.
Materialien & Übungsblätter
Materialien für die einzelnen Sitzungen, den Details zu den Leistungsnachweisen sowie Informationen zu aktuellen Änderungen finden Sie auf ILIAS
Das Passwort erfahren Sie in der ersten Vorlesung und auf Nachfrage.