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