|
-
Ключові слова:
алгебра скінченних предикатів, алгебра конечных предикатов ; компараторна ідентифікація, компараторная идентификация ; теорія інтелекта, теория интеллекта
-
Анотація:
Рассмотрены интерпретации аксиом абстрактного эквивалента алгебры конечных предикатов - алгебры идей. Получено аксиоматическое задание предиката равенства идей, рассмотрены вопросы полноты и однозначности аксиоматики и связанный с ними вопрос изоморфизма моделей.
-
Є складовою частиною документа:
-
Теми документа
-
Праці співробітників ХНУРЕ // Бондаренко Михайло Федорович, Бондаренко Михаил Федорович
-
УДК // МАТЕМАТИЧНА КІБЕРНЕТИКА
-
Праці співробітників ХНУРЕ // Шабанов-Кушнаренко Сергій Юрійович, Шабанов-Кушнаренко Сергей Юрьевич
-
Праці співробітників ХНУРЕ // Шабанов-Кушнаренко Юрій Петрович, Шабанов-Кушнаренко Юрий Петрович
|
