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