Перейти к полному списку специальных курсов кафедры
Программа спецкурса "Компьютерный решатель математических задач"
NB: 2020 год: формат обучения в карантине
1. Логический язык решателя задач. Стандартная и скобочная формы
записи математических утверждений и выражений. Структуры данных
и организация процедур формульного редактора, осуществляющего
преобразование внутренней (скобочной) формы записи во внешнюю,
а также обратное преобразование.
2. Представление задач в решателе. Основные типы задач: на доказательство,
описание, преобразование и исследование. Логические и сетевые
структуры данных, используемые при представлении задач.
Целевая установка задачи; наиболее часто используемые элементы
этой целевой установки.
3. Общее представление о приемах решения задач. Организация базы
приемов решателя. Процедура сканирования задачи. Использование
весов посылок и условий для переключения внимания.
4. Алгоритмический язык ЛОС для программирования приемов решателя.
Основные типы данных, используемых в этом языке. Реализация
операторов с перечислением значений выходных переменных. Организация
программы на языке ЛОС и общая схема ее выполнения. Типы
обращения к программе: из сканирования задачи, при реализации
вспомогательного оператора либо операторного выражения, при
обработке запроса к справочнику. Простейшие управляющие
операторы.
5. Общие операторы языка ЛОС.
6. Операторы просмотра и преобразования задачи, используемые
в языке ЛОС.
7. Операторы логического представления данных, используемые в
языке ЛОС.
8. Операторы сетевого представления данных, используемые в
языке ЛОС.
9. Арифметические операторы, операторы интерфейса и операторы
для работы с каталогом логических символов.
10. Информационные блоки решателя, используемые для хранения логической
и текстовой информации. Операторы, осуществляющие поиск, чтение и
запись информации в этих блоках.
11. Блок программ ЛОСа. Операторы, осуществляющие чтение и изменение
программ.
12. Общее представление об интерпретаторе ЛОСа. Форматы для
представления данных и программ. Формат записей в информационных
блоках. Рабочий цикл интерпретатора. Основной стэк и стэк выражений.
Типы стэковых кадров. Специфика интерпретации при наличии режима
перечисления.
13. Примеры простейших программ на языке ЛОС. Программа приема,
активизируемого при сканировании задачи; программы вспомогательного
оператора и операторного выражения; программа обработки запроса
к справочнику.
14. Представление о языке ГЕНОЛОГ, позволяющем задавать прием в
виде теоремы, сопровождаемой алгоритмизирующей разметкой. Основные
компоненты этой разметки: заголовок приема, список фильтров,
список указателей и список нормализаторов. Примеры наиболее
употребительных элементов алгоритмизирующей разметки. Примеры
записи приема на языке ГЕНОЛОГ.
15. Важнейшие общие приемы решателя. Приемы логических
связок, равенства и канторов.
16. Примеры программирования на ГЕНОЛОГе приемов из различных
предметных областей: элементарная алгебра, математический
анализ, геометрия на плоскости.
Учебное пособие по спецкурсу в формате pdf можно посмотреть здесь
Наверх
|