алгебра предикатів, алгебра предикатов ; раціональні числа, рациональные числа. rational numbers, rationale Zahlen

Предпринята попытка формального описания категории количества. С этой целью на языке алгебры подстановочных операций дана аксиоматическая характеристика понятий натурального числа, счета, сложения, умножения и порядка на множестве натуральных чисел. Идентифицированы первичные понятия теории положительных и произвольных рациональных чисел. Средствами логической математики проведена аксиоматическая характеризация понятий теории действительных чисел и арифметических действий над ними.

Бионика интеллекта [Текст] : научно-технический журнал. — Харьков, 2010. — 2(73).

• Праці співробітників ХНУРЕ // Бондаренко Михайло Федорович, Бондаренко Михаил Федорович
• Праці співробітників ХНУРЕ // Шабанов-Кушнаренко Юрій Петрович, Шабанов-Кушнаренко Юрий Петрович