Formale Methoden und Programmierung
Dozenten:
Tutorin:
Nora Leben
Juanjuan Jia
Vorlesung
Zeit: Montag 10:00 - 12:00 Uhr
- Ort: KG III, HS 3118
Tutorate
Zeit: N.V.
Eine genaue Auflistung der Tutoratsinhalte finden Sie im ILIAS-System.
Klausur
Zeit:
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.