Electronic Documents Search

Documents found: 1

1

Исследование эффективности комбинирования алгоритмов унификации со стратегиями оптимизации метода резолюций: выпускная квалификационная работа бакалавра: направление 02.03.03 «Математическое обеспечение и администрирование информационных систем» ; образовательная программа 02.03.03_01 «Интеллектуальные информационные системы и обработка данных»

Creators	Шляга Вячеслав Владимирович
Scientific adviser	Пак Вадим Геннадьевич
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint	Санкт-Петербург, 2022
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	метод резолюций; автоматическое доказательство теорем; стратегия оптимизации; алгоритм унификации; resolution rule; automated logic reasoning; optimization strategies; unification algorithms
Document type	Bachelor graduation qualification work
File type	PDF
Language	Russian
Level of education	Bachelor
Speciality code (FGOS)	02.03.03
Speciality group (FGOS)	020000 - Компьютерные и информационные науки
DOI	10.18720/SPBPU/3/2022/vr/vr22-3052
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 1.1 Mb

1