Основные положения дискретной математики
Графическая интерпретация множеств и операций над ними. Математическая логика, булева алгебра. Совершенная конъюнктивная нормальная форма. Равносильные формулы и их доказательство. Полнота системы булевых функций. Логика предикатов, теория графов.
Подобные документы
Изучение булевых функций. Алгоритм представления булевых функций в виде полинома Жегалкина. Система функций множества. Алгебраические преобразования, метод неопределенных коэффициентов. Таблица истинности для определенного количества переменных.
курсовая работа, добавлен 27.04.2011Сущность и математическое обоснование булевой функции, ее назначение и пути решения. Порядок составления таблицы истинности для определенного количества переменных. Связь всех дизъюнкций в конъюнкцию. Разработка и листинг программы представления.
курсовая работа, добавлен 27.04.2011Раздел математики, непосредственно относящийся к задачам физической и инженерной практики. Элементы векторной и линейной алгебры; описание способов выполнения различных операций над векторами: сложение, вычитание, геометрически смешанное произведение.
презентация, добавлен 02.05.2012- 54. Алгебра
Квадратные матрицы и определители. Координатное линейное пространство. Исследование системы линейных уравнений. Алгебра матриц: их сложение и умножение. Геометрическое изображение комплексных чисел и их тригонометрическая форма. Теорема Лапласа и базис.
учебное пособие, добавлен 02.03.2009 Предпосылки развития алгебры множеств. Основы силлогистики и соотношение между множествами. Применение и типы жергонновых отношений. Понятие пустого множества и универсума. Построение диаграмм Эйлера и обоснование законов транзитивности и контрапозиции.
контрольная работа, добавлен 03.09.2010Нахождение определителя матрицы. Правило вычисления определителя 3-го порядка. Тождественные преобразования в виде цепочки действий. Симметрическая разность множеств. Область определения функции. Доказание равносильности формулы путем преобразований.
контрольная работа, добавлен 13.03.2011Алгоритм упорядочивания множества. Определение декартового произведения, его графическая интерпретация. Обратное декартово произведение множеств. Проецирование на оси координат и на координатные плоскости. Область определения и область значений.
лекция, добавлен 18.12.2013Элементы линейной алгебры. Дифференциальное и интегральное исчисление функции одной переменной. Биномиальный закон распределения. Комбинаторные формулы. Статистическое определение вероятности. Формула полной вероятности. Дискретные случайные величины.
творческая работа, добавлен 30.04.2009Нахождение полинома Жегалкина методом неопределенных коэффициентов. Практическое применение жадного алгоритма. Венгерский метод решения задачи коммивояжера. Применение теории нечетких множеств для решения экономических задач в условиях неопределённости.
курсовая работа, добавлен 16.05.2010История возникновения, основные понятия графа и их пояснение на примере. Графический или геометрический способ задания графов, понятие смежности и инцидентности. Элементы графа: висячая и изолированная вершины. Применение графов в повседневной жизни.
курсовая работа, добавлен 20.12.2015Мономорфные стрелки. Эпиморфные стрелки. Изострелки. КатегориЯ множеств. Мономорфизм в категории множеств. Эпиморфизм в категории множеств. Начальные и конечные объекты в категории множеств. Произведение в категории множеств.
дипломная работа, добавлен 08.08.2007Способы решения логических задач типа "Кто есть кто?" методами графов, табличным способом, сопоставлением трех множеств; тактических, истинностных задач, на нахождение пересечения множеств или их объединения. Буквенные ребусы и примеры со звездочками.
курсовая работа, добавлен 15.06.2010Декартова система координат. Построение композиции отображений. Проверка полноты системы функций. Построение логической схемы однотактного триггера на заданном элементе памяти с использованием канонического метода структурного синтеза конечных автоматов.
контрольная работа, добавлен 18.02.2015Функциональные и степенные ряды. Разложение функций в ряды Тейлора и Макларена. Теорема Дерихле. Основные понятия в теории вероятностей. Теорема умножения и сложения вероятностей независимых событий. Формулы Бейеса, Бернулли. Локальная теорема Лапласа.
методичка, добавлен 25.12.2010Понятие формальной системы. Основные понятия логики первого порядка. Доказательство неразрешимости проблемы остановки. Машина Тьюринга, ее структура. Вывод неразрешимости логики первого порядка из неразрешимости проблемы остановки и методом Геделя.
курсовая работа, добавлен 16.02.2011- 66. Теория сравнений
Основное понятие теории положительных (натуральных) чисел. Развитие стенографии для операций арифметики. Символический язык для делимости. Свойства и алгебра сравнений. Возведение сравнений в степень. Повторное возведение в квадрат. Малая теорема Ферма.
презентация, добавлен 04.06.2014 Составление таблицы значений функции алгебры логики и нахождение всех существенных переменных. Связный ориентированный и взвешенный граф. Построение функции полиномом Жегалкина. Текст программы для алгоритма Дейкстры. Определение единиц и нулей функции.
контрольная работа, добавлен 27.04.2011История возникновения и развития математической логики как раздела математики, изучающего математические обозначения и формальные системы. Применение математической логики в технике и криптографии. Взаимосвязь программирования и математической логики.
контрольная работа, добавлен 10.10.2014Характеристика булевой алгебры и способы представления булевых функций. Понятие и сущность бинарных диаграммах решений. Упорядоченные бинарные диаграммы решений, их построение и особенности применения для обработки запросов в реляционных базах данных.
дипломная работа, добавлен 21.01.2010Определение связи между выходом и входом для непрерывных систем. Вычисление передаточной функции и основы структурного метода дискретной системы. Расчет передаточной функции дискретной системы с обратной связью. Передаточные функции цифровых алгоритмов.
реферат, добавлен 19.08.2009Открытие формулы австрийским математиком Георгом Пиком в 1899 году. Доказательство Теоремы Пика, последовательность этапов для различных вариантов. Нахождение и расчет площадей четырехугольников в квадратных сантиметрах с использованием данной формулы.
презентация, добавлен 14.04.2013Определение понятия множеств Г. Кантора, их примеры и обозначения. Способы задания, включение и равенство множеств, операции над ними: объединение, пересечения, разность, дополнение, их определение и наглядное представление на диаграмме Эйлера-Венна.
реферат, добавлен 11.03.2009Элементы линейной алгебры. Виды матриц и операции над ними. Свойства определителей матрицы и их вычисление. Решение систем линейных уравнений в матричной форме, по формулам Крамера и методу Гаусса. Элементы дифференциального и интегрального исчислений.
учебное пособие, добавлен 06.11.2011Программа курса, основные понятия и формулы теории вероятностей, их обоснование и значение. Место и роль математической статистики в дисциплине. Примеры и разъяснения по решению самых распространенных задач по различным темам данных учебных дисциплин.
методичка, добавлен 15.01.2010Основная функционально полная система логических функций. Законы алгебры логики в основной функционально полной системе и их следствия. Переместительный и распределительный законы. Закон инверсии (правило Де Моргана). Системы логических функций.
реферат, добавлен 17.11.2008