Intensivkurs: Formale Methoden und Programmierung
Dozent:
Assistentin:
Tutoren:
Matthias Frorath
E-Mail: frorath informatik.uni-freiburg.de
Franz Dietrich
E-Mail: dietricf informatik.uni-freiburg.de
Das @ an der richtigen Stelle einfügen
Vorlesung
Zeit: Dienstag 16:00-18:00 Uhr
Ort: Hermann-Herder-Straße 9, Raum-Nr.: 00019/20 (EG) und SR P.I.
Klausur
Dienstag, 3. Februar 2015, 16:00-18:00 Uhr.
Ort: Hörsaal Fahnenbergplatz (Wegbeschreibung)
Die Klausurergebnisse sind nun im ILIAS einsehbar.
Nachklausur
Dienstag, 14. April 2015, 16:00-18:00 Uhr.
Ort: Friedrichstr. 50 IIG, Seminarraum 2. OG
Tutorate
Gruppe 1 (Tutor: Franz Dietrich)
Zeit: Montag 16:00-18:00
Ort: Friedrichstr. 50 IIG, Seminarraum 2. OG
Gruppe 2 (Tutor: Matthias Frorath)
Zeit: Donnerstag 16:00-18:00
Ort: Friedrichstr. 50 IIG, Seminarraum 2. OG
Abstract
Dieser Intensivkurs dient als Vorbereitung für die im Sommersemester stattfindende Pflichtveranstaltung "Kognitive Modellierung". In der Veranstaltung werden dafür Kenntnisse in der Programmiersprache Scheme, sowie Kenntnisse zur Beschreibung und Analyse formaler Systeme vermittelt.
Materialien & Übungsblätter
Hier geht es zu den Materialien für die einzelnen Sitzungen, den Details zu
den Leistungsnachweisen sowie Informationen zu aktuellen Änderungen im ILIAS-System.
Das Passwort erfahren Sie in der ersten Vorlesung.