Алгебра идей
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Алгебра идей
|
|
| Creator |
Бондаренко, М. Ф.
Шабанов-Кушнаренко, С. Ю. Шабанов-Кушнаренко, Ю. П. |
|
| Subject |
компараторная идентификация
метод сравнения алгебра конечных предикатов предикат равенства теория интеллекта аксиоматическая теория |
|
| Description |
Рассмотрены интерпретации аксиом абстрактного эквивалента алгебры конечных предикатов - алгебры идей. Получено аксиоматическое задание предиката равенства идей, рассмотрены вопросы полноты и однозначности аксиоматики и связанный с ними вопрос изоморфизма моделей.
|
|
| Date |
2016-06-08T13:16:43Z
2016-06-08T13:16:43Z 2010 |
|
| Type |
Article
|
|
| Identifier |
Бондаренко, М. Ф. Алгебра идей / М. Ф. Бондаренко, С. Ю. Шабанов-Кушнаренко, Ю. П. Шабанов-Кушнаренко // Бионика интеллекта : науч.-техн. журн. – Х. : Изд-во ХНУРЭ, 2010. – Вып. 2 (73). – С. 16-27.
http://openarchive.nure.ua/handle/document/578 |
|
| Language |
ru
|
|
| Publisher |
ХНУРЭ
|
|