|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Средства поддержки обучения логическому программированиюдипломная работа (Специалист)
- Научный руководитель: Груздева Н.В.
- Автор: Рогова А.С.
- Тип: Специалист
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова
- Год защиты: 2015
- Аннотация: В дипломной работе рассматриваются различные трассировщики пролог-программ с точки зрения наглядности и полноты выводимой в ходе трассировки информации, а также их пригодности для обучения основам программирования на языке Пролог. На основе изученного материала разработано визуальное представление процесса трассировки в виде ориентированного графа, представляющего дерево доказательства запроса. Итогом дипломной работы была разработка и реализация системы графической трассировки для языка Пролог, осуществляющей трассировку пролог-программ и вывод результатов в виде дерева доказательства.
- Добавил в систему: Груздева Надежда Валерьевна