Theoretische Grundlagen funktionaler und applikativer Sprachen - SoSe 2007

2007-08-14: Klausurergebnisse liegen vor

Aushang (ohne Gewähr) siehe Loesungen/KlausurErgebnis.pdf

2007-07-25: Klausurergebnisse vermutlich in der 31. oder 32. KW

und dann hier online, zugriffsgeschützt wie das Script.

2007-07-05: Fehler im SKI-Interpreter

Der SKI-Interpreter (Vers. 0.9)macht übrigens bei komplexerem Code offenbar Fehler!

2007-07-03: Kleine Korrekturen

Ich bin freundlicherweise auf einige Fehler aufmerksam gemacht worden, und habe selber auch noch einige gefunden. Korrigeirt wurde: Blatt 4 Auf. 5 (1), Blatt 6 Auf. 1, und die Lösung zu Blatt 1 Auf 7.
die Lösungen zu Blatt 4 stelle ich gleich ins Netz.

2007-07-02: SKI-Interpreter in LISP verfügbar

Damit man mal experientieren kann, habe ich einen SKI-Interpreter in LISP geschrieben, der z.B. [x]xyz in der Eingabeform (abstr 'x '((x y) z)) richtig interpretiert, und auch prüfen kann, indem er SKI-Ausdrücke auswertet, z.B. liefert (ski '(S K K a)) auch a. Ohne Gewähr - Interpretercode unter .

2007-06-07, DL: Klausuranmeldungen möglich

Die Anmeldung zur Klausur ist inzwischen im möglich und nötig. Es wurde wegen der verschiedenen Fristen in zwei unterschiedliche Anmeldungen aufgeteilt: id=499 für Bachelor-Studienänge, die nur bis 3 Wochen vor der Klausur noch abmelden können, und id=502 für die sonstigen Studiengänge, di is zu einer Woche vorher noch abmelden können.
Studierende, die ggf. spätrer in Bachelor wechseln wollen, sollten die Anmeldung unter kid=499 verwenden.
Bachelor-Studierende müssen vermutlich zusätzlich im HSI/LSF für die Veranstaltung angemeldet sein.

2007-06-11, DL

Wie bereits angedeutet ist der Klausurtermin am Do, der 12.7.2007, von 8.00h-10-15h im M3

2007-05-08, DL

Die nächste Übung ist voraussichtlich am 15.Mai.
Blatt 3 aktualisiere ich heute noch.

2007-04-25, DL: Übung krankheitsbedingt voraussichtlich erst Dienstag ... ähm, kommenden Donnerstag

Voraussichtlich ist krankheitsbedingt am 26.4.2007 doch Vorlesung, und die 2. Übung dann am 3. Mai. Tut mir leid.

2007-04-24, DL: Übung am Donnerstag

Am 26.4.2007 ist statt Vorlesung die 2. Übung

2007-04-15, DL: Zugriff auf das Script

Alle nun angemeldeten Teilnehmer sollten auf das Script zugreifen können!

2007-04-05, DL; Zugriff auf das Script

Für die Kennungen, die bislang angemldet sind, ist der Zugriff auf das Script nun freigegeben (Link im linken Sidebar dieser Seite). Aber bevor es alle ausdrucken - es fehlen noch ein paar Seiten, insofern würde ich auf die endgültige Version warten, die in ein paar Tagen kommen sollte.

2007-03-29, DL:

Literatur, Links und Hinweise ergänzt

2007-03-21, DL: Vorbereitungen ...

Seite erzeugt ...

Vorlesungsverzeichnis / Belegnummern

(siehe auch )
Belegnummer 103573.
Teilnehmer sollten sich bitte zusätzlich über das eintragen. Damit bekommen sie auch Zugang zu beschränkten Ressourcen wie z.B. dem aktualisierten Script.

Ablauf Vorlesung / Übungen

Übungen ersetzen nach Bedarf gelegentlich eine Vorlesung-Doppelstunde. Das wird dann hier angekündigt. In den ersten beiden Wochenist damit voraussichtlich nicht zu rechnen ...

Anrechnung

Die Vorlesung ist für die Bereiche "Theoretische Informatik" und "Programmiersprachen" anrechenbar, beides wird auf dem Schein auch angegeben.

LISP

Auf den Linux-Arbeitsplätzen des Fachbereichs 10 steht u.a. Common Lisp (clisp) zur Verfügung, von den Windows-APs kann man ggf. über ein Terminalfenster (ssh oder exceed/xterm) auf einen Linux-Rechner (warp, raeuber21-40) zugreifen und dort clisp starten.

Wer selber LISP installieren möchte: Einige LISP-Varianten stehen auch open source zur Verfügung, u.a. clisp und , und auch unter dem freien Editor xemacs")?> läuft ein common lisp system.

Funktionale Programmiersprachen

Für einige bekanntere funktionale Programmiersprachen gibt es freie Implementationene, so etwa für , , . hugs/Haskell ist auch auf den Linux-Systemen des FB10 installiert.

John Backus

, Comm. of the ACM 21/8, 1978

Henk Barendregt:

The lambda calculus, its syntax and semantics. North-Holland 1984

Alonzo Church:

The Calculi Of Lambda-Conversion. Annals of mathematics studies, Princeton 1941

Haskell B. Curry:

Grundlagen der kombinatorischen Logik, American Journal of Mathematics. Bd 52, Baltimore 1930

Haskell B. Curry:

Combinatroy Logic. North-Holland 1972

Paul Graham:

Herbert Stoyan, Günther Goertz:

LISP, eine Einführung in die Programmierung. Springer 1984

John McCarthy:

, April 1960

Gyoergy E. Revesz:

Lambda-calculus, combinators, and functional programming. Cambridge tracts in theoretical computer science 1988

Wikipedia:

Wikipedia:

Wikipedia:

Wikipedia:

Und etwas entfernter vom Thema:

A. Asteroth, Chr. Baier:

Theoretische Informatik. Pearson Studium, 2002

Uwe Schöning:

Theoretische Informatik - kurz gefaßt. Spektrum Verlag, 2001