Перейти к полному списку специальных курсов кафедры

Программа спецкурса "Компьютерный решатель математических задач"

Руководитель курса: проф. Подколзин А.С.
Время и место проведения: четверг 16:45 в ауд. ВМиК 447.

1. Логический язык решателя задач. Стандартная и скобочная формы записи математических утверждений и выражений. Структуры данных и организация процедур формульного редактора, осуществляющего преобразование внутренней (скобочной) формы записи во внешнюю, а также обратное преобразование.

2. Представление задач в решателе. Основные типы задач: на доказательство, описание, преобразование и исследование. Логические и сетевые структуры данных, используемые при представлении задач. Целевая установка задачи; наиболее часто используемые элементы этой целевой установки.

3. Общее представление о приемах решения задач. Организация базы приемов решателя. Процедура сканирования задачи. Использование весов посылок и условий для переключения внимания.

4. Алгоритмический язык ЛОС для программирования приемов решателя. Основные типы данных, используемых в этом языке. Реализация операторов с перечислением значений выходных переменных. Организация программы на языке ЛОС и общая схема ее выполнения. Типы обращения к программе: из сканирования задачи, при реализации вспомогательного оператора либо операторного выражения, при обработке запроса к справочнику. Простейшие управляющие операторы.

5. Общие операторы языка ЛОС.

6. Операторы просмотра и преобразования задачи, используемые в языке ЛОС.

7. Операторы логического представления данных, используемые в языке ЛОС.

8. Операторы сетевого представления данных, используемые в языке ЛОС.

9. Арифметические операторы, операторы интерфейса и операторы для работы с каталогом логических символов.

10. Информационные блоки решателя, используемые для хранения логической и текстовой информации. Операторы, осуществляющие поиск, чтение и запись информации в этих блоках.

11. Блок программ ЛОСа. Операторы, осуществляющие чтение и изменение программ.

12. Общее представление об интерпретаторе ЛОСа. Форматы для представления данных и программ. Формат записей в информационных блоках. Рабочий цикл интерпретатора. Основной стэк и стэк выражений. Типы стэковых кадров. Специфика интерпретации при наличии режима перечисления.

13. Примеры простейших программ на языке ЛОС. Программа приема, активизируемого при сканировании задачи; программы вспомогательного оператора и операторного выражения; программа обработки запроса к справочнику.

14. Представление о языке ГЕНОЛОГ, позволяющем задавать прием в виде теоремы, сопровождаемой алгоритмизирующей разметкой. Основные компоненты этой разметки: заголовок приема, список фильтров, список указателей и список нормализаторов. Примеры наиболее употребительных элементов алгоритмизирующей разметки. Примеры записи приема на языке ГЕНОЛОГ.

15. Важнейшие общие приемы решателя. Приемы логических связок, равенства и канторов.

16. Примеры программирования на ГЕНОЛОГе приемов из различных предметных областей: элементарная алгебра, математический анализ, геометрия на плоскости.

 

Учебное пособие по спецкурсу в формате pdf можно посмотреть здесь

Наверх