Публікація:
О теории натурального ряда

Завантаження...
Зображення мініатюри

Дата

2010

Назва журналу

ISSN журналу

Назва тома

Видавництво

ХНУРЭ

Дослідницькі проекти

Організаційні підрозділи

Видання журналу

Анотація

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

Опис

Ключові слова

натуральное число, аксиоматическая теория, предикат, алгебра предикатных операций

Бібліографічний опис

О теории натурального ряда / М. Ф. Бондаренко и другие // Бионика интеллекта : науч.-техн. журн. – Х. : Изд-во ХНУРЭ, 2010. – Вып. 2 (73). – С. 129-139.

DOI