Алгебра скінченних предикатів
Вантажиться...
Дата
2025
Науковий керівник
Укладач
Редактор
Назва журналу
ISSN
E-ISSN
Назва тому
Видавець
Одеський національний університет імені І. І. Мечникова
Анотація
У пропонованому навчальному посібнику розглядаються основні алгебраїчні системи, які можуть в подальшому бути застосовані для дослідження математичного апарату систем штучного інтелекту. Особливу увагу приділено алгебрі скінченних предикатів першого та вищих порядків, алгебрі предикатних операцій та побудованим за аналогією з лінійною алгеброю векторним логічним просторам. Розглянуто можливість застосування описаних математичних моделей для формалізації природної мови.
Навчальний посібник складений для студентів другого (магістерського) рівня освіти спеціальності 111 «Математика». Також розглянутий в даному навчальному посібнику матеріал може бути рекомендований для студентів технічних спеціальностей.
Опис
Ключові слова
алгебра, алгебраїчні системи, скінченний предикат, підстановний предикат, предикатна операція, ідея, логічний простір, моделі векторних логічних просторів, логічні оператори, 111 Математика
Бібліографічний опис
Якімова Н. А. Алгебра скінченних предикатів [Електронний ресурс] : навч. посіб. для здобувачів спец. 111 Математика / Н. А. Якімова. – Електрон. текст. дані (1 файл : 2,8 МБ). – Одеса : Одес. нац. ун-т ім. І. І. Мечникова, 2025. – 133 с.
DOI
ORCID:
УДК
510.635:510.637(075.8)