![]() ![]() | "ЮрИнфоР®" >>> Библиотека ЮрИнфоР® >>> Информационные системы: категорный подход
Косиков С.В. . В работе изложены основы подхода к проектированию информационных систем с использованием методов теории категорий. Подробно представлены теоретико-категорные конструкции, используемые для построения теоретических моделей и практической реализации информационных систем. Значительное внимание уделено технике построения абстрактных машин как основы реализации информационных систем на основе категорных вычислительных моделей. Книгу можно использовать в качестве справочного пособия для студентов, аспирантов, специалистов в области проектирования информационных систем, а также для всех, интересующихся применениями математических методов в новой информационной технологии. 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.
См. также Вольфенгаген В.Э. Рецензия на книгу Косикова С.В. «Информационные системы: категорный подход». | ![]()
![]()
![]()
![]()
![]() ![]()
![]() | |||||||||||||||||||||||||