Sie sind hier: Startseite Archiv der Lehrveranstaltungen … Wintersemester 2018/2019 Formale Methoden und Programmierung

Formale Methoden und Programmierung

 

Dozenten:

Prof. Dr. Lars Konieczny

 

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.