Sie sind hier: Startseite › … › Archiv der Lehrveranstaltungen … › Wintersemester 2012/2013 › Intensivkurs: Formale Methoden …

Intensivkurs: Formale Methoden und Programmierung

 

Dozent:

Dr. Marco Ragni

 

Tutor:

Franz Dietrich

email: dietricf    informatik.uni-freiburg.de

das @ an der richtigen Stelle einfügen


 

Vorlesung

Zeit: Di 16-18 Uhr

Ort: Hermann-Herder-Straße 9

Raum-Nr.: 00019/20 (EG)


Klausur

Zeit: Di 05.02.2013 16-18 Uhr

Ort: Hermann-Herder-Straße 9

Raum-Nr.: 00019/20 (EG)

Noten: Noten der Klausurteilnehmer

 

Nachklausur

Zeit: Di 11.04.2013 14 Uhr

Ort: Friedrichstraße 50

Raum: 2. OG Seminarraum

 

Übung

Alle die noch keine email von mir(Franz Dietrich) bekommen haben schicken mir bitte noch eine kurze mail dass ich euch auch mit auf die Liste nehme!

 

Zeit: Montag 16-18 Uhr

Ort: Bismarkallee

Raum-Nr.: Raum 2

Beginn: 5. November

 

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

  1. EX01-LispinstallationEinführung Abgabe per email oder auf Papier im Tutorat am 5.11. Antworten01
  2. EX02-Funktionen Abgabe per email oder auf Papier im Tutorat am 11.11. Antworten02
  3. EX03-CondUndListen Bearbeitungszeit 2 Wochen Abgabe per email oder auf Papier Antworten03
  4. Ex04-QuelltextUndTests Bearbeitungszeit 2 Wochen Abgabe per email oder auf Papier Antworten04
  5. EX05-Rekursion Abgabe 7. Januar per email als .lisp Datei.
  6. Ex06-IterativMengen (korrigiert) Iterativ Funktionsbeispiele und Antworten06 
  7. Ex07-MengenCurryLambda

 

Die Probeklausur: Probeklausur Keine Lösungen!

 

Materialien

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
    • Links