Применение аппарата алгебры логики к решению содержательных задач
Операции над логическими высказываниями: булевы функции и выражение одних таких зависимостей через другие. Пропозициональные формулы и некоторые законы логики высказываний. Перевод выражений естественного языка на символическую речь алгебры логики.
Подобные документы
Сущность и общая характеристика метода "барона Мюнхгаузена", его применение в алгебре. Нахождение значений выражений с бесконечным числом элементов, использование формулы куба суммы и разности. "Метод барона Мюнхгаузена": золотое сечение и фракталы.
реферат, добавлен 18.01.2011Теоремы дифференциального исчисления, как основа для правила Лопиталя и формулы Тейлора. Правило Лопиталя и методы раскрытия всех типов неопределенностей. Вывод формулы Тейлора и ее применение для нахождения эквивалентных функций и вычисления пределов.
курсовая работа, добавлен 05.09.2009Анализ особенностей методической деятельности учителя начальных классов при обучении учащихся решению задач с пропорциональной зависимостью. Роль задач в формировании учебной деятельности младших школьников. Виды задач в начальном курсе математики.
курсовая работа, добавлен 07.01.2015Основные понятия математического моделирования, характеристика этапов создания моделей задач планирования производства и транспортных задач; аналитический и программный подходы к их решению. Симплекс-метод решения задач линейного программирования.
курсовая работа, добавлен 11.12.2011Истоки, понятие аналитической геометрии. Метод координат на плоскости. Аффинная и Декартова система координат на плоскости, прямая и окружность. Аналитическое задание геометрических фигур. Применение аналитического метода к решению планиметрических задач.
курсовая работа, добавлен 12.05.2009Свойства множества Кантора. Исследование заданной функции на непрерывность. Выражение множества B (кладбище Серпинского) и D (гребёнка Кантора) через множество Кантора. Свойства и построение всюду непрерывной, но нигде не дифференцируемой функции.
курсовая работа, добавлен 24.06.2015Элементарная теория сравнений. Диофантовы приближения. Определения и свойства сравнений. Теорема Эйлера, теорема Ферма. Китайская теорема об остатках, ее обобщение Цинь Цзюшао. Применение к решению олимпиадных задач. Применение к открытию сейфа в банке.
курсовая работа, добавлен 29.09.2015Сумма n первых чисел натурального ряда. Вычисление площади параболического сегмента. Доказательство формулы Штерна. Выражение суммы k-х степеней натуральных чисел через детерминант и с помощью бернуллиевых чисел. Сумма степеней и нечетных чисел.
курсовая работа, добавлен 14.09.2015Формирование функции Лагранжа, условия Куна и Таккера. Численные методы оптимизации и блок-схемы. Применение методов штрафных функций, внешней точки, покоординатного спуска, сопряженных градиентов для сведения задач условной оптимизации к безусловной.
курсовая работа, добавлен 27.11.2012Нахождение наибольшего и наименьшего значения (экстремумы) функции в замкнутой ограниченной области. Геометрический и симплексный метод составления плана выпуска продукции, разложение в ряд Фурье по синусам непериодической функции, её график и сумма.
курсовая работа, добавлен 25.04.2011- 111. Алгебра октав
Доказательство утверждений непротиворечивости и категоричности системы аксиом алгебры октав. Практическое изучение действий над октавами (сложение, умножение) и применимых к ним тождеств (Муфанга, Клейнефлда). Формулировка теорем Гурвица и Фробениуса.
дипломная работа, добавлен 13.02.2010 - 112. Исследование графов
Проверка справедливости тождеств или включений с использованием алгебры множеств и диаграмм Эйлера-Венна. Изображение графа и матрицы отношения, обладающего свойствами рефлексивности, транзитивности и антисиммеричности. Изучение неориентированного графа.
контрольная работа, добавлен 05.05.2013 Разработка простого метода для решения сложных задач вычислительной и прикладной математики. Построение гибкого сеточного аппарата для решения практических задач. Квазирешетки в прикладных задачах течения жидкости, а также применение полиномов Бернштейна.
дипломная работа, добавлен 25.06.2011Геометрическая фигура, образованная тремя фигурами, которые соединяют три не лежащие на одной прямой точки. Основные формулы площади треугольника. Решение задач на нахождение площади треугольника через две его стороны и высоту, проведенную к основанию.
презентация, добавлен 21.04.2015- 115. Векторная алгебра
Раздел математики, непосредственно относящийся к задачам физической и инженерной практики. Элементы векторной и линейной алгебры; описание способов выполнения различных операций над векторами: сложение, вычитание, геометрически смешанное произведение.
презентация, добавлен 02.05.2012 Доказательство теоремы о выявлении алгебраической замкнутости поля С (то есть существования корня у любого отличного от константы полинома с комплексными коэффициентами) согласно с принципами лемм Даламбера и о достижении точной нижней грани значений.
реферат, добавлен 01.03.2010- 117. Функции Бесселя
Уравнение Лапласа в цилиндрических координатах. Бесселевы функции первого рода и их практическое применение. Общее решение уравнения Бесселя. Функции Бесселя полуцелого порядка. Некоторые дифференциальные уравнения, приводимые к уравнению Бесселя.
контрольная работа, добавлен 02.10.2014 - 118. Математика
Определитель и его свойства. Элементарные преобразования, миноры и алгебраические дополнения. Элементы векторной алгебры. Уравнения линии на плоскости. Расстояние от точки до прямой. Введение в математический анализ. Тригонометрическая форма числа.
методичка, добавлен 10.01.2012 - 119. Векторная алгебра
Понятия векторной алгебры: нулевой, единичный, противоположный и коллинеарный векторы. Проекция вектора на ось. Векторный базис на плоскости и в пространстве. Декартова прямоугольная система координат. Действия над векторами, заданными координатами.
презентация, добавлен 16.11.2014 Векторы на плоскости и в пространстве. Обыкновенное дифференциальное уравнение. Необходимые формулы для решения задач о касательной. Метод наименьших квадратов. Необходимые определения и формулы для вычисления интегралов. Производные элементарных функций.
курс лекций, добавлен 21.04.2009Понятие и назначение определителей, их общая характеристика, методика вычисления и свойства. Алгебра матриц. Системы линейных уравнений и их решение. Векторная алгебра, ее закономерности и принципы. Свойства и приложения векторного произведения.
контрольная работа, добавлен 04.01.2012Схема полного исследования бесконечно больших и малых функций и построение их графика. Арифметические теоремы о пределе функции. Применение формулы Тейлора, Маклорена, Коши, Лопиталя-Бернулли. Теорема о производной вектор-функции постоянной длины.
курс лекций, добавлен 14.12.2012Биографические сведения об Огюстене Луи Коши - французском математике XIX века, который вошел в историю благодаря открытиям в области дифференциальных уравнений, алгебры, геометрии и математического анализа. Достижения, исследования и открытия ученого.
презентация, добавлен 28.04.2015Пьер де Ферма сделал почти 370 лет назад свою запись на полях арифметики Диофанта. Натуральные взаимно простые числа, не имеющие общих целых множителей, кроме 1. Пример справедливости приведенного доказательства.
статья, добавлен 19.12.2006- 125. Основы комбинаторики
Содержание правил суммы и произведения; их применение с целью решения комбинаторных задач. Виды комбинаторных соединений. Обозначение и свойства факториала. Формулы расчета всех возможных перестановок и размещений. Понятие и разновидности сочетаний.
реферат, добавлен 08.09.2014