
eBOOK
A++ and the Lambda Calculus
Principles of Functional Programming
eBook | 13 March 2025
At a Glance
eBook
RRP $18.19
$17.99
OR
Free with Kobo Plus Read
Start Free Trial *- Subscribe and read all you want.
- $13.99 a month after free trial. Cancel Anytime. Learn more.
Instant Digital Delivery to your Booktopia Reader App
Read on
The book contains an introduction to the Lambda Calculus as the theoretical foundation of all 'Functional Programming' languages. The Lambda Calculus has been created by the American logician Alonzo Church in the 1930's and is documented in his works published in 1941 under the title 'The Calculi of Lambda Conversion'. Alonzo Church wanted to formulate a mathematical logical system and had no intent to create a programming language. The intrinsic relationship of his system to programming was discovered much later in a time in which programming of computers became an issue. The book 'A++ and the Lambda Calculus' also contains a brief introduction to the educational programming language A++, a minimal programming language that has been built with the Lambda Calculus as its foundation. The purpose of A++ is to serve as a learning instrument rather than as a programming language used to solve practical problems. A++ is supposed to be an excellent tool to become familiar with the core of programming and with programming patterns that can be applied in other languages needed to face the real world. A++ is presented in greater detail in the books: 'A++ The Smallest Programming Language in the World' (978-3-7469-3021-3) and in 'Programmieren lernen mit A++' (978-3-7469-3199-9).
Georg P. Loczewski (*1939 in Schonlanke in Pommern) fluchtete als Kind mit seiner Mutter und Schwester nach Reit im Winkl in Bayern. Von 1959 bis 1964 studierte er Philosophie und Theologie in Reisach am Inn (Aszese und Mystik im Noviziat der Unbeschuhten Karmeliten) und in Regensburg (Philosophisch-Theologische Hochschule). Danach studierte er einige Semester Physik an der Technischen Hochschule Munchen und wechselte dann in das Berufsleben, in dem er von 1970-1998 auf dem Gebiet der Informatik als Ausbilder fur systemnahe Programmierung und Methodik der Programmierung, als Education Consultant und als Systemprogrammierer in Deutschland und in den USA fur die Computerfirmen Honeywell, Honeywell Bull und Bull arbeitete. Im Jahr 1970 grundete er eine Familie, aus der zwei Sohne hervorgingen. 1980 veroffentlichte er das Buch Logik der Strukturierung von Programmen im R. Oldenbourg Verlag. Spater folgten die Bucher Programmierung PUR (2003) und A++, The Smallest Programming Language in the World (2005). Im Jahre 1990 kehrte er nach Deutschland zuruck und arbeitete dort fur die Computer Firma 'Bull GmbH' als Systemprogrammierer. Im Ruhestand hat er fur den S. Toeche-Mittler-Verlag und die internationale Versandbuchhandlung derselben Firma in Darmstadt die E-Commerce-Plattform aufgebaut (http://www.net-library.de). Wahrend des großten Teils seines Berufslebens und danach hat er sich fur katholische Spiritualitat interessiert, besonders fur die Spiritualitat des hl. Johannes v. Kreuz. Mit seiner Familie hat er eine enge Beziehung zu Monchen einer Kartause in der Schweiz aufgebaut .In den letzten 25 Jahren hat er mehrere kleine Schriften verfasst, die der kontemplativen Spiritualitat gewidmet sind, die jedoch nicht veroffentlicht wurden. In den Jahren ab 2016 veroffentlichte er religiose Kleinschriften zu nachst im 'Bernardus-Verlag, Aachen' und danach im Verlag 'tredition-GmbH, Hamburg'. Auf seiner Home-Page http://www.alpha-bound.de befinden sich mehrere Web-Publikationen. Hingewiesen sei ganz besonders auf den 'Multi-Lingual Bible Server', der die gesamte Bibel in 7 verschiedenen Sprachen anbietet, darunter auch Russisch, Griechisch und Hebraisch. Seine folgenden Web-Sites sind der in den Buchern prasentierten Spiritualitat gewidmet: www.alpha-bound.de, www.lambda-bound.de, www.logos-bound.de, www.alpha-bound.org. Seine folgenden Web-Sites Seine sind der Informatik gewidmet: www.aplusplus.net, www.lambda-bound.com . (Buchindex zum Download: logos-bound.de)
Read on
ISBN: 9783746938103
ISBN-10: 3746938104
Published: 13th March 2025
Format: ePUB
Language: English
For Ages: 12 - 18 years old
Publisher: tredition