1. Наука
  2. Видання
  3. Збірник наукових праць Харківського національного університету Повітряних Сил
  4. 2(43)'2015
  5. Аналіз категорних діаграм та алгебри предикатів як бази предикатної категорії

Аналіз категорних діаграм та алгебри предикатів як бази предикатної категорії

І.О. Лещінська
Анотації на мовах:

Розглядається задача аналізу класичної категорії та її модифікації - предикатної категорії, яка надає більші можливості для додатків теорії категорій в області комп'ютеризації та інформатизації. Зокрема, предикатна категорія є гарною формальної базою для побудови високопродуктивних мозкоподібних комп'ютерів паралельної дії. У даній, другій частини роботи, розглянуті категорна діаграма і необхідний в контексті дослідження апарат алгебри скінченних предикатів.
Ключові слова: категорна діаграма, алгебра предикатів, предикатна категорія