-
Ключові слова:
ідентифікація, идентификация ; алгебра, algebra, algebre ; логічні оператори, логические операторы
-
Анотація:
Метою роботи є розробка теорії лінійних та білінійних логічних операторів для її подальшого використання в автоматизованих інформаційних системах. Основні завдання наукового дослідження: - аналіз формальних засобів інтелектуальних систем; - аналіз методів алгебраїзації логіки; - аналіз застосування лінійних операторів у лінгвістиці; - розробка теорії логічних просторів; - сінтез алгебраїчних залежностей у логічних просторах; - розробка алгебр лінійних предикатних операцій; - розробка теорії лінійних логічних операторів; - розробка теорії білінійних логічних операторів; - використання методів та алгоритмів, що були отримані, в інформаційних системах.
-
Теми документа
-
УДК // Організація та обробка масивів даних
|