Публікація: О логической идентификации объектов
Завантаження...
Дата
2011
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХНУРЭ
Анотація
В статье излагаются элементы учения о логической идентификации объектов. Обращается внимание
на то важное обстоятельство, что потребности классической математики и учения о логической идентификации объектов диктуют различный взгляд этих областей знания на назначение аксиоматической теории. В первом случае из аксиом теории выводятся следствия, во втором – аксиомы рассматриваются как логические уравнения, которые требуются решить и получить общий вид модели теории.
Опис
Ключові слова
логическая идентификация объектов, аксиоматическая теория
Бібліографічний опис
О логической идентификации объектов / М. Ф. Бондаренко, Н. П. Кругликова, Н. Е. Русакова, Ю. П. Шабанов-Кушнаренко // Бионика интеллекта : науч.-техн. журн. – Х. : Изд-во ХНУРЭ, 2011. – Вып. 1 (75). – С. 8–12.