English version of this page
На главную страницу
Официальный сайт кафедры Математической теории интеллектуальных систем и
лаборатории Проблем теоретической кибернетики
механико-математического факультета МГУ им. М. В. Ломоносова
На первую страницу сервера Новости Кафедра Сотрудники Учеба Наука Исследования Журнал Культура Полнотекстовый поиск по серверу
 ТДФ Теория дискретных функций – лекции и семинары для студентов 1 курса (II поток)
 Ташкентский филиал Ташкентский филиал МГУ им. М.В. Ломоносова
 Семинары расписание специальных семинаров кафедры МаТИС
 Курсы расписание специальных курсов кафедры, программа курсов
 Практикум cпециальный математический практикум кафедры МаТИС, III курс
 Студенты список студентов кафедры по курсам и группам, расписание занятий, выпускники
 Магистратура информация для поступающих в магистратуру
 Аспирантура информация для аспирантов и поступающих в аспирантуру; списки аспирантов

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 

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

Наверх

   © 2001-2015 г. Кафедра Математической теории интеллектуальных систем, лаборатория Проблем теоретической кибернетики Написать вебмастеру   
XWare
 Полнотекстовый поиск
 
Только точная форма слов      Выводить по результатов на странице
Rambler's Top100 Рейтинг@Mail.ru