No label defined (Q4039897)

Das vorliegende Buch ist die deutsche Übersetzung der 2. Auflage des amerikanischen Titels ``Oh! Pascal!'', wobei - laut Vorwort der Übersetzer und Bearbeiter - ``stärkere Anpassungen an den deutschen Leser und seinen Erfahrungshintergrund... in den Fallbeispielen, den Selbsttests im Text und in den reichhaltigen Aufgabensammlungen am Ende der Kapitel'' vorgenommen wurden. Es wendet sich an ``Einsteiger'' ohne Programmiervorkenntnisse und führt in Standard-Pascal ein. Nach zwei einleitenden Kapiteln zur Pascal-Programmierung der Eingabe, der Ausgabe und über Programmieren von Berechnungen werden Prozeduren und Funktionen, die For-, Case-, If-Anweisung, bedingte Schleifen, Verarbeitung von Zeichen und Texten, Ordinaltypen und deren Erweiterungen, Gesichtspunkte der Software-Herstellung, Arrays, Records, Textfiles, der Set-Typ und abstrakte Datenstrukturen mit Hilfe von Pointern behandelt. Die Kapitel werden, wo angebracht, mit einem Abschnitt über häufige Fehler abgeschlossen, die (erfahrungsgemäß) im Zusammenhang mit den jeweils vorgestellten Sprachelementen und -konstruktionen auftreten können. Das letzte Kapitel beinhaltet Algorithmen und Programme für Sortieren, Suchen, und Vergleichen (von Strings). In einem Nachtrag und in 3 Anhängen werden einige in den vorangegangenen Kapiteln nicht erläuterte Conf., Oxford/Engl. 1986, Lect. Notes Comput. Sci. 230, 598- 607 (1986). [For the entire collection see Zbl 0598.00015.] A new approach to the computational implementation of a theorem prover is outlined. Its main feature is that the logic is defined as a data type within a purely functional programming language. Its principle advantages are the brevity and simplicity of an implementation. As an example, the program to implement a polymorphic, higher-order logic is only half a dozen pages long. Such a program can very effectively serve as a formal specification of a logic.