Предметная онтология для понимания текстов геометрических задач
Описание предметной онтологии "Планиметрия". Классы понятий, их структуры и свойства. Список используемых отношений и характеристика процедур вывода. Онтологические описания ситуаций как результат преобразования и означивания структур понятий в задачах.
Рубрика | Математика |
Вид | статья |
Язык | русский |
Дата добавления | 09.01.2016 |
Размер файла | 253,1 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Геометрия как раздел математики, изучающий пространственные структуры, отношения и их обобщения. Планиметрия, стереометрия, проективная геометрия. История развития науки. Исследование свойств плоских фигур. Сущность понятий "полупрямая", "треугольник".
презентация [1,1 M], добавлен 16.10.2014Нечёткие системы логического вывода. Исследование основных понятий теории нечетких множеств. Операции над нечёткими множествами. Нечёткие соответствия и отношения. Описания особенностей логических операций: конъюнкции, дизъюнкции, отрицания и импликации.
презентация [191,0 K], добавлен 29.10.2013Физическое и математическое определение центра масс. Основные свойства центров масс. Изучение закона Харди-Вайнберга. Решение геометрических задач барицентрическим методом. Применение барицентрических координат в химических и топологических задачах.
курсовая работа [903,5 K], добавлен 25.02.2015Методика нахождения различных решений геометрических задач на построение. Выбор и применение методов геометрических преобразований: параллельного переноса, симметрии, поворота (вращения), подобия, инверсии в зависимости от формы и свойств базовой фигуры.
курсовая работа [6,4 M], добавлен 13.08.2011Понятия целой и дробной частей действительного числа. Основные свойства функции и ее график. Применение свойств функции y = [x] при решении уравнений и геометрических задач. Описание реальных процессов непрерывными функциями. Решение задач на делимость.
курсовая работа [487,7 K], добавлен 29.05.2016Разработка простого метода для решения сложных задач вычислительной и прикладной математики. Построение гибкого сеточного аппарата для решения практических задач. Квазирешетки в прикладных задачах течения жидкости, а также применение полиномов Бернштейна.
дипломная работа [1,9 M], добавлен 25.06.2011Возникновение науки исследования операций и особенности применения операционных методов. Отделение формы задачи от ее содержания с помощью процесса абстракции. Классы задач. Некоторые математические методы, используемые для получения решений на моделях.
реферат [17,7 K], добавлен 27.06.2011Рассмотрение видов арифметических задач, используемых в работе с дошкольниками. Этапы обучения решению арифметических задач. Изучение структуры, модели записи математического действия. Алгоритм решения задач. Роль данных занятий в общем развитии ребенка.
презентация [379,7 K], добавлен 19.06.2015Понятие о геометрическом преобразовании. Роль движений в геометрии. Применение аффинных преобразований при решении задач. Свойства аффинного преобразования. Транзитивность, рефлексивность и симметричность. Свойство перспективно-аффинного соответствия.
курсовая работа [547,9 K], добавлен 08.05.2011Исследование понятия симметрии, соразмерности, пропорциональности и одинаковости в расположении частей. Характеристика симметрических свойств геометрических фигур. Описания роли симметрии в архитектуре, природе и технике, в решении логических задач.
презентация [1001,7 K], добавлен 06.12.2011Изучение проявлений геометрических законов в живой природе и использования их в образовательной практической деятельности. Описание геометрических законов и сущность геометрических построений. Графическое образование и его место в современном мире.
дипломная работа [2,3 M], добавлен 24.06.2010Анализ основных понятий, утверждений, связанных с показательной и логарифмической функциями в курсе математики. Изучение методик решения типовых задач. Подбор и систематизация задач на нахождение и использование показательной и логарифмической функций.
курсовая работа [1,5 M], добавлен 20.07.2015Четыре основные задачи, решаемые методами преобразования. Сущность способа замены плоскостей проекций. Решение ряда задач по преобразованию прямой общего положения в прямую уровня, а затем - в проецирующую, выполнив последовательно два преобразования.
реферат [185,5 K], добавлен 17.10.2010Краткое историческое описание становления теории множеств. Теоремы теории множеств и их применение к выявлению структуры различных числовых множеств. Определение основных понятий, таких как мощность, счетные, замкнутые множества, континуальное множество.
дипломная работа [440,3 K], добавлен 30.03.2011Порядок доказательства истинности заключения методом резолюции (с построением графа вывода пустой резольвенты) и методом дедуктивного вывода (с построением графа дедуктивного вывода). Выполнение бинарных операций и составление результирующих таблиц.
курсовая работа [185,3 K], добавлен 24.05.2015Формулы вычисления дисперсии суммы двух случайных величин с использованием категории математического ожидания. Характеристика понятий дисперсии. Особенности ее вычисления во взаимосвязи со средним квадратичным отклонением, определение размерности.
презентация [80,4 K], добавлен 01.11.2013Характеристика тригонометрических понятий. Свойства тригонометрических функций, особенности их практического применения в электротехнике. Исследование электрических сигналов путем визуального наблюдения графика сигнала на экране с помощью осциллографа.
презентация [287,9 K], добавлен 28.05.2016Теория групп как фундаментальное понятие и один из разделов современной математики. Основные определения и теоремы. Смежные классы: правые и левые, двойные. Нормальные подгруппы, фактор-группы. Способы их использования в решении различных задач.
курсовая работа [136,6 K], добавлен 30.03.2010Основные условия симметричности фигуры. Примеры геометрических фигур, обладающих центральной симметрией. Центральная симметрия плодов растений и некоторых цветов, живых существ. Центральная симметрия в транспорте. Анализ аксиом стереометрии и планиметрии.
презентация [207,7 K], добавлен 30.10.2013Понятие и математическая сущность квадратного корня, его назначение и методика вычисления. Теоремы, отображающие свойства квадратного коря, их обоснование и доказательство. Применение характеристик квадратных корней в решении геометрических задач.
реферат [132,1 K], добавлен 05.01.2010