Читать онлайн «Принципы синтеза приемов автоматического решения задач по тригонометрии и дифференциальному исчислению»

МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ имени М. ВЛОМОНОСОВА Механико-математический факультет А. С. Подколзин ПРИНЦИПЫ СИНТЕЗА ПРИЕМОВ АВТОМАТИЧЕСКОГО РЕШЕНИЯ ЗАДАЧ ПО ТРИГОНОМЕТРИИ И ДИФФЕРЕНЦИАЛЬНОМУ ИСЧИСЛЕНИЮ ПРЕПРИНТ Л*1 Москва 1994 год МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ имени М. В. ЛОМОНОСОВА Механико-математический факультет А. С. Подколзин ПРИНЦИПЫ СИНТЕЗА ПРИЕМОВ АВТОМАТИЧЕСКОГО РЕШЕНИЯ ЗАДАЧ ПО ТРИГОНОМЕТРИИ И ДИФФЕРЕНЦИАЛЬНОМУ ИСЧИСЛЕНИЮ ПРЕПРИНТ №1 Москва 1994 год А. С. Подколзин Принципы синтеза приёмов автоматического решения задач по тригонометрии и дифференциальному исчислению. В работе дано краткое описание системы приемов, использованных в компьютерном решателе математических задач для решения задач по тригонометрии и дифференциальному исчислению. Все авторские права на настоящее издание принадлежат механико- математическому факультету МГУ. Ссылки на издание рекомендуется делать по следующей форме: инициалы, фамилия, название, препринт механико-математического факультета МГУ, год, Л>. Адрес: Россия, 119899, Москва, Московский государственный университет имени М. В. Ломоносова, механико-математический факультет. Телефон/телефакс (095) 939-20-90. Publication and distribution rights for this issue are reserved by Mechanics and Mathematics Faculty, Moscow Lomonosov State University. The references should be typed by the following form: initials, surname, title, preprint of Mechanics and Mathematics Faculty, Moscow Lomonosov State University, year, № (number). Adress: Russia. 119899, Moscow Lomonoeow State University, Mechanics and Mathematics Faculty. Phone and fax: (07) (095) 939-2090. Объем 2t0 п. л. Заказ 3 Тираж 200 экз. Издательство механико-математического факультета МГУ г. Москва, Ленинские горн. Лицензия иа издательскую деятельность ЛРХ'ОгОвОб. от 23. 08. 1993г. Отпечатано множительной группой факультета. 3 Введение Разработка компьютерных решателей математических задач является важным направлением в математической кибернетике и теории интеллектуальных систем. Такие решатели составляют основу самых различных экспертных и интеллектуальных систем (см. , например, [12, 25, 26, 27, 28, 29]), используемых для автоматизации инженерных расчетов в технике, управления сложными технологическими и динамическими процессами, обработки информации при проведении научных исследований, а также систем компьютерного обучения. Создание решателей стимулировало проведение как исследований в конкретных предметных областях (компьютерная алгебра, вычислительная геометрия, дискретная оптимизация и др. ), ориентированных на развитие используемого при решении задач математического аппарата, так и исследований математических моделей процесса решения задач в целом [1-15, 18-24]. В настоящей работе развивается подход к моделированию процессов решения задач, основанный на создании таких крупномасштабных баз алгоритмов планирования, которые позволили бы за счет детального анализа конкретной ситуации практически исключить из процесса решения явление перебора и сделать этот процесс " квазиградиентаым".