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