Ѕиблиотека ёр»нфо–® >>>  омпьютерные науки и информационные технологии >>>

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


ќбложка.  рупно.
ISBN 5-9587-0005-7
2005. 96 c.
ЅЅ  32.97
”ƒ  004
ћ€гкий переплет.
÷ена 1
220
÷ена 2
-
÷ены действительны до
06.12.2022
÷ена 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.  атегорна€ абстрактна€ машина оценки объектов метаданных
  • Ћитература

—м. также

¬ольфенгаген ¬.Ё. –ецензи€ на книгу  осикова†—.¬. Ђ»нформационные системы: категорный подходї.

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