Анализ такого емкого понятия, как 'вычисление' нуждается в подходящем понятийном запасе. Действительно, информатика шире, чем собственно компьютерные науки, а последние несводимы только к программированию. В настоящей книге отбираются и подвергаются обсуждению только такие формализации, которые напрямую способствуют изучению вопроса, как же решаются задачи в этих областях. Ее отличительной особенностью являются систематическое изложение круга вопросов вычислений с объектами -- интенсивно развивающегося направления, которое особенно важно для успешного применения информационных технологий.
Формальные средства вычислений с объектами действительно позволяют охватить все аспекты решения задач, начиная с их аккуратной постановки -- чтобы прийти к правильно построенному решению, -- вплоть до построения стратегий, которые приводят к решениям шаг за шагом (пошаговые стратегии), и указать аналитические методы, которые дают возможность оценить и сравнить решения.
Этот путь изучения вычислений формирует квалифицированных программистов, поскольку именно программирование является той средой, которая используется для обсуждения всех указанных понятий. В частности, аппликативные вычислительные системы являются базовыми для развития методов и средств вычислений с объектами, а последние нужны тем, кто заинтересован в изучении методов постановки, решения и анализа задач.
Круг излагаемых в работе вопросов нельзя отождествлять с программированием, хотя в известном смысле она предназначена для адептов программирования. В настоящей книге базовый запас метатеоретических средств рассмотрен с позиций систематического использования операций абстракции и аппликации -- применения, или приложения, одних объектов к другим, -- что позволяет охватить и принципиально важный круг вопросов, относящихся к основам программирования и языкам программирования.
Методы и средства вычислений с объектами, изложенные в настоящей работе, находят отражение в большинстве разделов учебных курсов по информатике и, наряду с другими методами, способствуют развитию компьютерных наук и программирования, а сама книга найдет широкую аудиторию заинтересованных читателей.
Систематически рассмотрены модели, методы и средства, для которых центральной сущностью является представление об объекте. Применен подход, основанный на использовании операций аппликации и абстракции, что позволило выполнить замкнутое изложений техники аппликативных вычислений, оставаясь в рамках элементарных средств. Книга основана на материале, который в различных вариантах использовался для проведения занятий по соответствующим разделам курса компьютерных наук. Приводится необходимый теоретический минимум, соответствующий мировым стандартам, иллюстрируются основные вычислительные идеи, понятия и определения.
Для специалистов, студентов и аспирантов, занятых в области компьютерных наук. Может быть использована для первоначального самостоятельного изучения предмета.
Дополнительно: ОБЯЗАТЕЛЬНО ПРОЧТИТЕ ПЕРЕД ЗАКАЗОМ!
Уважаемые покупатели! Думаю, до середины мая возможны проблемы с поиском заказанных книг. Склад переезжает на новый адрес, и как следствие образовался "бардак", с которым очень сложно и трудоемко бороться. Приношу Вам свои извинения, и надеюсь на Ваше понимание.
С уважением, Геннадий.
Оплата наличными или на карту при встрече. ПОСТОЯННОЕ МЕСТО ВСТРЕЧ У ... [подробнее]
)
как новое;
В продаже с 06.05.2024
