Косиков С.В. Информационные системы: категорный подход. Под ред. к.т.н. Л.Ю. Исмаиловой.

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

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. Категорная абстрактная машина оценки объектов метаданных · Литература