A++ and the Lambda Calculus von Loczewski, Georg P

A++ and the Lambda Calculus

Principles of Functional Programming

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).

> findR *
> Buchhandlung findr > Verlag findr > Für Buchhändler
Bücher zum Thema
A. Informatik Lambda Kalkül Programmierung
Produktinformationen
    • ISBN-10
      3746938112
    • GTIN-13
      9783746938110
    • Untertitel
      Principles of Functional Programming
    • Erscheinungstermin
    • Sprache
      ger
    • Autoren Biografie
      Biografische Daten: Georg P. Loczewski (*1939 in Schönlanke in Pommern) flüchtete 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 München und wechselte dann in das Berufsleben, in dem er von 1970–1998 auf dem Gebiet der Informatik als Ausbilder für systemnahe Programmierung und Methodik der Programmierung, als Education Consultant und als Systemprogrammierer in Deutschland und in den USA für die Computerfirmen Honeywell, Honeywell Bull und Bull arbeitete. 1980 veröffentlichte er das Buch Logik der Strukturierung von Programmen im R. Oldenbourg Verlag. Später im Ruhestand folgten die Bücher Programmierung PUR (2003) und A++, The Smallest Programming Language in the World (2005). Im Ruhestand hat er für den S. Toeche-Mittler-Verlag und die internationale Versandbuchhandlung derselben Firma in Darmstadt die E-Commerce-Plattform aufgebaut (http://www.net-library.de). Während des größten Teils seines Berufslebens und danach hat er sich für katholische Spiritualität interessiert, besonders für die Spiritualität des Karmel und ganz speziell für die Spiritualität des hl. Johannes v. Kreuz. Mit seiner ganzen Familie hat er eine persönliche Beziehung zu Mönchen der Kartause La Valsainte in der Schweiz aufgebaut und gepflegt. In den letzten 25 Jahren hat er mehrere kleine Schriften verfasst, die der kontemplativen Spiritualität gewidmet sind, die jedoch nicht veröffentlicht wurden. In Kürze wird allerdings ein Büchlein mit dem Titel: 'Emmanuel --- Gott mit uns' im Bernardus-Verlag erscheinen. Die ISBN lautet: 978-3-8107-0265-4. 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 Hebräisch. ~
    • Genre-Code
      1982
    • Letzte Bearbeitung
      2018-05-14
    • Website des Verlages
    • Produktart
      BC
    • Schlüsselwörter
      A., Informatik, Lambda Kalkül, Programmierung
    • Verleger
      tredition
    • Genre
      HC, Natur, Technik, Sachbücher, Sachbücher: Natur, Technik, Naturwissenschaft

A++ and the Lambda Calculus online kaufen

Die Publikation A++ and the Lambda Calculus - Principles of Functional Programming von ist bei tredition erschienen. Die Publikation ist mit folgenden Schlagwörtern verschlagwortet: A., Informatik, Lambda Kalkül, Programmierung. Weitere Bücher, Themenseiten, Autoren und Verlage finden Sie hier: https://buch-findr.de/sitemap_index.xml . Auf Buch FindR finden Sie eine umfassendsten Bücher und Publikationlisten im Internet. Sie können die Bücher und Publikationen direkt bestellen. Ferner bieten wir ein umfassendes Verzeichnis aller Verlagsanschriften inkl. Email und Telefonnummer und Adressen. Die Publikation kostet in Deutschland 7.99 EUR und in Österreich 8.3 EUR Für Informationen zum Angebot von Buch FindR nehmen Sie gerne mit uns Kontakt auf!