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

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

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

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

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


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

См. также

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

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