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

Анализ категорных диаграмм и алгебры предикатов как базы предикатной категории

И.А. Лещинская
УДК 519.854
Мова статті: російська
Анотації на мовах:

Рассматривается задача анализа классической категории и ее модификации – предикатной категории, которая предоставляет бóльшие возможности для приложений теории категорий в области компьютеризации и информатизации. В частности, предикатная категория является хорошей формальной базой для построения высокопроизводительных мозгоподобных компьютеров параллельного действия. В данной, второй части работы, рассмотрены категорная диаграмма и необходимый в контексте исследования аппарат алгебры конечных предикатов.
Ключові слова: категорная диаграмма, алгебра предикатов, предикатная категория
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Лещинская И.А. Анализ категорных диаграмм и алгебры предикатов как базы предикатной категории / И.А. Лещинская  // Збірник наукових праць Харківського національного університету Повітряних Сил. – 2015. – № 2(43). – С. 50-53.