О теории натурального ряда
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів ІнформаціяПоле | Співвідношення | |
Creator |
Бондаренко, М. Ф.
Кругликова, Н. П. Пославский, С. А. Шабанов-Кушнаренко, Ю. П. |
|
Date |
2015-12-01T14:11:23Z
2015-12-01T14:11:23Z 2010 |
|
Identifier |
О теории натурального ряда / М. Ф. Бондаренко и другие // Бионика интеллекта : науч.-техн. журн. – Х. : Изд-во ХНУРЭ, 2010. – Вып. 2 (73). – С. 129-139.
http://hdl.handle.net/123456789/2663 |
|
Description |
Предпринята попытка формального описания категории количества. С этой целью на языке алгебры подстановочных операций дана аксиоматическая характеристика понятий натурального числа, счета,сложения, умножения и порядка на множестве натуральных чисел. Идентифицированы первичные понятия теории положительных и произвольных рациональных чисел. Средствами логической математики проведена аксиоматическая характеризация понятий теории действительных чисел и арифметических действий над ними. В статье развиваются идеи, сформулированные в работах [1, 2].
|
|
Language |
ru
|
|
Publisher |
ХНУРЭ
|
|
Subject |
натуральное число
аксиоматическая теория предикат алгебра предикатных операций |
|
Title |
О теории натурального ряда
|
|
Type |
Article
Technical Report |
|