Понятие математической логики
Основы формальной логики Аристотеля. Понятия инверсии, конъюнкции и дизъюнкции. Основные законы алгебры логики. Основные законы, позволяющие производить тождественные преобразования логических выражений. Равносильные преобразования логических формул.
Подобные документы
Основные методы формализованного описания и анализа случайных явлений, обработки и анализа результатов физических и численных экспериментов теории вероятности. Основные понятия и аксиомы теории вероятности. Базовые понятия математической статистики.
курс лекций, добавлен 08.04.2011- 102. Изучение возможностей массивно-параллельных вычислений в применении к задачам математической физики
Задача о малых колебаниях. Вычисление коэффициентов с помощью быстрого преобразования Фурье. Дискретный подход к вычислению коэффициентов. Вычисление методом Лежандра-Гаусса. Расчет узлов и весовых коэффициентов. Массивно-параллельный расчёт амплитуд.
курсовая работа, добавлен 20.07.2015 Сущность предела функции, ее производной и дифференциала. Основные теоремы о пределах и методы их математического вычисления. Производная, ее физический и геометрический смысл. Связь непрерывности и дифференцируемости, основные правила дифференцирования.
презентация, добавлен 24.06.2012Вывод изображения на экран дисплея и действия с ним, в т.ч. визуальный анализ, требуют от пользователя геометрической грамотности. Понятия, формулы и факты, относящиеся к плоскому и трехмерному случаям, играют в задачах компьютерной графики особую роль.
реферат, добавлен 03.06.2008Первоначальные элементы математики. Свойства натуральных чисел. Понятие теории чисел. Общие свойства сравнений и алгебраических уравнений. Арифметические действия со сравнениями. Основные законы арифметики. Проверка результатов арифметических действий.
курсовая работа, добавлен 15.05.2015Геометрический смысл решений неравенств, уравнений и их систем. Определение понятия двойственности с помощью преобразования Лежандра. Разбор примеров нахождения переменных или коэффициентов при неизвестных в целевой функции двойственной задачи.
дипломная работа, добавлен 30.04.2011Проектирование математической модели. Описание игры в крестики-нолики. Модель логической игры на основе булевой алгебры. Цифровые электронные устройства и разработка их математической модели. Игровой пульт, игровой контроллер, строка игрового поля.
курсовая работа, добавлен 28.06.2011История развития и становления математического понятия функции. Абстрактные характеристики упорядоченных алгебр многоместных функций: P-алгебры и D-алгебры. Исследование теории суперпозиций алгебраических структур n-местных функций Менгера и Глускера.
курсовая работа, добавлен 22.12.2015Элементы линейной алгебры. Дифференциальное и интегральное исчисление функции одной переменной. Биномиальный закон распределения. Комбинаторные формулы. Статистическое определение вероятности. Формула полной вероятности. Дискретные случайные величины.
творческая работа, добавлен 30.04.2009Графическая интерпретация множеств и операций над ними. Математическая логика, булева алгебра. Совершенная конъюнктивная нормальная форма. Равносильные формулы и их доказательство. Полнота системы булевых функций. Логика предикатов, теория графов.
лекция, добавлен 01.12.2009Иоганн Карл Фридрих Гаусс - величайший математик всех времен. Интерполяционные формулы Гаусса, дающие приближенное выражение функции y=f(x) при помощи интерполяции. Области применение формул Гаусса. Основные недостатки интерполяционных формул Ньютона.
контрольная работа, добавлен 06.12.2014Понятие и признаки метрического пространства. Свойства топологических пространств. Замкнутые множества: внутренние, внешние и граничные точки. Топологические преобразования топологических пространств. Понятие и содержание двумерного многообразия.
курсовая работа, добавлен 28.04.2011- 113. Подобие фигур
Преобразования подобия, их свойства. Доказательство теоремы: гомотетия есть преобразование подобия. Основные признаки подобия треугольников, решение типовых задач. Углы, вписанные в окружность. Пропорциональность отрезков хорд и секущих окружности.
реферат, добавлен 02.06.2009 Основные модели естествознания, подходы к исследованию явлений природы, её фундаментальных законов на основе математического анализа. Динамические системы, автономные дифференциальные уравнения, интегро-дифференциальные уравнения, законы термодинамики.
курс лекций, добавлен 02.03.2010Изучение формул Крамера и Гаусса для решения систем уравнений. Использование метода обратной матрицы. Составление уравнения медианы и высоты треугольника. Нахождение пределов выражений и производных заданных функций. Определение экстремумов функции.
контрольная работа, добавлен 15.01.2014Прогрессии многочленов и их матриц. Описание вертикальных рядов. Построение алгебраической трапеции из ограниченного количества чисел ряда последовательности. Свободные члены выражений. Особенности разрешимости Диофантовых уравнений. Расшифровка формул.
курсовая работа, добавлен 31.12.2015Основы тензорного анализа. Геометрический смысл и формула расчета коэффициентов Ламе. Взаимный базис; полярная, цилиндрическая и сферическая системы координат. Рассмотрение способов преобразования векторов при переходе к криволинейным координатам.
курсовая работа, добавлен 06.11.2013Обобщенные решения линейных дифференциальных уравнений. Основные примеры построения фундаментальных решений линейных дифференциальных операторов с постоянными коэффициентами, метод преобразования Фурье. Преимущества использования методов спуска.
курсовая работа, добавлен 10.04.2014Изучение полиномиальных уравнений и путей их решений. Доказательство теорем Безу и Штурма. Ознакомление с правилами использования формул Виета, математических методов Лобачевского, касательных и пропорциональных отрезков для определения корней многочлена.
курсовая работа, добавлен 19.09.2011Граф как множество вершин (узлов), соединённых рёбрами, способы и сфера их применения. Специфика теории графов как раздела дискретной математики. Основные способы преобразования графов, их особенности и использование для решения математических задач.
курсовая работа, добавлен 18.01.2013Основные правила преобразования графиков на примерах элементарных функций: преобразование симметрии, параллельный перенос, сжатие и растяжение. Построение графиков сложных функций с помощью последовательных преобразований графиков элементарных функций.
презентация, добавлен 16.11.2010Основные композиции движений пространства. Композиции центральных симметрий пространства. Композиция зеркальной и центральной симметрий пространства. Композиции подобий и аффинных преобразований пространства.
дипломная работа, добавлен 08.08.2007Векторные пространства, скалярное произведение и норма функций, ортогональные системы функций, равенства и тригонометрический ряд Фурье. Сходимость интеграла Фурье, основные сведения теории преобразования. Операционное исчисление, преобразование Лапласа.
учебное пособие, добавлен 23.12.2009- 124. Матрицы
Общие определения, связанные с понятием матрицы. Действия над матрицами. Определители 2-го и 3-го порядков, порядка n, порядок их вычисления и характерные свойства. Обратные матрицы и их ранг. Понятие и этапы элементарного преобразования матрицы.
лекция, добавлен 14.12.2010 - 125. Основы вычислительной математики и использование системы Mathcad 14 для решения вычислительных задач
Методы, используемые при работе с матрицами, системами нелинейных и дифференциальных уравнений. Вычисление определенных интегралов. Нахождение экстремумов функции. Преобразования Фурье и Лапласа. Способы решения вычислительных задач с помощью Mathcad.
учебное пособие, добавлен 15.12.2013