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