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