Дискретная математика
Понятие алгебры логики, ее сущность и особенности, основные понятия и определения, предмет и методика изучения. Законы алгебры логики и следствия из них, методы построения формул по заданной таблице истинности. Формы представления булевых функций.
Подобные документы
Логические константа и переменная. Последовательность выполнения логических операций в логических формулах. Логическая информация и основы логики. Общие, частные и единичные высказывания. Старшинство логических операций. Импликация и эквивалентность.
курсовая работа, добавлен 27.04.2013- 52. Булевы функции
Понятие, основные свойства элементарных булевых функций и соотношения между ними. Формулировка принципа двойственности. Совершенные дизъюнктивная и конъюнктивная нормальные формы. Многочлен (полином) Жегалкина. Суперпозиция и замыкание класса функций.
презентация, добавлен 05.02.2016 История развития тригонометрии, характеристика ее основных понятий и формул. Общие вопросы, цели изучения и способы определения тригонометрических функций числового аргумента в школьном курсе. Рекомендации и методы решения тригонометрических уравнений.
курсовая работа, добавлен 19.10.2011Понятие начертательной геометрии, ее сущность и особенности, предмет и методы изучения, история зарождения и развития. Цели и задачи начертательной геометрии, ее структура и элементы. Прямая и варианты ее расположения, разновидности и методы определения
лекция, добавлен 21.02.2009Особенности периода математики постоянных величин. Создание арифметики, алгебры, геометрии и тригонометрии. Общая характеристика математической культуры Древней Греции. Пифагорейская школа. Открытие несоизмеримости, таблицы Пифагора. "Начала" Евклида.
презентация, добавлен 20.09.2015Конспект лекций по дискретной математике
курс лекций, добавлен 07.08.2007- 57. Пределы функций
Нахождение пределов функций. Определение значения производных данных функций в заданной точке. Проведение исследования функций с указанием области определения и точек разрыва, экстремумов и асимптот. Построение графиков функций по полученным данным.
контрольная работа, добавлен 11.03.2015 Доказательство тождества с помощью диаграмм Эйлера-Венна. Определение вида логической формулы с помощью таблицы истинности. Рисунок графа G (V, E) с множеством вершин V. Поиск матриц смежности и инцидентности. Определение множества вершин и ребер графа.
контрольная работа, добавлен 17.05.2015- 59. Математика
Определитель и его свойства. Элементарные преобразования, миноры и алгебраические дополнения. Элементы векторной алгебры. Уравнения линии на плоскости. Расстояние от точки до прямой. Введение в математический анализ. Тригонометрическая форма числа.
методичка, добавлен 10.01.2012 Теоретические основы и предмет преподавания математики. Понятие и сущность индукции, дедукции и аналогии. Алгоритмы решения математических задач. Методика введения отрицательных, дробных и действительных чисел. Характеристика алгебраических выражений.
курс лекций, добавлен 30.04.2010Использование численных методов, позволяющих найти приближенное значение определенного интеграла с заданной точностью. Анализ формул трапеции и параболы (Симпсона). Основной принцип построения формул приближенного вычисления определенного интеграла.
презентация, добавлен 18.09.2013Предмет, методы и понятия математической статистики, ее взаимосвязь с теорией вероятности. Основные понятия выборочного метода. Характеристика эмпирической функции распределения. Понятие гистограммы, принцип ее построения. Выборочное распределение.
учебное пособие, добавлен 24.04.2009Понятие матрицы и линейные действия над ними. Свойства операции сложения матриц. Определители второго и третьего порядков. Применение правила Саррюса. Основные методы решения определителей. Элементарные преобразования матрицы. Свойства обратной матрицы.
учебное пособие, добавлен 04.03.2010Понятие и назначение определителей, их общая характеристика, методика вычисления и свойства. Алгебра матриц. Системы линейных уравнений и их решение. Векторная алгебра, ее закономерности и принципы. Свойства и приложения векторного произведения.
контрольная работа, добавлен 04.01.2012Теоретические основы аналитической геометрии, линейной алгебры и задач оптимизации. Общая характеристика плоскости и основных поверхностей второго порядка. Особенности решения систем линейных уравнений с использованием меню "Мастер функций" MS Excel.
методичка, добавлен 05.07.2010Топология как сравнительно молодая математическая наука, предмет и методы ее изучения, основные этапы становления и развития. Области топологии и понятие топологического пространства. Проблемы науки и пути их разрешения, основные понятия и теоремы.
реферат, добавлен 09.09.2009Решение задач линейной алгебры с разреженными матрицами на примере дискретизации уравнения Пуассона. Сущность векторных и матричных норм, основные виды итерационных методов, определение и условия их сходимости. Понятие инвариантных подпространств.
учебное пособие, добавлен 02.03.2010Расчет произведения заданных матриц. Решение системы линейных алгебраических уравнений по формулам Крамера, матричным методом и методом Гаусса. Координаты вектора в базисе. Определение ранга заданной матрицы. Система с базисом методом Жордана-Гаусса.
контрольная работа, добавлен 19.01.2014Элементы линейной алгебры. Дифференциальное и интегральное исчисление функции одной переменной. Биномиальный закон распределения. Комбинаторные формулы. Статистическое определение вероятности. Формула полной вероятности. Дискретные случайные величины.
творческая работа, добавлен 30.04.2009Особенности системы индексных обозначений. Специфика суммирования в тензорной алгебре. Главные операции в алгебре, которые называются сложением, умножением и свертыванием. Применение операции внутреннего умножения. Симметричные и антисимметричные объекты.
реферат, добавлен 07.12.2009Методы доказательства клаузы: с помощью резолюций и таблиц истинности. Определение ложности и истинности клаузы. Особенности составления легенды по клаузе. Составление клаузы по легенде. Определение истинности логического выражения путем конкретизации.
контрольная работа, добавлен 14.06.2009Численные методы решения систем линейных алгебраических уравнений, алгоритмы, их реализующие. Нормы матриц и векторов, погрешность приближенного решения системы и обусловленность матриц. Интеграционные методы решения: методы простой итерации, релаксации.
учебное пособие, добавлен 02.03.2010История развития алгебры как научной дисциплины. Расширения Галуа как универсальный метод решения уравнений любой степени. Определение понятия коммуникативной (абелевой) группы. Сущность кольца и его свойства. Примеры использования конечного поля.
реферат, добавлен 28.05.2014Определение годовых издержек пополнения и хранения запасов, приращения и дифференциала заданной функции, ее абсолютного и относительного отклонение. Выведение нормальных уравнений методом наименьших квадратов и формул Крамера для линейной функции.
контрольная работа, добавлен 29.01.2010Литералы рассуждения и вопрос об их отрицаниях. Математическая модель отрицания для рассуждения, содержащего связную совокупность суждений. Отрицания в математической логике и дополнения в алгебре множеств. Интерпретации формул математической логики.
контрольная работа, добавлен 03.09.2010