Nächste Seite: Schwerpunkte im Überblick
Aufwärts: ARS ist dokumentiert in
Vorherige Seite: Nutzen von `Programmierung pur'
Inhalt
Die solide Grundlage des Lambda-Kalküls wird
in ein Grundlagenstudium der Programmierung integriert,
- ohne, dass eine Fixierung auf spezielle funktionale Programmiersprachen erfolgt
- und ohne, dass dieser Versuch in eine Mathematisierung der Programmierung mündet.
In 'Programmierung pur' werden
die Grundoperationen des Lambda-Kalküls, Abstraktion, Referenz und
Synthese als einfache grundlegende Programmiersprache mit
Programmbeispielen und einem eigenen ARS-Interpreter vorgestellt.
Georg P. Loczewski
2003-07-18