Вид документа:

Складова частина документа

УДК:

658.012.011.56

Левыкин В.М. Задача определения функторов между категорными моделями информационной системы / В.М. Левыкин, М.В. Евланов // Проблемы бионики. – 2003. – №Вып. 58. – С.62–67.



Складова документа:Шифр: 007(06) П78
Проблемы бионики : всеукр. межвед. науч.-техн. сб. Вып. 58 / МОН Украины, Харьк. нац. ун-т радиоэлектроники; редкол.: М. Ф. Бондаренко (гл. ред.) и др. – Харьков : ХНУРЭ, 2003. – 144 с. – 15,00


Анотація:
Рассмотрено решение проблемы трансформации моделей проектируемой информационной системы. В качестве математического аппарата формализованного описания задачи предлагается использовать аппарат теории категорий. Сформулированы основные математические модели ковариантного функтора, описывающего переход между категорными моделями информационной системы