Выполнил: Маховиков В.А. Руководитель: Руденок А.Е.

Презентация:



Advertisements
Похожие презентации
Прямая и обратная теорема Подготовила Ученица 7 «Б» класса Булатова Мария Учитель: Мизей Н. И.
Advertisements

Подготовила Кардаш Дарья, 9 «Б» СОШ 2 им. Н.П. Массонова г.Свислочь, 2011.
Введение в геометрию. Содержание Возникновение геометрии. Основные разделы геометрии. Основные фигуры на плоскости. Основные фигуры в пространстве. Геометрические.
Элективные курсы по математике и физике 10 класс.
Определение Две плоскости называются параллельными, если они не пересекаются. α α β, тогда αβ β.
Аксиомы стереометрии и их простейшие следствия.. Геометрия Планиметрия Объекты: точка прямая Стереометрия Объекты: точка прямая плоскость.
Простейшая симметричная система с двумя неизвестными имеет вид Симметричные системы По теореме, обратной в теореме Виета, ее решение сводится к решению.
Тесты Особенности содержания и структуры контрольных измерительных материалов определяются целями, поставленными перед ЕГЭ Цель единого государственного.
Найдите ошибку 1)Геометрия – это предмет, в котором изучают свойства геометрических фигур. 2)Планиметрия – раздел геометрии, изучающий фигуры. 3)Отрезком.
Выполнила: магистрантка ММФ, БГУ Щеглова Татьяна Витальевна, Руководитель: доктор физ.-мат. наук, профессор кафедры дифференциальных уравнений Садовский.
Система работы по подготовке к ЕГЭ. Учитель математики Петрова А.И. Тацинская СОШ год.
Уравнения прямой и окружности Урок геометрии в 8 классе.
Компьютерное обучение.. Живая геометрия. Программа «Живая геометрия» это виртуальный конструктор, предназначенный для построения геометрических фигур.
Аксиома параллельных прямых. 1. Об аксиомах геометрии Аксиомы - исходные положения, на основе которых доказываются далее теоремы и, вообще, строится вся.
Теорема Если две точки прямой принадлежат плоскости, тои вся прямая принадлежит плоскости. α 1. Если плоскость β совпадает с плоскостью α, то утверждение.
Утверждение Через точку прямой можно провести перпендикулярную этой прямой, причём единственную. А α а в Дано: с прямая а,точка А на прямой а. Доказать:существует.
Руководитель: Рогозин Сергей Васильевич. Фактризация: используется в задачах теории упругости в физике, а также в задачах теории композитных материалов.
Из истории возникновения геометрии. Геометрия раздел математики, изучающий пространственные структуры и отношения, а также их обобщения.
Учебный проект выполнен учеником 7Б класса МОАУ средней школы 58 Брыляковым Михаилом Руководитель Салангина Е.Д.
Презентация урока по геометрии 7 класс Microsoft Office PowerPoint с использованием материалов учитель математики муниципального общеобразовательного.
Транксрипт:

Выполнил: Маховиков В.А. Руководитель: Руденок А.Е.

Алгоритмический метод проверки справедливости утверждений общего характера в евклидовой геометрии полезен в области искусственного интеллекта и геометрического моделирования, так как используется при создании программ проверки существования гипотетических связей между геометрическими объектами на плоскости.

Цель– показать, как методы компьютерной алгебры могут помочь в доказательстве теорем планиметрии. Задача - – изучить методы автоматического доказательтсва теорем и применить их на практике.

Предметом изучения является метод компьютерной алгребры автоматического доказательства теорем планиметрии.

Условия и заключения геометрической теоремы задаются полиномиальными уравнениями от координат точек, о которых говорится в формулировке утверждения. Примечание: Не всегда есть возможность это сделать.

Геометрические утверждения, выводимые из предположений, представляются полиномами из идеала, порожденного предположениями

Принадлежность полинома радикалу проверяется алгоритмически за конечное число шагов.

Применение метода базисов Гребнера для решения конкретной здачи планиметрии.

Вычисления проводились в достаточно мощном пакете компьютерной алгебры Mathematica.

Алгебраические многообразия в работе использованы для автоматического доказательства теоремы. Такой же метод может быть использован для решения прямой и обратной задач робототехники для некоторых типов роботов.