Intensivkurs: Formale Methoden und Programmierung

Dozent:

Dr. Marco Ragni

Tutor:

Vorlesung

Zeit:

Ort:

Raum-Nr.:

Übung

Zeit:

Ort:

Raum-Nr.:

Beginn:

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

Programmierprojekte

Bonuspunkte

Materialien

Vorlesungsfolien

Kapitel	Thema	Folien	Datum	Errata

Übungsblätter

"Lösungen"

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
Kurz-Tutorial zu LispWorks von Benus Becker (online)

Zusätzliche Literatur

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