Подходы к обоснованию математики: сквозь парадоксы к прозрачной непротиворечивой теории
Сущность программы логицизма - определение основных, исходных понятий чистой математики в терминах логики, а её фундаментальные законы доказать как теоремы логики. Перевод на язык логики основных понятий арифметики. Первый известный логицист Г. Фреге.
Подобные документы
Множества и основные операции над множествами. Упорядоченные пары и прямое произведение множеств. Основные законы и формулы комбинаторики. Логика высказываний: основные понятия, формулы, логические операции, составные высказывания и законы логики.
реферат, добавлен 07.11.2015Основные направления развития математики в XX веке: топология, риманова геометрия, теория вероятности. Новые области применения математики в связи с развитием компьютерных технологий. Использование сведений о развитии математики в начальной школе.
курсовая работа, добавлен 20.09.2018Исследование области математики, которая занимается математическими проблемами финансов. Связь современного развития актуарной математики в России с развитием страхового рынка и появляющимися возможностями дополнительного пенсионного обеспечения.
контрольная работа, добавлен 24.11.2018Возникновение арифметики и геометрии до начала XVII века. Характеристика основных разделов современной математики. Создание дедуктивного или аксиоматического метода построения науки. Главные математические типы структур. Исследование графика и функции.
реферат, добавлен 28.04.2016Греческая система счисления (аттическая): использование букв алфавита. Дедуктивный характер греческой математики, изобретенный Фалесом. Решение технических задач с помощью математики александрийского периода. Современные достижения в области математики.
реферат, добавлен 06.07.2009Доказательство теоремы, позволяющей решить проблему разрешимости (выполнимости) для формул исчисления высказываний, содержащих предикаты, зависящие от одного переменного. Представление равносильности в виде тождественно истинной формулы для любого поля.
контрольная работа, добавлен 05.11.2017Доказательство теоремы по эквивалентности понятий "обобщение производной Шварца и исправленной производной по С. Шарипову". Особенности определения точки излома графика функции. Сущность теории классического анализа. Общее понятие об урчуктной функции.
статья, добавлен 20.05.2018Анализ идеи системного обобщения понятий математики, в частности теории информации, основанных на теории множеств, заменой понятия множества на содержательное понятие системы. Ее реализация в разработке автоматизированного системно-когнитивного анализа.
статья, добавлен 25.04.2017Изучение математических моделей объектов, процессов и зависимостей, решаемых дискретной математикой. Анализ элементов теории множеств. Понятие и применение математической логики. Определение алгебраических операций. Теория графического представления.
учебное пособие, добавлен 19.12.2012Зародження математики (з глибокої давнини до VI-V ст. до нашої ери). Розвиток математики до ХVII століття. Характеристика періоду математики змінних величин ХVII-XIX століття. Аналіз періоду сучасної математики. Внески вчених-математиків у розвиток науки.
реферат, добавлен 23.10.2015- 111. Теория графов
Сущность теории графов – как области дискретной математики, особенностью которой является геометрический подход к изучению объектов. Основные термины и теоремы теории графов, способы и методы их задания: геометрический, матрица смежности и инцидентности.
контрольная работа, добавлен 03.04.2013 Изучение общего курса математики студентами вузов. Сочетание необходимого теоретического материала с широким использованием методов решения основных типов задач по всем разделам курса. Изложение точных формулировок понятий, теорем и доказательств.
учебное пособие, добавлен 16.04.2014История и характеристика профессии "автомеханик". Установление основных видов деятельности в профессии автомеханика. Определение областей автомобиля, в которых понадобятся знания математики. Обоснование необходимости математики для технических профессий.
статья, добавлен 18.03.2019Изучение специфического мышления математика. Характеристика математики как искусства, сферы творческий деятельности. Анализ практического применения математики. Изучение аргументов Г.Г. Харди в защиту математики как профессиональной деятельности.
статья, добавлен 31.03.2019Понятие и сущность текстовой задачи. Вспомогательные модели, используемые в начальном обучении математики. Решение системы уравнений алгебраическим способом. Использование методов текстовых арифметических задач на уроках математики в начальных классах.
методичка, добавлен 28.03.2017Решение задач с помощью здравого смысла и строгой логики рассуждений, подтвержденных точными расчетами. Определение вероятности получения наибольшего приданого при случайном выборе одного билетика из пяти. Изучение лексикографического порядка подсчета.
презентация, добавлен 24.04.2012Этапы развития математики как науки. Становление математики в Древней Греции, Индии, Средней Азии. Введение системы координат, методов измерения величин и понятия функции. Вклад русских ученых в развитие математики. Перспективы развития кибернетики.
реферат, добавлен 18.09.2014Роль математики в повседневной жизни и быту. Использование математики в химии, физике, экономике, бухгалтерии, информатике и программировании. Определение значения математики в формировании умений анализировать и моделировать различные ситуации.
статья, добавлен 18.03.2019Преобразование, одно из основных понятий математики, возникающее чаще всего при изучении соответствий между классами геометрических объектов и классами функций. Стереографическая проекция, свойства оси в зависимости от характера расположения окружностей.
контрольная работа, добавлен 15.06.2011Рассмотрение биографии великих ученых и их основных заслуг в области математики. Характеристика достижений и научных открытий Евклида, Пифагора, И. Ньютона, Б. Паскаля, Г. Лейбница, Р. Декарда, Л. Эйлера, Б. Римана, К. Гаусса, А. Тьюринга и Э. Уайлса.
презентация, добавлен 04.05.2017Подсчет количества единиц в двоичном представлении числа. Обзор вариантов нахождения результата. Постановка проблемы перебора. Изучение асимптотических обозначений и основной теоремы дискретной математики. Исследование эффекта "комбинаторного взрыва".
презентация, добавлен 26.09.2017Возникновение и развитие математики как способа решения жизненно-важных для человека задач. Первые вычисления и Вавилон как родина математического знания, использование математики в древности. Современные цифры, вклады стран в развитие математики.
творческая работа, добавлен 03.05.2019Изучение периодов зарождения и становления математики. Проблема счета – первая ключевая проблема античной математики. Анализ проблемы измерения, стимулировавшей развитие математики на стадии ее зарождения. "Математика. Утрата определенности" по М. Клайну.
реферат, добавлен 06.12.2009Свойства достоверного и невозможного события в теории вероятности. Роль комбинаторики в числе других разделов математики. Теоремы и формулы, используемые для уравнений по теории вероятностей. Математическое ожидание дискретной случайной величины.
учебное пособие, добавлен 29.01.2014Характеристика доказательства по заданному модусу путем построения диаграмм Эйлера. Изучение методов математической логики для формализации высказывания. Доказательство общезначимости формулы, используя законы алгебры, равносильные преобразования.
контрольная работа, добавлен 05.09.2016