Дискретная математика и математическая логика
Особенность нахождения отношения эквивалентности на множестве А. Построение таблиц истинности для высказываний. Изучение замыкания над множеством булевой функции. Проведение исследования класса линейных функций. Нахождение максимального потока в сети.
Подобные документы
Задача на нахождение кратчайшего пути. Определение нижней границы гамильтоновых циклов множества с помощью операции редукции. Изучение процесса разложения матрицы по маршрутным строкам. Определение, изображение оптимальной длины маршрута коммивояжёра.
контрольная работа, добавлен 16.01.2016Решение системы линейных уравнений с двумя неизвестными методом Крамера. Элементы аналитической геометрии. Пределы функции в точке и на бесконечности. Общая схема исследования функций и построения графиков. Дифференциальные уравнения первого порядка.
курс лекций, добавлен 30.04.2012Предмет математической логики. Недостатки формальной логики. Сущность понятия "высказывание". Сущность отрицания, конъюнкции. Алгебра логических значений. Главные особенности импликации. Эквивалентность как вид выражения операции. Блок управления памятью.
реферат, добавлен 21.10.2012Построение графиков функции спроса и предложения, вычисление производных и приближенного значения числа через дифференциал функции. Определение экстремума, выгнутостей и вогнутостей функции. Вычисление интегралов и неоднородных линейных уравнений.
контрольная работа, добавлен 16.04.2010Определение оптимального плана выпуска малахитовых и агатовых брошей. Математическая модель задачи, построение области допустимых решений задачи. Решение задачи на нахождение максимума целевой функции. Вероятность попадания в мишень для первого стрелка.
контрольная работа, добавлен 01.05.2023Порядок нахождения координат вектора в базисе. Способы решения системы линейных уравнений методом Гаусса, по правилу Крамера и через обратную матрицу. Определение пределов, производных, наибольшего и наименьшего значений функций. Вычисление интегралов.
контрольная работа, добавлен 01.05.2010Непрерывность функции в точке и на множестве. Точки разрыва функции и их классификация. Действия над непрерывными функциями. Непрерывность основных элементарных функций. Свойства функций, непрерывных на отрезке, равномерная непрерывность функции.
лекция, добавлен 10.02.2016Решение задач на применение закона Кулона. Теория вероятности, интегральная и дифференциальная функции распределения, нахождение дисперсии и критических точек графика функции. Построение графиков интегральной и дифференциальной функций величины.
контрольная работа, добавлен 05.01.2012Нахождение обратной матрицы. Исследование системы линейных алгебраических уравнений на совместность. Нахождение координат вектора в заданном базисе. Метод элементарных преобразований и окаймляющих миноров. Способы нахождения ранга расширенной матрицы.
контрольная работа, добавлен 17.04.2017Язык бинарных и n-арных отношений. Декартово произведение множеств. Формы представления бинарных отношений. Использование ориентированных графов. Булевое произведение матриц. Подобия на множестве фигур плоскости. Изучение классов эквивалентности.
лекция, добавлен 19.06.2014Математическая модели задачи планирования работы разнотипных машин с периодами простоя. Теорема о корректности приведения этой задачи к задаче комбинаторной оптимизации. Алгоритм нахождения нижней границы целевой функции возникающей задачи оптимизации.
статья, добавлен 19.02.2016- 62. Булева алгебра
Математическая логика как современная форма формальной логики, применяющей математические методы для исследования своего предмета. Теоретические аспекты понятия "вывод". Калькуляция высказываний и алгебра логических значений, импликация и эквивалентность.
реферат, добавлен 30.10.2010 Методика определения максимального потока автомашин (количество машин в час) для заданной системы автодорог, если пропускные способности дорог заданы в матрице. Построение ориентированного графа. Условия сохранения потока вдоль дуги и на вершинах.
задача, добавлен 25.11.2013- 64. Теория графов
Диаграмма Эйлера-Венна для множества. Системы счисления с креном. Построение Эйлеровой цепи в неориентированном графе. Определение минимального остовного дерева в неориентированном нагруженном графе. Понятие булевой функции и методы ее представления.
контрольная работа, добавлен 13.03.2017 Множества и операции над ними. Функции и формулы алгебры логики. Важнейшие замкнутые классы. Обобщение понятия равенства, отношение упорядоченности. Принцип двойственной записи вычислений. Построение совершенных нормальных форм и закон коммутативности.
методичка, добавлен 05.05.2014Изучение поведения функций и построение их графиков как важный раздел математики. Вклад в развитие графиков функций математиков древнего мира. Основные способы задания функций, методы построениях их графиков. Построение графика обратной функции.
реферат, добавлен 04.12.2014Особенности перечислимых и разрешимых множеств. Анализ конструкции Поста. Изучение основных вычислимых последовательностей функций. Характеристика неподвижной точки и отношения эквивалентности. Исследование главных аспектов теоремы Мучника-Фридберга.
курс лекций, добавлен 28.12.2013Характеристика основных методов упрочения выражения, сущность закона отрицания и дистрибутирования. Порядок решения задач с помощью диаграммы Эйлера-Венна. Особенности построения таблицы истинности. Матрицы инцидентности и смежности, их сущность.
задача, добавлен 24.02.2014Решение системы линейных алгебраических уравнений с тремя неизвестными методом Гаусса. Определение максимального значения целевой функции F(X)=-2x1+6x2. Поиск оптимального решения производственной задачи повышения спроса на выпускаемое фирмой изделие.
контрольная работа, добавлен 05.11.2012Решение математических задач. Нахождение пиков функции. Вычисление пределов, определенных и неопределенных интегралов; площади фигуры, ограниченной кривыми. Исследование функций дифференциальными методами. Уравнение касательной и нормали к кривой.
контрольная работа, добавлен 10.06.2014Свойства системы тригонометрических функций. Ортогональность функций на отрезке. Нахождение интеграла по отрезку от произведения любых двух функций системы. Проведение проверки свойств для всех функций системы. Определение подынтегральной функции.
презентация, добавлен 18.09.2013Рассмотрение примеров дифференциального исчисления функций одного переменного. Исследование на монотонность, определение асимптот и экстремумов. Проведение полного исследования свойств и построение эскиза графика функции. Исследование функции Лагранжа.
контрольная работа, добавлен 18.12.2013Проведение исследования тринома четвертой и пятой степени. Нахождение частного решения диофантова уравнения. Особенность записи многочлена в параметрической форме. Установление резольвенты для полинома. Построение трехчленного выражения группы Галуа.
статья, добавлен 28.04.2017Определение основных понятий элементарной математики. Операции над множествами и законы для подмножеств: коммутативности (переместительный закон) и ассоциативности (сочетательный закон). Отображения, а также отношения эквивалентности и упорядоченности.
реферат, добавлен 17.01.2011Понятие и применение производной функции в математике. Описание теорем о дифференцируемых функциях. Применение производной к исследованию функций. Необходимый, достаточный признак существования ее экстремума. План исследования, построение графика функции.
презентация, добавлен 23.08.2016