Количество как логическая категория
Философский подход к количественной характеристике и ее переходу к качественной категории. Математический анализ гегелевской логики теории непрерывности. Определение числа посредством бесконечности. Сущность и значение метода дифференциального исчисления.
Подобные документы
Определение формулы исчисления высказываний, основные цели математической логики. Построение формул алгебры высказываний. Равносильность формул исчисления высказываний, конъюнктивная и дизъюнктивная нормальная форма. Постановка проблемы разрешимости.
контрольная работа, добавлен 12.08.2010Общие свойства функций. Правила дифференциального исчисления. Неопределенный и определенный интегралы, методы их вычисления. Функции нескольких переменных, производные и дифференциалы. Классические методы оптимизации. Модель потребительского выбора.
методичка, добавлен 07.01.2011Основные определения математической логики, булевы и эквивалентные функции. Общие понятия булевой алгебры. Алгебра Жегалкина: высказывания и предикаты. Определение формальной теории. Элементы теории алгоритмов, рекурсивные функции, машина Тьюринга.
курс лекций, добавлен 08.08.2011Общая характеристика и обозначение числа пи, его математическое обоснование и исторические периоды исследования: древний, классический. Поэзия цифр данного числа, методика его расчета, а также определение основных факторов, влияющих на его значение.
реферат, добавлен 10.04.2016Производная - основное понятие дифференциального исчисления, характеризующее скорость изменения функции. Исследование правил дифференцирования, которые используют при нахождении производных. Определение производной алгебраической суммы конечного числа.
презентация, добавлен 21.09.2013Пределы функции, ее полное исследование с использованием дифференциального исчисления. Вычисление неопределенных интегралов с использованием методов интегрирования. Определенный и несобственный интегралы. Числовые ряды, их исследование на сходимость.
контрольная работа, добавлен 07.04.2013Производные функций, заданных в явном и неявном виде. Исследование функций методами дифференциального исчисления. Точки перегиба и экстремума, градиент функции. Объем тела, образованного вращением фигуры и ограниченной графиками функций, вокруг оси.
контрольная работа, добавлен 11.07.2013Простые числа-близнецы - числа, находящиеся на расстоянии друг от друга в 2 единицы.
научная работа, добавлен 12.07.2008Этапы развития логики. Имена ученых, внесших существенный вклад в развитие логики. Ключевые понятия монадической логики второго порядка. Язык логики предикатов. Автоматы Бучи: подход с точки зрения автоматов и полугрупп. Автоматы и бесконечные слова.
курсовая работа, добавлен 26.03.2012История интегрального и дифференциального исчисления. Приложения определенного интеграла к решению некоторых задач механики и физики. Моменты и центры масс плоских кривых, теорема Гульдена. Дифференциальные уравнения. Примеры решения задач в MatLab.
реферат, добавлен 07.09.2009Алгебра логики, булева алгебра. Алгебра Жегалкина, педикаты и логические операции над ними. Термины и понятия формальных теорий, теорема о дедукции, автоматическое доказательство теорем. Элементы теории алгоритмов, алгоритмически неразрешимые задачи.
курс лекций, добавлен 29.11.2009История возникновения и понятия дифференциальной геометрии, в которой плоские и пространственные кривые и поверхности изучаются с помощью дифференциального исчисления и методами математического анализа. Применение темы "Теория поверхностей " в школе.
реферат, добавлен 23.04.2015Теорема Ферма: содержание, доказательство, геометрический смысл. Теорема Ролля: производная функции, отсутствие непрерывности Отсутствует и дифференцируемости. Доказательство теоремы Лагранжа, общий вид, геометрический смысл, содержание следствия.
презентация, добавлен 21.09.2013Доказательства существования иррациональных чисел. Арифметический подход Евклида к множеству иррациональных чисел. Рассуждения Дедекинда о непрерывности области вещественных чисел, неявном понятии точной верхней грани. Анализ бесконечно малых величин.
реферат, добавлен 08.05.2012- 15. Математика
Определитель и его свойства. Элементарные преобразования, миноры и алгебраические дополнения. Элементы векторной алгебры. Уравнения линии на плоскости. Расстояние от точки до прямой. Введение в математический анализ. Тригонометрическая форма числа.
методичка, добавлен 10.01.2012 Проблема несоизмеримых, первый кризис в основании математики, его следствия и попытки преодоления. Зарождение и развитие понятия числа. Становление теории предела, создание теории действительного числа. Великие метематики: Вейерштрасс, Кантор, Дедекинд.
реферат, добавлен 26.11.2009Логическая переменная в алгебре логики. Логические операции: отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность. Основные законы алгебры логики. Правила минимизации логической функции (избавление от операций импликации и эквивалентности).
курсовая работа, добавлен 16.01.2012Последовательность решения линейной краевой задачи. Особенности метода прогонки. Алгоритм метода конечных разностей: построение сетки в заданной области, замена дифференциального оператора. Решение СЛАУ методом Гаусса, конечно-разностные уравнения.
контрольная работа, добавлен 28.07.2013Логические константа и переменная. Последовательность выполнения логических операций в логических формулах. Логическая информация и основы логики. Общие, частные и единичные высказывания. Старшинство логических операций. Импликация и эквивалентность.
курсовая работа, добавлен 27.04.2013Мономорфные стрелки. Эпиморфные стрелки. Изострелки. КатегориЯ множеств. Мономорфизм в категории множеств. Эпиморфизм в категории множеств. Начальные и конечные объекты в категории множеств. Произведение в категории множеств.
дипломная работа, добавлен 08.08.2007- 21. Формула Бернулли
Преимущество использования формулы Бернулли, ее место в теории вероятностей и применение в независимых испытаниях. Исторический очерк жизни и деятельности швейцарского математика Якоба Бернулли, его достижения в области дифференциального исчисления.
презентация, добавлен 11.12.2012 Матричные уравнения, их решение и проверка. Собственные числа и собственные векторы матрицы А. Решение системы методом Жорданa-Гаусса. Нахождение пределов и производных функции, ее градиент. Исследование функции методами дифференциального исчисления.
контрольная работа, добавлен 10.02.2011Алгоритм и логика решения задач категории B8 из раздела "математический анализ" Единого государственного экзамена. Определение точек максимума и минимума. Нахождение интервалов возрастания и убывания функции. Геометрический смысл определенного интеграла.
методичка, добавлен 23.04.2013Математическая теория нечетких множеств и нечеткая логика как обобщения классической теории множеств и классической формальной логики. Сферы и особенности применения нечетких экспертных систем. Анализ математического аппарата, способы задания функций.
презентация, добавлен 17.04.2013Основная функционально полная система логических функций. Законы алгебры логики в основной функционально полной системе и их следствия. Переместительный и распределительный законы. Закон инверсии (правило Де Моргана). Системы логических функций.
реферат, добавлен 17.11.2008