Якімова, Наталія АнатоліївнаYakimova, Nataliia A.2025-01-302025-01-302025Якімова Н. А. Алгебра скінченних предикатів [Електронний ресурс] : навч. посіб. для здобувачів спец. 111 Математика / Н. А. Якімова. – Електрон. текст. дані (1 файл : 2,8 МБ). – Одеса : Одес. нац. ун-т ім. І. І. Мечникова, 2025. – 133 с.978-966-186-337-7https://dspace.onu.edu.ua/handle/123456789/40540У пропонованому навчальному посібнику розглядаються основні алгебраїчні системи, які можуть в подальшому бути застосовані для дослідження математичного апарату систем штучного інтелекту. Особливу увагу приділено алгебрі скінченних предикатів першого та вищих порядків, алгебрі предикатних операцій та побудованим за аналогією з лінійною алгеброю векторним логічним просторам. Розглянуто можливість застосування описаних математичних моделей для формалізації природної мови. Навчальний посібник складений для студентів другого (магістерського) рівня освіти спеціальності 111 «Математика». Також розглянутий в даному навчальному посібнику матеріал може бути рекомендований для студентів технічних спеціальностей.ukалгебраалгебраїчні системискінченний предикатпідстановний предикатпредикатна операціяідеялогічний простірмоделі векторних логічних просторівлогічні оператори111 МатематикаLearning Object510.635:510.637(075.8)