Детальная информация

Название: Сравнительное исследование эффективности стратегий оптимизации метода резолюций: выпускная квалификационная работа магистра: 02.04.03 - Математическое обеспечение и администрирование информационных систем ; 02.04.03_01 - Математическое обеспечение и администрирование корпоративных информационных систем
Авторы: Ящук Ксения Викторовна
Научный руководитель: Пак Вадим Геннадьевич
Организация: Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Выходные сведения: Санкт-Петербург, 2018
Коллекция: Выпускные квалификационные работы; Общая коллекция
Тематика: Математическая логика; Искусственный интеллект
УДК: 004.832.3
Тип документа: Выпускная квалификационная работа магистра
Тип файла: PDF
Язык: Русский
Код специальности ФГОС: 02.04.03
Группа специальностей ФГОС: 020000 - Компьютерные и информационные науки
Ссылки: http://doi.org/10.18720/SPBPU/2/v18-3761; http://elib.spbstu.ru/dl/2/rev/v18-3761-o.pdf; http://elib.spbstu.ru/dl/2/rev/v18-3761-r.pdf
Права доступа: Свободный доступ из сети Интернет (чтение, печать, копирование)

Разрешенные действия: Прочитать Загрузить (1,3 Мб) Для чтения документа необходим Flash Player

Группа: Анонимные пользователи

Сеть: Интернет

Аннотация

Данная работа относится к исследованию применения автоматического доказательства теорем в решении задач фундаментальной математики. В ней описывается применение средств автоматического логического вывода в различных областях. Исследуются метод резолюций и стратегии оптимизации. Выбраны задачи из библиотеки TPTP. Программно реализованы алгоритмы стратегий и проведено тестирование на выбранных задачах. Даны рекомендации по использованию стратегий.

Права на использование объекта хранения

Место доступа Группа пользователей Действие
Локальная сеть ИБК СПбПУ Все Прочитать Печать Загрузить
-> Интернет Все Прочитать Печать Загрузить

Статистика использования документа

stat Количество обращений: 127
За последние 30 дней: 5
Подробная статистика