Рассмотрена задача анализа классической категории и ее модификации - предикатной категории, которая предоставляет большие возможности для приложений теории категорий в области компьютеризации и информатизации. В частности, предикатная категория является хорошей формальной базой для построения высокопроизводительных мозгоподобных компьютеров параллельного действия. В настоящей, первой части работы, рассмотрены классическая абстрактная категория, безобъектная категория и категория с объектами.

  Повний текст PDF - 296.554 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"