Публікація:
О конечных отношениях произвольного порядка

Завантаження...
Зображення мініатюри

Дата

1988

Назва журналу

ISSN журналу

Назва тома

Видавництво

«Вища школа»

Дослідницькі проекти

Організаційні підрозділи

Видання журналу

Анотація

Благодаря развитию алгебры конечных предикатов первого порядка стало возможным формальное описание абстрактных понятий, которыми пользуется человек в своей интеллектуальной деятельности. При этом обнаружилась настоятельная потребность в разработке алгебр конечных предикатов более высокого порядка, чем первый. Это позволило бы в более компактной и естественной форме математически описывать многочисленные и разнообразные понятия высокой степени абстрактности, широко используемые человеческим интеллектом. В настоящей статье описывается подход к построению алгебры конечных предикатов произвольного порядка, предназначаемой для формального описания различных аспектов интеллектуальной деятельности человека.

Опис

Ключові слова

алгебра конечных предикатов, описания интеллектуальной деятельности человека

Бібліографічний опис

Тимофеева Г. А. О конечных отношениях произвольного порядка / Г. А. Тимофеева, С. Ю. Шабанов-Кушнаренко // Проблемы бионики : республ. межвед. науч.-техн. сб. – Х. : ХГУ, «Вища школа», 1988. – Вып. 40. – С. 41–48.

DOI