Applicative Computing: Its Quarks, Atoms and Molecules

• Category: Computer
• Pages: : 672 pages
• File type: : HTML, PDF (5.1 MB), ePub, Kindle, Daisy, DjVu, etc.

Read and download free eBook intituled Applicative Computing: Its Quarks, Atoms and Molecules in format : HTML, PDF (5.1 MB), ePub, Kindle, Daisy, DjVu, etc. – : 672 pages created by .

Applicative computing systems, or ACS are the systems of object calculi founded on combinatory logic and lambda calculus.[1] The only essential notion which is under consideration in these systems is the representation of object. In combinatory logic the only metaoperator is application in a sense of applying one object to other. In lambda calculus two metaoperators are used: application – the same as in combinatory logic, and functional abstraction which binds the only variable in one object.

This work covers the advanced topics in main ideas of computing in general. This material is approved in practice of NRNU MEPhI, MIPT and several other educational centers of the Russian Federation.

Its 1st part represents an outlook of computations, which is achieved by adoption of the atomic doctrine for specified reference system of primary objects. The main attention is given to finding-out of technological features of computations with objects. Their interaction is considered in applicative environment that allows finding out internal structure of usual operations which knowledge allows understanding their properties. The choice of initial constant entities, considered as primary and referred as combinators is discussed. These initial entities are used as the basic `building blocks’, entering in applicative environment in interaction with each other. This interaction results in the constructs, giving representative sets of usual operators and to the embedded computing systems.

Read and Download Links:

Applicative Computing: Its Quarks, Atoms and Molecules