Публікація: Идентификация категории количества. 1
Завантаження...
Дата
1999
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХГТУРЭ
Анотація
Предпринимается попытка формального описания категории количества. С этой целью на языке алгебры подстановочных операций дается аксиоматическая характеристика понятий натурального числа, счета, сложения, умножения и порядка на множестве натуральных чисел. Идентифицируются первичные понятия теории положительных и произвольных рациональных чисел.
Средствами логической математики проводится аксиоматическая характеризация понятий теории действительных чисел и арифметических действий над ними.
Опис
Ключові слова
категория количества, аксиоматическая характеристика понятий, алгебра подстановочных операций
Бібліографічний опис
Баталин А. В. Идентификация категории количества. 1 / А. В. Баталин, С. А. Пославский, Ю. П. Шабанов-Кушнаренко // Радиоэлектроника и информатика : науч.-техн. журн. – Х. : ХГТУРЭ, 1999. – Вып. 1. – С. 95–104.