Структурные свойства алгебраических систем и принцип абстрактности формальных языков исчисления предикатов

Дроботун, Б. Н.

Структурные свойства алгебраических систем и принцип абстрактности формальных языков исчисления предикатов

Дата публикации: 2014

Дата публикации в реестре: 2021-05-18T14:11:48Z

Аннотация:

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

Ключевые слова:
алгебра

Тип: Article