Задача определения функторов между категорными моделями информационной системы

Левыкин, В. М.; Евланов, М. В.

Публікація:
Задача определения функторов между категорными моделями информационной системы

dc.contributor.author	Левыкин, В. М.
dc.contributor.author	Евланов, М. В.
dc.date.accessioned	2017-06-19T10:37:40Z
dc.date.available	2017-06-19T10:37:40Z
dc.date.issued	2003
dc.description.abstract	Розглянуто вирішення проблеми трансформації моделей інформаційної системи, що проектується. Як математичний апарат формалізованого опису задачі пропонується використовувати апарат теорії категорій. Сформульовані основні математичні моделі коваріантного функтора, який описує перехід між категорними моделями інформаційної системи. The decision of developing information system models transformation problem is devoted. As mathematical apparatus for the task formalized describing the using of category theory apparatus is proposed. The base mathematical models of the covariant functor, which describe categorical information system models transformation are given.	uk_UA
dc.identifier.citation	Левыкин В. М., Евланов М. В. Задача определения функторов между категорными моделями информационной системы // Проблемы бионики. – 2003. – Вып. 58. – С. 62-67.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/3912
dc.language.iso	ru	uk_UA
dc.subject	информационная система	uk_UA
dc.subject	теория категорий	uk_UA
dc.subject	ковариантный функтор	uk_UA
dc.subject	правила существования функтора	uk_UA
dc.subject	тезаурус модели системы	uk_UA
dc.title	Задача определения функторов между категорными моделями информационной системы	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication