Intensivkurs: Formale Methoden und Programmierung

Dozenten:

Dr. Marco Ragni

Matthias Frorath ( frorath@informatik.uni-freiburg.de )

Tutorin:

Laura Wächter

Vorlesung

Zeit: Freitag 8:00-10:00 Uhr

Ort: KG I, HS 1134

Tutorate

Zeit: Montag, 14:00-16:00 Uhr, zweiwöchentlich

Ort: Raum R 00 003a in der Hermann-Herder-Straße 9

Termine: 9.11., 23.11., 7.12., 21.12., 18.01., 01.02.

Zeit: Mittwoch, 14:00-16:00 Uhr, zweiwöchentlich

Ort: Raum R 00 003c in der Hermann-Herder-Straße 9

Termine: 4.11., 18.11., 02.12., 16.12., 13.01., 27.01., 03.02.

In beiden Tutoraten wird insgesamt derselbe Inhalt besprochen. Eine genaue Auflistung der Tutoratsinhalte finden Sie im ILIAS-System.

Klausur

Zeit:

Freitag, der 5. Februar 2016, 8:00-10:00 Uhr

Ort:

KG I, HS 1009 (nicht wie auf dem Übungsblatt beschrieben im Raum 1109 !)

Nachklausur

Zeit:

Freitag, der 15. April 2016, 14:00-16:00 Uhr

Ort:

IIG, Seminarraum 02009

Zur Vorbereitung auf die Nachklausur findet am Montag, den 11. April 2016 von 14-15 Uhr im selben Raum eine Fragestunde statt.

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

Materialien für die einzelnen Sitzungen, den Details zu den Leistungsnachweisen sowie Informationen zu aktuellen Änderungen finden Sie im ILIAS-System.

Das Passwort erfahren Sie in der ersten Vorlesung und auf Nachfrage.

Klausurzulassung

Alle Studierende: Um zur Klausur zugelassen zu werden, müssen 75% der Punkte auf den Übungsblättern erreicht werden. Übungsblätter werden am Tag der Vorlesung veröffentlicht und die Bearbeitungszeit beträgt in der Regel 1 Woche. Übungsblätter können in Gruppen von bis zu zwei Studierenden bearbeitet werden.

Zusätzlich für die Masterstudierenden der KW: Um zur Klausur zugelassen zu werden, muss zudem noch ein kleines Programmierprojekt in R bearbeitet werden. Die Aufgabenstellung wird im Dezember veröffentlicht und muss bis Anfang Januar abgegeben werden. Hierfür wird vermutlich eine Sondersitzung im Dezember angeboten, bei der die Details besprochen werden.