Идентификация категории количества. 1
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Идентификация категории количества. 1
|
|
Creator |
Баталин, А. В.
Пославский, С. А. Шабанов-Кушнаренко, Ю. П. |
|
Subject |
категория количества
аксиоматическая характеристика понятий алгебра подстановочных операций |
|
Description |
Предпринимается попытка формального описания категории количества. С этой целью на языке алгебры подстановочных операций дается аксиоматическая характеристика понятий натурального числа, счета, сложения, умножения и порядка на множестве натуральных чисел. Идентифицируются первичные понятия теории положительных и произвольных рациональных чисел. Средствами логической математики проводится аксиоматическая характеризация понятий теории действительных чисел и арифметических действий над ними. |
|
Date |
2018-12-20T15:03:08Z
2018-12-20T15:03:08Z 1999 |
|
Type |
Article
|
|
Identifier |
Баталин А. В. Идентификация категории количества. 1 / А. В. Баталин, С. А. Пославский, Ю. П. Шабанов-Кушнаренко // Радиоэлектроника и информатика : науч.-техн. журн. – Х. : ХГТУРЭ, 1999. – Вып. 1. – С. 95–104.
http://openarchive.nure.ua/handle/document/7599 |
|
Language |
ru
|
|
Publisher |
ХГТУРЭ
|
|