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

Название: Модуль дистанционного курса для автоматизированного решения задачи сапера на основе BDD: выпускная квалификационная работа бакалавра: 02.03.02 - Фундаментальная информатика и информационные технологии ; 02.03.02_02 - Информатика и компьютерные науки
Авторы: Выскубова Анастасия Сергеевна
Научный руководитель: Шошмина И. В.
Организация: Санкт-Петербургский политехнический университет Петра Великого. Высшая школа программной инженерии
Выходные сведения: Санкт-Петербург, 2018
Коллекция: Выпускные квалификационные работы; Общая коллекция
Тематика: задача сапера; программирование в булевых ограничениях; логика высказываний; бинарные решающие диаграммы
Тип документа: Выпускная квалификационная работа бакалавра
Тип файла: PDF
Язык: Русский
Код специальности ФГОС: 02.03.02
Группа специальностей ФГОС: 020000 - Компьютерные и информационные науки
Ссылки: Отзыв руководителя
DOI: 10.18720/SPBPU/2/v18-4935
Права доступа: Доступ по паролю из сети Интернет (чтение, печать, копирование)

Разрешенные действия:

Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети

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

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

Аннотация

Работа посвящена решению задачи сапера как задачи программирования в булевых ограничениях и разработке модуля автоматизированного решения задачи сапера с использованием бинарных решающих диаграмм. Реализованный модуль включает в себя пользовательский интерфейс, формирование булевых функций на основе фактов о расположении мин и интерпретацию максимально сильного следствия из фактов. Для представления булевых функций и последующей работы с ними были использованы бинарные решающие диаграммы. Модуль решения задачи сапера предназначен для интеграции на национальную платформу «Открытое образование» в качестве пособия для слушателей курса профессора Карпова «Математическая логика», чтобы продемонстрировать слушателям курса, что полученной ими информации достаточно для того, чтобы запрограммировать самим логическую задачу.

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

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

Оглавление

  • Список обозначений
  • Введение
  • Задача «Сапер» как логическая игра
    • 1.1 Дистанционный курс «Математическая логика» и задача «Сапер»
      • 1.1.1 Особенности дистанционного курса «Математическая логика»
      • 1.1.2 «Основные понятия логики высказываний» и задача «Сапер»
    • 1.2 Уточненная постановка задачи
  • Решение задачи «Сапер» как задачи программирования в булевых ограничениях
    • 2.1 Программирование в логических ограничениях
    • 2.2 Логические ограничения для задачи «Сапер»
    • 2.3 Бинарные решающие диаграммы
  • Реализация модуля автоматизированного решения задачи «Сапер»
    • 3.1 Библиотеки Swing и AWT
    • 3.2 Пользовательский интерфейс приложения «Интеллектуальный сапер»
    • 3.3 Библиотека JavaBDD
    • 3.4 Автоматизированное решение задачи «Сапер»
    • 3.5 Результаты тестирования приложения «Интеллектуальный сапер»
  • Заключение
  • Литература

Статистика использования

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