Details
| Title | Сравнительное исследование эффективности стратегий оптимизации метода резолюций: выпускная квалификационная работа магистра: 02.04.03 - Математическое обеспечение и администрирование информационных систем ; 02.04.03_01 - Математическое обеспечение и администрирование корпоративных информационных систем |
|---|---|
| Creators | Ящук Ксения Викторовна |
| Scientific adviser | Пак Вадим Геннадьевич |
| Organization | Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий |
| Imprint | Санкт-Петербург, 2018 |
| Collection | Выпускные квалификационные работы ; Общая коллекция |
| Subjects | Математическая логика ; Искусственный интеллект |
| UDC | 004.832.3 |
| Document type | Master graduation qualification work |
| File type | |
| Language | Russian |
| Level of education | Master |
| Speciality code (FGOS) | 02.04.03 |
| Speciality group (FGOS) | 020000 - Компьютерные и информационные науки |
| Links | Отзыв руководителя ; Рецензия |
| DOI | 10.18720/SPBPU/2/v18-3761 |
| Rights | Доступ по паролю из сети Интернет (чтение, печать, копирование) |
| Record key | RU\SPSTU\edoc\56187 |
| Record create date | 11/9/2018 |
Allowed Actions
–
Action 'Read' will be available if you login or access site from another network
Action 'Download' will be available if you login or access site from another network
| Group | Anonymous |
|---|---|
| Network | Internet |
Данная работа относится к исследованию применения автоматического доказательства теорем в решении задач фундаментальной математики. В ней описывается применение средств автоматического логического вывода в различных областях. Исследуются метод резолюций и стратегии оптимизации. Выбраны задачи из библиотеки TPTP. Программно реализованы алгоритмы стратегий и проведено тестирование на выбранных задачах. Даны рекомендации по использованию стратегий.
| Network | User group | Action |
|---|---|---|
| ILC SPbPU Local Network | All |
|
| Internet | Authorized users SPbPU |
|
| Internet | Anonymous |
|
Access count: 161
Last 30 days: 0
