Математическое мышление: концептуальное доказательство или логический вывод?
Анализ аргументации сторонников и противников тезиса "концептуалистов" и "формалистов". Оценка возможностей воспроизведения доказательства математических теорем в виде строгого логического вывода. Программа унивалентных основ математики В. Воеводского.
Подобные документы
Понятие множества, его виды и характеристическое свойство. Математическое доказательство как цепочка дедуктивных умозаключений, выполняемых по определенным правилам. Теоретико-множественный смысл натурального числа, нуля и операций на множестве.
шпаргалка, добавлен 18.06.2011Установление зависимости качественных особенностей окружающего мира от математических соотношений как грандиозное открытие. Основные культурные доминанты античности в пифагорейско-платоновской традиции. Логическое доказательство математических построений.
статья, добавлен 25.09.2018Роль математики в современной науке. Влияние математики на изменение самого стиля научного мышления, на изменение традиционных способов умозаключений. Аксиоматический метод изложения, принятый в геометрии. Внутреннее логическое единство математики.
реферат, добавлен 08.11.2012Характеристика теоретических основ работы с пакетом MATHCAD. Изучение особенностей интерфейса программы и ее основных возможностей для инженерных расчетов. Описание примеров использования основных возможностей MATHCAD для решения математических задач.
курсовая работа, добавлен 22.12.2014Время жизни Пифагора Самосского, получение им образования. Доказательства теоремы Пифагора: способом достроения квадрата, методом построения и разложения. Доказательство, основанное на использовании понятия равновеликости фигур. Аддитивные доказательства.
реферат, добавлен 03.04.2017Математическая модель как математическое представление реальности, один из вариантов модели - системы, исследование позволяет получать информацию о некоторой другой системе. Вывод математических уравнений, описывающих состояние и характеристики системы.
презентация, добавлен 20.05.2017Понятие о натуральных, комплексных и иррациональных числах. Правила математического доказательства теорем. Принципы исчисления дифференциала и производной функции. Приведение формулы Ньютона-Лейбница. Расчет криволинейного и поверхностного интегралов.
конспект урока, добавлен 07.12.2011Изучение истории математики как учебного предмета. Формирование умений по построению логических доказательств и математических моделей как общие направления обучению математике в школе. Особенности теоретической и прикладной математики в школьном курсе.
статья, добавлен 05.07.2013Математическая логика как раздел математики, посвящённый изучению способов доказательств, утверждений, вопросов оснований математики. Умозаключение и его способы получения нового знания на основе некоторого имеющегося. Формальные аксиоматические методы.
курсовая работа, добавлен 21.04.2015Анализ значения систем класса MathCAD в образовании, для решения сложных математических задач, при изучении математики, повышении фундаментальности математического и технического образования. Изучение интерфейса, приемов работы, возможностей MathCAD 2001.
курсовая работа, добавлен 28.05.2015Воспитание творческой активности учащихся в процессе изучения ими математики. Метод замены информации по эквивалентности и вывода логических следствий. Вывод формулы для решения квадратного уравнения, решение задач на построение алгебраическим методом.
статья, добавлен 15.03.2019Анализ понятия и сущности алгоритма. Классификация алгоритмов в окружающем информационном пространстве для развития логического и алгоритмического мышления. Характеристика алгоритмизации в информатике как способа классификации алгоритмов окружающего мира.
презентация, добавлен 18.03.2020Рассмотрение применения математических методов в разных сферах человеческой деятельности. Описание зарождения математики и построения первых математических теорий. Анализ состояния науки в разные исторические периоды и вклада разных ученых в ее развитие.
реферат, добавлен 25.09.2016Непрерывная функция с бесконечным числом максимумов и минимумов и ее непредвиденные свойства. Новые методы решения практических математических задач, доказательство теорем. Движение броуновской частицы, пренебрежение ее инерции и отсутствие касательной.
реферат, добавлен 30.10.2010Определение положения квадратичной функции с помощью разных теорем. Формулирование и доказательство прямой и обратной теорем Виета. Рассмотрение применения данных теорем к задачам с параметрами, сводящихся к исследованию корней квадратного трехчлена.
курсовая работа, добавлен 25.05.2018Занимательные задачи из области математики, физики, естествознания, задачи на взвешивание, задачи на нестандартное логическое мышление. Как научиться решать логические задачи. Основные приемы решения логических задач. Применение метода рассуждений.
презентация, добавлен 17.12.2015Аналитическое доказательство истинности заключения (теоремы) от противного. Содержательный (словесный) алгоритм по методу Вонга. Содержательный (словесный) алгоритм по методу пропозициональной резолюции. Блок-схемы и сравнительный анализ алгоритмов.
курсовая работа, добавлен 19.06.2012Понятие эвристики и особенности ее применения в математической науке. Универсальность использования и продуктивность побудительного влияния в теоретическом познании. Особенности применения логического и эвристического подхода при доказательстве теорем.
курсовая работа, добавлен 23.10.2010Понятие эвристики как метода научного познания, особенности ее применения в математике. Понятие доказательства в математике и его особенности, применение для его построения эвристических логических подходов. Эвристический подход при доказательстве теорем.
курсовая работа, добавлен 19.02.2012Знакомств с краткой биографией Р. Декарта. Особенности создания аналитической геометрии. Рассмотрение методов решения алгебраических уравнений. Анализ доказательства существования Бога от Р. Декарта. Общая характеристика книги "Рассуждение о методе".
курсовая работа, добавлен 03.05.2021Анализ фрагмента аргументации возможности однозначного сведения математических понятий к теоретико-множественным понятиям. Замечания П. Бенацеррафа к своей аргументации против теоретико-множественного реализма, отвержение проблемы отождествления.
статья, добавлен 22.11.2021Изучение специфического мышления математика. Характеристика математики как искусства, сферы творческий деятельности. Анализ практического применения математики. Изучение аргументов Г.Г. Харди в защиту математики как профессиональной деятельности.
статья, добавлен 31.03.2019Анализ материала, нужного учителю математики для реализации межпредметных связей математики и технологии. Изучение методов повышения качества математического образования учащихся, применения их математических знаний к решению задач повседневной практики.
статья, добавлен 06.04.2019История происхождения, распространения оригами. Применение техники оригами, исследование возможностей применения оригами для решения геометрических задач и доказательство теорем. Сравнительные итоги срезов по изучению теоремы, изучение свойств биссектрис.
презентация, добавлен 16.11.2019Изучение общего курса математики студентами вузов. Сочетание необходимого теоретического материала с широким использованием методов решения основных типов задач по всем разделам курса. Изложение точных формулировок понятий, теорем и доказательств.
учебное пособие, добавлен 16.04.2014