Руководитель: Руденок А.Е.
- Главная
- Разное
- Дизайн
- Бизнес и предпринимательство
- Аналитика
- Образование
- Развлечения
- Красота и здоровье
- Финансы
- Государство
- Путешествия
- Спорт
- Недвижимость
- Армия
- Графика
- Культурология
- Еда и кулинария
- Лингвистика
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Детские презентации
- Информатика
- История
- Литература
- Маркетинг
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
Применение методов компьютерной алгебры для решения задач планиметрии презентация
Содержание
- 1. Применение методов компьютерной алгебры для решения задач планиметрии
- 2. АКТУАЛЬНОСТЬ Алгоритмический метод проверки справедливости утверждений общего
- 3. ЦЕЛЬ И ЗАДАЧА РАБОТЫ Цель– показать, как
- 4. ПРЕДМЕТ ИЗУЧЕНИЯ Предметом изучения является метод компьютерной алгребры автоматического доказательства теорем планиметрии.
- 5. ОСНОВА МЕТОДА Условия и заключения геометрической теоремы
- 6. ОСНОВА МЕТОДА Геометрические утверждения, выводимые из предположений,
- 7. ОСНОВА МЕТОДА Принадлежность полинома радикалу проверяется алгоритмически за конечное число шагов.
- 8. ПРИМЕНЕНИЕ РЕЗУЛЬТАТА ИССЛЕДОВАНИЯ НА ПРАКТИКЕ Применение
- 9. ПРИМЕНЕНИЕ РЕЗУЛЬТАТА ИССЛЕДОВАНИЯ НА ПРАКТИКЕ Вычисления
- 10. ЗАКЛЮЧЕНИЕ Алгебраические многообразия в работе использованы для
- 11. БЛАГОДАРЮ ЗА ВНИМАНИЕ
АКТУАЛЬНОСТЬ Алгоритмический метод проверки справедливости утверждений общего характера в евклидовой геометрии полезен в области искусственного интеллекта и геометрического моделирования, так как используется при создании программ проверки существования гипотетических связей между геометрическими
Слайд 1ПРИМЕНЕНИЕ МЕТОДОВ КОМПЬЮТЕРНОЙ АЛГЕБРЫ ДЛЯ РЕШЕНИЯ ЗАДАЧ ПЛАНИМЕТРИИ
Выполнил: Маховиков В.А.
Слайд 2АКТУАЛЬНОСТЬ
Алгоритмический метод проверки справедливости утверждений общего характера в евклидовой геометрии полезен
в области искусственного интеллекта и геометрического моделирования, так как используется при создании программ проверки существования гипотетических связей между геометрическими объектами на плоскости.
Слайд 3ЦЕЛЬ И ЗАДАЧА РАБОТЫ
Цель– показать, как методы компьютерной алгебры могут помочь
в доказательстве теорем планиметрии.
Задача - – изучить методы автоматического доказательтсва теорем и применить их на практике.
Задача - – изучить методы автоматического доказательтсва теорем и применить их на практике.
Слайд 4ПРЕДМЕТ ИЗУЧЕНИЯ
Предметом изучения является метод компьютерной алгребры автоматического доказательства теорем планиметрии.
Слайд 5ОСНОВА МЕТОДА
Условия и заключения геометрической теоремы задаются полиномиальными уравнениями от координат
точек, о которых говорится в формулировке утверждения.
Примечание: Не всегда есть возможность это сделать.
Примечание: Не всегда есть возможность это сделать.
Слайд 6ОСНОВА МЕТОДА
Геометрические утверждения, выводимые из предположений, представляются полиномами из идеала, порожденного
предположениями
Слайд 7ОСНОВА МЕТОДА
Принадлежность полинома радикалу проверяется алгоритмически за конечное число шагов.
Слайд 8ПРИМЕНЕНИЕ РЕЗУЛЬТАТА ИССЛЕДОВАНИЯ НА ПРАКТИКЕ
Применение метода базисов Гребнера для решения
конкретной здачи планиметрии.
Слайд 9ПРИМЕНЕНИЕ РЕЗУЛЬТАТА ИССЛЕДОВАНИЯ НА ПРАКТИКЕ
Вычисления проводились в достаточно мощном пакете
компьютерной алгебры Mathematica.
Слайд 10ЗАКЛЮЧЕНИЕ
Алгебраические многообразия в работе использованы для автоматического доказательства теоремы.
Такой же
метод может быть использован для решения прямой и обратной задач робототехники для некоторых типов роботов.
