Логика высказываний
Методы доказательства клаузы: с помощью резолюций и таблиц истинности. Определение ложности и истинности клаузы. Особенности составления легенды по клаузе. Составление клаузы по легенде. Определение истинности логического выражения путем конкретизации.
Подобные документы
Определение и порядок расчета для многомерной системы трех имеющихся матриц: передаточной и частотной передаточной функции, годографа, импульсной и переходной характеристики. Порядок составления структурной схемы полученной системы матриц А, В и С.
контрольная работа, добавлен 13.09.2010- 102. Система координат
Определение положения точки в пространстве. Правая декартова (или прямоугольная) система координат. Способы измерения дуг. Определение координат точки в пространстве. Определение окружности и ее радиуса. Построение сферической системы координат.
контрольная работа, добавлен 13.05.2009 Геометрический смысл решений неравенств, уравнений и их систем. Определение понятия двойственности с помощью преобразования Лежандра. Разбор примеров нахождения переменных или коэффициентов при неизвестных в целевой функции двойственной задачи.
дипломная работа, добавлен 30.04.2011Расчет итоговой суммы вклада по схеме сложных процентов. Порядок составления плана погашения займа. Определение суммы, возвращаемой кредитору и процентных денег. Порядок расчета годовой учетной ставки с применением схемы простых и сложных процентов.
контрольная работа, добавлен 05.01.2013Определение определенного интеграла, правила вычисления площадей поверхностей и объемов тел с помощью двойных и тройных интегралов. Понятие и виды дифференциальных уравнений, способы их решения. Действия над комплексными числами, понятие и свойства рядов.
краткое изложение, добавлен 25.12.2010Числа натурального ряда, их закономерное периодическое изменение: сведение бесконечного к конечному путем выявления периодичности. Обоснование метода поиска простых чисел с помощью "решета" Баяндина. Закон динамического сохранения относительных величин.
книга, добавлен 28.03.2012- 107. Линейная алгебра
Вычисление определителя, алгебраических дополнений. Выполнение действий над матрицами. Решение систем линейных уравнений по формулам Крамера, методом Гауса. Определение плана выпуска химикатов на заводе. Составление экономико-математической модели задачи.
контрольная работа, добавлен 25.03.2014 Вычисление вероятности непогашения кредита юридическим и физическим лицом, с помощью формулы Байеса. Расчет выборочной дисперсии, его методика, основные этапы. Определение вероятности выпадания белого шара из трех, взятых наудачу, обоснование результата.
контрольная работа, добавлен 11.02.2014Решение задачи глобальной оптимизации. Базовый метод эволюционной стратегии: операции мутации, скрещивания и селекции. Определение параметров управления пробного вектора с помощью самоадаптивного метода. Применение метода C-центроидов, его схема.
реферат, добавлен 17.01.2014Математическое моделирование задач коммерческой деятельности на примере моделирования процесса выбора товара. Методы и модели линейного программирования (определение ежедневного плана производства продукции, обеспечивающей максимальный доход от продажи).
контрольная работа, добавлен 16.02.2011Условия неограниченного приближения закона распределения суммы n независимых величин к нормальному закону распределения. Сущность центральной предельной теоремы. Определение с помощью теоремы Муавра-Лапласа вероятности наступления события в серии опытов.
презентация, добавлен 01.11.2013Определение динамических свойств объектов с помощью дифференциальных уравнений для сравнительно простых объектов. Выражение входной и выходной величины элемента в долях, введение безразмерных координат. График кривой разгона, коэффициент усиления.
реферат, добавлен 16.05.2010Нахождение частных производных по направлению вектора. Составление уравнения касательной плоскости к поверхности в заданной точке. Исследование на экстремум функции двух переменных. Определение условного максимума функции при помощи функции Лагранжа.
контрольная работа, добавлен 14.01.2015Характеристика основных методов определения высоты физических тел: с помощью вращающейся планки, теней предмета и человека, зеркала, чертежного прямоугольного треугольника. Суть каждого из методов, обоснование расчетов и используемых материалов.
презентация, добавлен 17.04.2011Значения коэффициента регрессии (b) и сводного члена уравнения регрессии (а). Определение стандартной ошибки предсказания являющейся мерой качества зависимости величин Y и х с помощью уравнения линейной регрессии. Значимость коэффициента регрессии.
задача, добавлен 21.12.2008- 116. Ряд Фурье
Условия разложения функций для тригонометрического ряда. Определение коэффициентов разложения с помощью ортогональности систем тригонометрических функций. Понятие периодического продолжения функции, заданной на отрезке. Ряд Фурье функции у=f(x).
презентация, добавлен 18.09.2013 Вычисление и построение матрицы алгебраических дополнений. Решение системы линейных уравнений по формулам Крамера, с помощью обратной матрицы и методом Гаусса. Определение главной и проверка обратной матрицы. Аналитическая геометрия на плоскости.
контрольная работа, добавлен 20.04.2016Изучение формул Крамера и Гаусса для решения систем уравнений. Использование метода обратной матрицы. Составление уравнения медианы и высоты треугольника. Нахождение пределов выражений и производных заданных функций. Определение экстремумов функции.
контрольная работа, добавлен 15.01.2014Особенности использования теории вероятностей в сфере транспорта. Сравнительный анализ вероятностей катастрофы летательного аппарата: постановка задачи и ее математическая интерпретация. Определение надежности элементов системы энергоснабжения самолета.
контрольная работа, добавлен 11.09.2014Составление имитационной модели и расчет показателей эффективности системы массового обслуживания по заданны параметрам. Сравнение показателей эффективности с полученными путем численного решения уравнений Колмогорова для вероятностей состояний системы.
курсовая работа, добавлен 17.12.2009- 121. Симплекс-метод
Составление математической модели задачи. Определение всевозможных способов распила 5-метровых бревен на брусья 1,5, 2,4, 3,2 в отношении 1:2:3 так, чтобы минимизировать общую величину отходов. Решение задачи линейного программирования симплекс-методом.
задача, добавлен 27.11.2015 Развитие аналитического, логического, конструктивного мышления учащихся и формирование их математической зоркости. Изучение тригонометрии в курсе геометрии основной школы, методы решения нестандартных задач из курса 8 класса и из альтернативных учебников.
курсовая работа, добавлен 01.03.2014Машина Тьюринга как абстрактный исполнитель, осуществляющий алгоритмический процесс. Внешний и внутренний алфавит. Главные функции, цели и возможности памяти и каретки. Описание работы машины. Общий вид решения, записанного с помощью конфигураций.
презентация, добавлен 01.02.2015Вычисление скалярного и векторного произведений векторов, заданных в прямоугольной декартовой системе координат. Расчет длины ребра пирамиды по координатам ее вершин. Поиск координат симметричной точки. Определение типа линии, описываемой уравнением.
контрольная работа, добавлен 12.05.2016Суть задачи коммивояжера, ее применение. Общая характеристика методов ее решения: метод полного перебора, "жадные" методы, генетические алгоритмы и их обобщения. Особенности метода ветвей и границ и определение наиболее оптимального решения задачи.
курсовая работа, добавлен 18.06.2011