A++ and the Lambda Calculus: Principles of Functional Programming
- ISBN-10
- 3746938104
- ISBN-13
- 9783746938103
- Category
- Science
- Pages
- 81
- Language
- English
- Published
- 2018-05-09
- Publisher
- tredition
- Author
- Georg P. Loczewski
Description
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).
Get the book
Similar books
-
Chemistry: An Introduction to General, Organic and Biological Chemistry
By Karen C. TimberlakeThis new edition introduces more problem-solving strategies and new conceptual and challenge problems. Also, each Chapter Review has been enhanced with Learning Goals to reinforce the mastery of concepts for students.
-
Chemistry: An Introduction to General, Organic, and Biological Chemistry
By Karen TimberlakeThis laboratory manual contains 42 experiments for the standard sequence of topics in general, organic, and biological chemistry.
-
Basic Chemistry
By Karen C. TimberlakeThe book guides students through basic chemistry problem solving with engaging visuals and a focus on developing the math skills necessary to be successful in the course.
-
General, Organic, and Biological Chemistry: Structures of Life, eBook, Global Edition
By Karen C. TimberlakeThe full text downloaded to your computer With eBooks you can: search for key concepts, words and phrases make highlights and notes as you study share your notes with friends eBooks are downloaded to your computer and accessible either ...
-
Basic Chemistry
By Karen C. Timberlake, William E. TimberlakeBasic Chemistry
-
Basic Chemistry, Books a la Carte Edition
By Karen C. TimberlakeBasic Chemistry, Books a la Carte Edition
-
Essential Laboratory Manual for General, Organic and Biological Chemistry
By Karen C. TimberlakeEssential Laboratory Manual for General, Organic and Biological Chemistry
-
Basic Chemistry, Global Edition
By Karen C. Timberlake, Bill TimberlakeThe main objective in writing this text is to make the study of chemistry an engaging and a positive experience for students by relating the structure and behaviour of matter to real life.
-
General, Organic, and Biological Chemistry: An Integrated Approach
By Karen C. Timberlake, Laura D. Frost, Todd S. DealThe eText pages look exactly like the printed text, and include powerful interactive and customization functions. This is the product access code card for MasteringChemistry with Pearson eText and does not include the actual bound book.
-
Chemistry: An Introduction to General, Organic, and Biological Chemistry
By Karen C. TimberlakeHealth, Environmental, and Green Chemistry Notes throughout the text relate chemistry chapters to real-life topics in health, the environment, and medicine that are interesting and motivating to students.