Анализ категорных диаграмм и алгебры предикатов как базы предикатной категории
Наукові видання Харківського національного університету Повітряних Сил
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Анализ категорных диаграмм и алгебры предикатов как базы предикатной категории
Аналіз категорних діаграм та алгебри предикатів як бази предикатної категорії Analysis of the categorical charts and predicates algebra as a basis of predicate categories |
|
| Creator |
И.А. Лещинская
І.О. Лещінська I.A. Leschynskaya |
|
| Subject |
Кібернетика та системний аналіз
УДК 519.854 категорная диаграмма, алгебра предикатов, предикатная категория категорна діаграма, алгебра предикатів, предикатна категорія categorical diagram, predicates algebra, predicate category |
|
| Description |
Рассматривается задача анализа классической категории и ее модификации – предикатной категории, которая предоставляет бóльшие возможности для приложений теории категорий в области компьютеризации и информатизации. В частности, предикатная категория является хорошей формальной базой для построения высокопроизводительных мозгоподобных компьютеров параллельного действия. В данной, второй части работы, рассмотрены категорная диаграмма и необходимый в контексте исследования аппарат алгебры конечных предикатов.
Розглядається задача аналізу класичної категорії та її модифікації - предикатної категорії, яка надає більші можливості для додатків теорії категорій в області комп'ютеризації та інформатизації. Зокрема, предикатна категорія є гарною формальної базою для побудови високопродуктивних мозкоподібних комп'ютерів паралельної дії. У даній, другій частини роботи, розглянуті категорна діаграма і необхідний в контексті дослідження апарат алгебри скінченних предикатів. The problem of analyzing the classical category and its modifications - predicate category, which offers more opportunities for applications of category theory in the field of computerization and information. In particular, the predicate category is a good formal basis for building high-performance brain-like computers parallel action. In this, the second part of the work, considered categorical chart and necessary in the context of the research the finite predicates algebra apparatus. |
|
| Publisher |
Харківський національний університет Повітряних Сил ім. І. Кожедуба
Харьковский национальный университет Воздушных Сил им. И. Кожедуба Kharkiv national Air Force University named after I. Kozhedub |
|
| Date |
2015
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion Рецензована стаття |
|
| Format |
application/pdf
|
|
| Identifier |
http://www.hups.mil.gov.ua/periodic-app/article/4187
|
|
| Source |
Збірник наукових праць Харківського національного університету Повітряних Сил. — 2015. — № 2(43). 50-53
Сборник научных трудов Харьковского национального университета Воздушных Сил. — 2015. — № 2(43). 50-53 Scientific Works of Kharkiv National Air Force University. — 2015. — № 2(43). 50-53 2073-7378 |
|
| Language |
rus
|
|
| Relation |
http://www.hups.mil.gov.ua/periodic-app/article/4187/zhups_2015_2_12.pdf
|
|