Интенсиональный модус в математическом дискурсе: "прыжок веры" и математическая практика
Анализ главных причин истинности геделева предложения. Связь допущения обоснованности или непротиворечивости формальной системы с неустранимым "прыжком" от размышлений о формальных теориях арифметики к эпистемологическим вопросам об обосновании веры.
Подобные документы
История возникновения математической логики. Основное содержание, формулы, элементы, символы. Таблицы истинности, логические функции, основные логические операции. Законы логики и упрощение логических выражений. Решения задач по математической логике.
реферат, добавлен 06.06.2012Ознакомление с ключевыми этапами становления математики. Формирование арифметики, геометрии и алгебры. Предпосылки создания системы счисления. Значение вавилонской и египетской цивилизаций в развитии математики. Анализ греческих методов вычислений.
реферат, добавлен 23.05.2016Задачи системы массового обслуживания. Расчет системы массового обслуживания услуг логистики методом математического моделирования. Рассмотрение модели системы массового обслуживания пункта выдачи транспортной компании, построенной в среде Arena.
статья, добавлен 24.05.2017Составление таблицы истинности. Замена симметричных переменных с использованием элементарных симметричных функций. Анализ целесообразности совместной реализации системы функций. Раздельная минимизация и декомпозиция системы функций алгебры логики.
контрольная работа, добавлен 01.01.2013Описание модификации метода главных компонент, использующей веса наблюдений, получаемых с использованием неравенства Чебышева. Анализ и оценка устойчивости этого способа по отношению к стандартному методу главных компонент при различной доле шума.
статья, добавлен 26.04.2019Синтез устройства, реализующего заданную таблицу истинности. Минимизация количества логических элементов. Различные представления логической функции и упрощения с помощью законов двоичной алгебры. Построение дизъюнктивной формы по таблице истинности.
контрольная работа, добавлен 12.04.2011Перевод числа из десятичной системы счисления в двоичную, восьмеричную и шестнадцатеричную. Процесс перевода и выполнение проверки. Расчет по формуле полинома. Составление схемы на логических и релейных элементах. Проверка по таблице истинности.
контрольная работа, добавлен 12.07.2015Общность обработки временного ряда методами линейной фильтрации, спектрального анализа и главных компонент. Использование метода главных компонент для исследования и прогнозирования динамики заготовок шкурок водяной полевки и урожайности зерновых культур.
книга, добавлен 08.02.2013Математическая логика как формальный математический аппарат, изучающий различные способы логических рассуждений. Рассмотрение теоремы дедукции. Анализ логических операций: конъюнкция, дизъюнкция, отрицание. Особенности проверки правильности рассуждений.
учебное пособие, добавлен 11.12.2012Геометрия Лобачевского ("воображаемая" геометрия). Создание модели геометрии Лобачевского из материалов геометрии Евклида, а также установление непротиворечивости и законности новой геометрической системы, разные геометрии и разные пространства.
реферат, добавлен 18.02.2010- 36. Теория чисел
Отношение делимости в кольце целых чисел, их свойства. Алгоритм Евклида как метод нахождения НОД(a,b), основанный на 2х леммах. Взаимно простые числа. Наименьшее общее кратное. Основная теорема арифметики. Непозиционные и позиционные системы счисления.
реферат, добавлен 13.01.2014 Системы счисления и способы написания в них натуральных чисел. Множество и подмножество рациональных чисел. Разложение на множители и свойства делимости. Основная теорема арифметики. Представление действительных чисел в виде бесконечных десятичных дробей.
лекция, добавлен 22.12.2013Изучение возможных типов особых точек кубической системы на бесконечности в случае, когда их число равно четырем. Обоснование истинности ранее полученного результата Шарипова Ш.Р., который является частным случаем обсуждаемых практических исследований.
статья, добавлен 31.05.2013Изучение метода математической индукции. Понятия тождества, неравенства и делимости. Комбинаторика как наука, изучающая множества, размещение и перечисление их элементов. Алгоритм Евклида и основная теорема арифметики. Числа, дроби и системы счисления.
учебное пособие, добавлен 28.12.2013Содержательное сравнение теории множеств с самопринадлежностью (обладающей непротиворечивостью) с более ранними подходами, которые используют ослабление или отрицание аксиомы фундирования. Анализ поиска доказательств непротиворечивости теории множеств.
статья, добавлен 26.04.2019Определение границ вероятности среднегодовой прибыли предприятий, объема бесповторной выборки. Проверка гипотезы о распределении случайной величины (прибыли) по нормальному закону. Уравнения прямых регрессии, корреляционная связь между переменными.
контрольная работа, добавлен 18.10.2011Понятие и направления исследования нелинейных явлений, их значение в современном математическом моделировании. Принципы формирования простейших нелинейных моделей. Идеи теории катастроф. Системы с дискретным временем. Автоколебания и предельные циклы.
учебное пособие, добавлен 12.05.2013Изучение достижений математической науки в период Древней Греции. Изучение основных идей Александрийской школы. Анализ биографии Диофанта. Анализ "Арифметики" Диофанта – сборника задач, каждая из которых снабжена решением и необходимыми пояснениями.
реферат, добавлен 28.04.2020Понятие математической статистики, её предназначение и задачи. Распределение выборки, геометрическое представление выборки. Статистические критерии согласия. Характеристика интервального оценивания. Линейная регрессия и расчет выборочной ковариации.
лекция, добавлен 21.03.2018Математическая статистика как наука об общих способах результатов экспериментов. Установление закономерностей, которым подчинены массовые случайные явления. Понятие систематической и случайной ошибок. Сущность выборочной и генеральной совокупностей.
реферат, добавлен 12.09.2019Многоуровневое вейвлет-разложение вектора невязки. Расчеты в математическом пакете Matlab. Разработка итерационных методов и их модификаций. Использование вейвлет-анализа для обработки сигналов и быстрого алгоритма нахождения вейвлет-коэффициентов.
статья, добавлен 27.07.2017Рассмотрение определения монотонных и немонотонных последовательностей. Использование формулы бинома Ньютона в расчете предела числа е. Подпоследовательности и их свойства. Изучение доказательства теоремы Больцано-Вейерштрасса в математическом анализе.
презентация, добавлен 16.10.2014Основные этапы математического моделирования. Общие понятия и определение модели и их классификация. Математическая модель в задачах оптимизации. Элементарные математические модели. Задача о нахождении связи между структурой и свойствами веществ.
реферат, добавлен 29.03.2010Математическая схема как звено при переходе от содержательного описания процесса функционирования системы к формальному. Методика определения суммарной интенсивности потока обслуженных заявок. Анализ уравнений Колмогорова для вероятностей состояний.
методичка, добавлен 20.09.2017Анализ полной наблюдаемости нестационарной возмущенной дифференциально-алгебраической системы. Метод каскадного расщепления исходных пространств на подпространства. Формула для нахождения вектора состояний системы. Связь между входной/выходной функциями.
статья, добавлен 29.04.2017