ЮрИнфоР >>> Библиотека ЮрИнфоР >>> Фундаментальные основы информационных технологий >>>
Applicative computing. Its quarks, atoms and molecules
|
|
||||||||||||||||
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.
The 2nd part gives some supply of environments for educational and methodical complex of corresponding discipline (EMCD).
This material is suitable both for advanced learners and beginners in Computing and Information Technologies as well as in Discrete Mathematics (DM) and Fundamental Basics of Information Technologies (FBIT). It helps for developing the intuition sufficient for successful navigation across the dramatically changing world of innovative information processes which occurs both in nature and technology.
Material is especially useful for the instructor, postgraduate and graduate students of IT-specialties and is suitable for the system of training and advancing the qualification of specialists.
См. также
Wolfengagen V.E. Combinatory logic in programming. Computations with objects through examples and exercises.
Contents
Part 1. Quarks, atoms, molecules of computing
- Introduction
- 1. Invariants of computing
- 2. New paradigms of computing
- 3. Revision of computing foundations
- 4. Notion of a constant
- 5. Functions
- 6. Interaction of an object and environment
- 7. The principles of computing
- 8. Interaction of objects
- 9. System of primary objects
- 10. System of derived objects
- 11. Derivation of combinators
- 12. Reduction and expansion of objects
- 13. Synthesis of object with the given combinatory characteristic
- 14. Infinite constructions
- 15. The plurality of the worlds of combinators
- Acknowledgements
- Conclusions
- References
- Index
Part 2. Educational and methodical complex of corresponding discipline and ready-made solutions
