Formale Methoden und Programmierung
Dozent:
- Zeit: Montags 10:00 - 12:00 Uhr (c.t.)
- Ort: KG I, HS 1015
- Beginn: 14. 10. 2024
Vorlesung
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.