ЮрИнфоР >>> Библиотека ЮрИнфоР >>> Компьютерные науки и информационные технологии >>>

Информационные системы: категорный подход

ISBN 5-9587-0005-7 2005. 96 c. ББК 32.97 УДК 004 Мягкий переплет. Цена 1 220 Цена 2 480 Цены действительны до 03.12.2024 Цена 1 с учетом НДС Цена 2 с учетом почтовых расходов по РФ и НДС. ПОЛОЖИТЬ В КОРЗИНУ × Выберите способ доставки: самовывоз по почте Адрес самовывоза: г. Москва, ул. Малая Пироговская, дом 5, офис 33. При оформлении заказа необходимо будет указать почтовый адрес для отправки посылки с заказом. Отмена Положить в корзину

Аннотация Как приобрести См. также ПОЛОЖИТЬ В КОРЗИНУ × Выберите способ доставки: самовывоз по почте Адрес самовывоза: г. Москва, ул. Малая Пироговская, дом 5, офис 33. При оформлении заказа необходимо будет указать почтовый адрес для отправки посылки с заказом. Отмена Положить в корзину

В работе изложены основы подхода к проектированию информационных систем с использованием методов теории категорий. Подробно представлены теоретико-категорные конструкции, используемые для построения теоретических моделей и практической реализации информационных систем. Значительное внимание уделено технике построения абстрактных машин как основы реализации информационных систем на основе категорных вычислительных моделей.

Книгу можно использовать в качестве справочного пособия для студентов, аспирантов, специалистов в области проектирования информационных систем, а также для всех, интересующихся применениями математических методов в новой информационной технологии.

The book gives an account to the basic ideas related to the designing of information systems by using methods of the category theory. A detailed account is given of theoretico-categorical constructions that are used for building theoretical models and practical realization of information systems.

Considerable attention is given to how abstract machines are built as a basis for realizing information systems by means of category computational models.

The book can be used as reference material for students, post-graduate students, experts in the field of designing informational systems as well as for the application of mathematical methods in the new information technology.

• Предисловие редактора серии
• Введение
• 1. Логико-аппликативный язык описания предметной области
• 2. Категорные средства моделирования объектов метаданных
• 3. Выявление концептуальной структуры категорной модели
• 4. Выявление внутренней логики категорной модели
• 5. Построение вычислительной модели обработки метаданных
• 6. Аппликативное программирование на категорной основе
• 7. Категорная абстрактная машина оценки объектов метаданных
• Литература

См. также

Вольфенгаген В.Э. Рецензия на книгу Косикова С.В. «Информационные системы: категорный подход».

Дополнительные учебно-методические материалы и компьютерные обучающие средства (практикумы, активные книги)