Детальная информация
Название | Сравнительное исследование эффективности стратегий оптимизации метода резолюций: выпускная квалификационная работа магистра: 02.04.03 - Математическое обеспечение и администрирование информационных систем ; 02.04.03_01 - Математическое обеспечение и администрирование корпоративных информационных систем |
---|---|
Авторы | Ящук Ксения Викторовна |
Научный руководитель | Пак Вадим Геннадьевич |
Организация | Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий |
Выходные сведения | Санкт-Петербург, 2018 |
Коллекция | Выпускные квалификационные работы ; Общая коллекция |
Тематика | Математическая логика ; Искусственный интеллект |
УДК | 004.832.3 |
Тип документа | Выпускная квалификационная работа магистра |
Тип файла | |
Язык | Русский |
Уровень высшего образования | Магистратура |
Код специальности ФГОС | 02.04.03 |
Группа специальностей ФГОС | 020000 - Компьютерные и информационные науки |
Ссылки | Отзыв руководителя ; Рецензия |
DOI | 10.18720/SPBPU/2/v18-3761 |
Права доступа | Доступ по паролю из сети Интернет (чтение, печать, копирование) |
Ключ записи | RU\SPSTU\edoc\56187 |
Дата создания записи | 09.11.2018 |
Разрешенные действия
–
Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Группа | Анонимные пользователи |
---|---|
Сеть | Интернет |
Данная работа относится к исследованию применения автоматического доказательства теорем в решении задач фундаментальной математики. В ней описывается применение средств автоматического логического вывода в различных областях. Исследуются метод резолюций и стратегии оптимизации. Выбраны задачи из библиотеки TPTP. Программно реализованы алгоритмы стратегий и проведено тестирование на выбранных задачах. Даны рекомендации по использованию стратегий.
Место доступа | Группа пользователей | Действие |
---|---|---|
Локальная сеть ИБК СПбПУ | Все |
|
Интернет | Авторизованные пользователи СПбПУ |
|
Интернет | Анонимные пользователи |
|
Количество обращений: 161
За последние 30 дней: 0