Анализ такого емкого понятия, как 'вычисление' нуждается в подходящем понятийном запасе. Действительно, информатика шире, чем собственно компьютерные науки, а последние несводимы только к программированию. В настоящей книге отбираются и подвергаются обсуждению только такие формализации, которые напрямую способствуют изучению вопроса, как же решаются задачи в этих областях. Ее отличительной особенностью являются систематическое изложение круга вопросов вычислений с объектами -- интенсивно развивающегося направления, которое особенно важно для успешного применения информационных технологий. Формальные средства вычислений с объектами действительно позволяют охватить все аспекты решения задач, начиная с их аккуратной постановки -- чтобы прийти к правильно построенному решению, -- вплоть до построения стратегий, которые приводят к решениям шаг за шагом (пошаговые стратегии), и указать аналитические методы, которые дают возможность оценить и сравнить решения. Этот путь изучения вычислений формирует квалифицированных программистов, поскольку именно программирование является той средой, которая используется для обсуждения всех указанных понятий. В частности, аппликативные вычислительные системы являются базовыми для развития методов и средств вычислений с объектами, а последние нужны тем, кто заинтересован в изучении методов постановки, решения и анализа задач. Круг излагаемых в работе вопросов нельзя отождествлять с программированием, хотя в известном смысле она предназначена для адептов программирования. В настоящей книге базовый запас метатеоретических средств рассмотрен с позиций систематического использования операций абстракции и аппликации -- применения, или приложения, одних объектов к другим, -- что позволяет охватить и принципиально важный круг вопросов, относящихся к основам программирования и языкам программирования. Методы и средства вычислений с объектами, изложенные в настоящей работе, находят отражение в большинстве разделов учебных курсов по информатике и, наряду с другими методами, способствуют развитию компьютерных наук и программирования, а сама книга найдет широкую аудиторию заинтересованных читателей. Систематически рассмотрены модели, методы и средства, для которых центральной сущностью является представление об объекте. Применен подход, основанный на использовании операций аппликации и абстракции, что позволило выполнить замкнутое изложений техники аппликативных вычислений, оставаясь в рамках элементарных средств. Книга основана на материале, который в различных вариантах использовался для проведения занятий по соответствующим разделам курса компьютерных наук. Приводится необходимый теоретический минимум, соответствующий мировым стандартам, иллюстрируются основные вычислительные идеи, понятия и определения. Для специалистов, студентов и аспирантов, занятых в области компьютерных наук. Может быть использована для первоначального самостоятельного изучения предмета.