31.2513 40.4548 3.84371

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

5-9587-0005-7

ЮрИнфоР, Москва
отзывы о компании (0)
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
Подробное описание

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

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