Intensivkurs: Formale Methoden und Programmierung

Dozent:

Dr. Marco Ragni

Tutor:

Daniel Armbrüster

email: d.armbruester@live.de

Vorlesung

Zeit: Di 16-18 Uhr

Ort: Rektoratsgebäude am Fahnenbergplatz, Friedrichstr. 39

Hörsaal am Fahnenbergplatz

Klausur

Zeitpunkt wird noch bekannt geben.

Nachklausur

Termin wird noch bekannt gegeben

Tutorat

Zeit: Montag 16:00-18:00

Ort: Rektoratsgebäude am Fahnenbergplatz, Friedrichstr. 39

Hörsaal am Fahnenbergplatz

Zeit: Donnerstag 12:00-14:00

Ort: Friedrichstr. 50 IIG Seminarraum im obersten Stockwerk

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 LISP, sowie Kenntnisse zur Beschreibung und Analyse formaler Systeme vermittelt.

Übungsaufgaben

13. Ergebnisse der Prüfungen und Bonuspunkte

Hinweis: Evtl. müssen sie sich abmelden (unten rechts auf der Seite) um auf die Materialien zugreifen zu können.

Materialien

Hinweis: Evtl. müssen sie sich abmelden (unten rechts auf der Seite) um auf die Materialien zugreifen zu können.

Bonusprojekt

Wird noch bekannt gegeben

Fragen und Antworten:

Welche Schlüsselwörter gibt es in Lisp?

Eine Liste befindet sich unter: Unvollständige Liste Vollständige liste

Literatur und Links

Programme

Literatur zu LISP

David S. Touretzky (1990): Common LISP: A Gentle Introduction to Symbolic Computation (online)
Peter Seibel: Practical Common Lisp (online)
Winston, P. H., & Horn, B. K. P. (1989). LISP. Third Edition. Reading, MA: Addison-Wesley.
Steele, G. L. (1990). Common-LISP. The Language. Second Edition

Tutorials

Interaktives Lernprogramm für Lisp: Episodic Learner Model: The Adaptive Remote Tutor. ELM-ART

Zusätzliche Literatur

LISP Befehlsreferenz: Eine gute Übersicht über die wichtigsten Lisp-Befehle (online)
LISP Übersicht als Mindmap von Benus Becker (online)
Lisp Keywords