Эпистемологические нормы и социальные практики математического доказательства
Исследование трансформации эпистемологических характеристик социальной практики экспертизы математических результатов в связи с развитием компьютерной математики. Развитие программы унивалентных оснований, эпистемологические основания экспертизы.
Подобные документы
Анализ мышления как познавательного процесса. Изучение потенциала математики в развитии логического мышления младших школьников. Развитие логических приемов мышления при формировании математических понятий, а также при обучении учащихся суждению.
дипломная работа, добавлен 16.05.2016Математические предложения и их доказательства в курсе геометрии основной школы. Индукция и дедукция как основные приемы обоснования математических предложений. Воспитание потребности в логическом доказательстве. Методика изучения конкретной теоремы.
контрольная работа, добавлен 02.04.2016Рассматривается прикладная роль математики для основных специальностей, по которым ведет подготовку вуз. Исследуется история развития математики с древности до наших дней. Поднимаются частые проблемы математического образования в современном обществе.
статья, добавлен 19.09.2018Широкое проникновение математики и ее методов в другие отрасли знания. Роль математики в медицине, кардиологии, фармацевтике и педиатрии. Применение математических методов в биофизике, биохимии, генетике, физиологии и медицинском приборостроении.
реферат, добавлен 14.01.2016Этапы развития математики как науки. Становление математики в Древней Греции, Индии, Средней Азии. Введение системы координат, методов измерения величин и понятия функции. Вклад русских ученых в развитие математики. Перспективы развития кибернетики.
реферат, добавлен 18.09.2014Основные этапы развития математики. Особенности математического стиля мышления. Понятие и элементы множества. Случайный эксперимент, элементарные исходы. Сумма, произведение и разность математических событий. Теоремы сложения и умножения вероятностей.
реферат, добавлен 17.03.2015Жизненный и творческий путь одного из известных историков математики, доктора физико-математических наук, профессора Константина Алексеевича Рыбникова, научные интересы которого были посвящены истории математики, логике и комбинаторному анализу.
статья, добавлен 30.07.2016Математическая индукция как способ математического доказательства, роль индуктивных выводов в экспериментальных науках. Интерпретация данных в зависимости от выбранной аксиоматики. Полная и неполная индукция, их применение для доказательства теорем.
реферат, добавлен 02.03.2013Изучение периодов зарождения и становления математики. Проблема счета – первая ключевая проблема античной математики. Анализ проблемы измерения, стимулировавшей развитие математики на стадии ее зарождения. "Математика. Утрата определенности" по М. Клайну.
реферат, добавлен 06.12.2009Рассмотрение математики с точки зрения Л. Брауэра. Описание философских принципов интуиционистской математики. Интуиционизм как общность философских и математических взглядов, признающих математические суждения с позиций интуитивной убедительности.
статья, добавлен 11.03.2019Древнейшие древнеегипетские математические тексты. Вавилонская расчётная техника. Развитие математики в древнем Китае и Греции. Развитие основных областей математики в XVI-XIX в. Подсчёт определителя по Крамеру. Нормальное и биномиальное распределения.
реферат, добавлен 20.01.2012Обзор идей философии математики К. Райта и Б. Хейла. Описание одной из проблем этого направления - связи понятий первого и второго уровня в программе основания математики. Основная идея Райта и Хейла, особенности и условия применения принципа Юма.
статья, добавлен 28.11.2018Геометрия как одна из наиболее древних математических наук. Творчество Евклида и его значение для математики. Изучение истории развития геометрии. Примеры доказательства пятого постулата Евклида. Рассмотрение аксиоматического построения геометрии.
курсовая работа, добавлен 05.04.2014Рассматривается понятие доказательства в связи с соответствием Карри-Говарда. Исследуются особенности этого понятия, а также различия классической доктрины "высказывания как типы." Особое внимание уделяется проблеме статуса логического в математике.
статья, добавлен 07.04.2021Основные этапы развития математики. Особенности математики в различных странах. Значимость математики в нынешнее время. Возникновение арифметики и геометрии. Формирование понятия геометрической фигуры и числа. Крупное количество счета.
презентация, добавлен 09.11.2016Обоснование необходимости создания математического аппарата для анализа, обработки и обобщения статистического материала из разных областей. Структуры косвенного доказательства. Схемы доказательства "от противного" на языке математической логики.
статья, добавлен 05.06.2018Прикладная математика как объединение всех математических методов и дисциплин, находящих практическое применение за пределами чистой математики. Применение математики в других областях науки и техники (в физике, химии, астрономии, экономике, инженерии).
статья, добавлен 30.03.2019Формирование, развитие и взаимовлияние математики и философии Древней Греции. Милетская математическая школа, заложившая основы математики как доказательной науки. Роль математики в формировании элейской философии. Система философии математики Аристотеля.
реферат, добавлен 30.10.2010Нарушения кумулятивности в накоплении математических результатов. Появление сквозного прогресса математического знания. Выявление интеллектуальных тенденций, обнажающих компромиссный характер доминирующих представлений о революциях в математике.
статья, добавлен 01.02.2022Математическое моделирование и математизация знаний. Использование математических моделей. Компьютеры в математическом моделировании. Новые возможности математики. Аналитическое исследование математических моделей. Этапы вычислительного эксперимента.
контрольная работа, добавлен 27.12.2013Изучение особенностей проектирования современных технических систем. Характеристика использования математического моделирования, программного обеспечения персональных компьютеров, математического программирования для решения оптимизационных задач.
курсовая работа, добавлен 22.11.2018Исследование метода доказательства вероятностных неравенств, основанный на использовании рекурсивно определяемых функций. Методика разработки и решения задачи, естественным образом возникающей в связи с вопросом об усилении неравенства Розенталя.
статья, добавлен 31.05.2013Греки классического периода - родоначальники математики. Особенности греческой системы исчисления. Величайшие древнегреческие математики. Развитие математики в эпоху Средневековья и Возрождения. История становления современной математической науки.
реферат, добавлен 15.10.2011Направления исследований в дискретной математике, направления их реализации и анализ результатов. Виды теорем и способы их доказательства: цепочка заключения, от противного, метод переборов и математической индукции, комбинированное доказательство.
контрольная работа, добавлен 23.02.2013Развитие сложившихся и возникновение новых научных направлений в области физики при Ставропольском государственном университете. История появления математических научных направлений. Модернизация естественнонаучного образования как направление политики.
курсовая работа, добавлен 24.03.2012