Вечірська І. Д. Дослідження логіки скінченних предикатів як композиційно-номінативної логіки / І. Д. Вечірська, І. Е. Гончаров, С. І. Шепілов // Бионика интеллекта. – 2014. – №2 (83). – С. 53–60.
Складова документа:
Бионика интеллекта : научно-технический журнал. №2 (83) / Мин-во образования и науки Украины ХНУРЭ // Бионика интеллекта. – Харьков : ХНУРЕ, 2014
Анотація:
Досліджено логіку скінченних предикатів як одну з композиційно-номінативних логік. Проведено аналіз предикатних алгебр та алгебр предикатних операцій, що входять до складу логіки скінченних предикатів, а також їх застосувань. Досліджено лінійні логічні перетворення та модифікований добуток морфізмів предикатної категорії.
Тема:
- УДК
- 519.7 Математична кібернетика
- 519.711 Загальні питання теорії керуючих систем. Моделі. Побудова моделей. Кодування. Теорія мереж
- 007.52 Без людини-оператора. Автомати. Роботи Ключові слова
- алгебра скінченних предикатів, алгебра конечных предикатов
- логіка предикатів, логика предикатов
- лінійне логічне перетворення, линейное логическое преобразование ХНУРЕ. Праці співробітників
- Вечірська Ірина Дмитрівна, Вечирская Ирина Дмитриевна