Дискретная математика и математическая логика
Особенность нахождения отношения эквивалентности на множестве А. Построение таблиц истинности для высказываний. Изучение замыкания над множеством булевой функции. Проведение исследования класса линейных функций. Нахождение максимального потока в сети.
Подобные документы
Синтез устройства, реализующего заданную таблицу истинности. Минимизация количества логических элементов. Различные представления логической функции и упрощения с помощью законов двоичной алгебры. Построение дизъюнктивной формы по таблице истинности.
контрольная работа, добавлен 12.04.2011Математическая логика как формальный математический аппарат, изучающий различные способы логических рассуждений. Рассмотрение теоремы дедукции. Анализ логических операций: конъюнкция, дизъюнкция, отрицание. Особенности проверки правильности рассуждений.
учебное пособие, добавлен 11.12.2012Построение на плоскости области решений линейных неравенств и геометрическое решение максимального и минимального значения целевой функции в этой области. С помощью симплекс-метода определение максимума целевой функции при данной системе ограничений.
контрольная работа, добавлен 27.03.2015Построение графика функции спроса и предложения, нахождение координаты точки равновесия. Вычисление производных. Исследование и построение графика данной функции. Вычисление неопределенного интеграла. Установление расходимости несобственного интеграла.
контрольная работа, добавлен 21.10.2010Изучение особенностей графического и симплексного методов решения задач линейного программирования. Геометрическая интерпретация ограничений. Нахождение максимального значения целевой функции задачи. Определение и построение области допустимых решений.
контрольная работа, добавлен 26.05.2015- 81. Булева алгебра
Ознакомление с историей зарождения и особенностями булевой алгебры. Характеристика специфики совершенных дизъюнктивной и конъюнктивной нормальных форм. Рассмотрение сущности математической логики. Основные теории вероятности в функциональном анализе.
реферат, добавлен 11.10.2012 Изучение понятия элементарных функций в математике, их виды. Характеристика правил определения элементарных функций по Лиувиллю. Дифференцирование и нахождение производных по таблице. Дифференцируемая в точке функция, матрица Якоби и теорема Лебега.
реферат, добавлен 26.02.2015История возникновения математической логики. Основное содержание, формулы, элементы, символы. Таблицы истинности, логические функции, основные логические операции. Законы логики и упрощение логических выражений. Решения задач по математической логике.
реферат, добавлен 06.06.2012Понятие и предназначение функции алгебры логики, характеристика табличного, графического, координатного, числового и аналитического способа её задания. Специфика составления карты Карно с помощью функции алгебры логики, таблица истинности переменных.
реферат, добавлен 15.11.2017Изучение математических моделей объектов, процессов и зависимостей, решаемых дискретной математикой. Анализ элементов теории множеств. Понятие и применение математической логики. Определение алгебраических операций. Теория графического представления.
учебное пособие, добавлен 19.12.2012Рассмотрение элементов теории графов. Характеристика множеств и операций над ними. Основные законы комбинаторики. Основы построения матрицы смежности. Геометрическая реализация графов. Исследование ключевых особенностей логики высказываний и операций.
курс лекций, добавлен 01.04.2016Характеристика оценки меры иррациональности значений дзета-функции Римана в целых точках. Проведение исследования обобщенного интеграла В.Н. Сорокина с произвольным набором параметров. Особенность применения преобразований к сохранённым массивам.
статья, добавлен 27.05.2018Особенность определения отрицания высказывания. Основная характеристика дизъюнкции и конъюнкции суждений. Главный анализ построения логической операции импликации. Сущность эквивалентности двух фраз. Изучение обозначения штриха Шеффера и стрелки Пирса.
презентация, добавлен 06.10.2015Элементы линейной алгебры и аналитической геометрии. Дифференциальное исчисление функции одной и нескольких переменных. Комплексные числа, уравнения математической физики. Элементы теории вероятностей и математической статистики, дискретная математика.
учебное пособие, добавлен 02.12.2014Метод построения логических исчислений в современной символической логике. Его теоретическая и практическая значимость. Особенность применения матлогики в переключательных схемах. Дизъюнкция и конъюнкция. Таблица истинностных значений. Состояния рефлекса.
реферат, добавлен 15.05.2015Характеристики двумерной случайной величины. Анализ способов нахождения условных распределений в дискретном случае. Изучение понятия и сущности условного математического ожидания. Изучение основных свойств корреляционного отношения, условной плотности.
презентация, добавлен 26.09.2017Характеристика основных высказываний известных людей о науке, которая изучает величины. Главная особенность применения математики в медицине, пекарне, торговле, строительстве и в быту. Использование чисел в пословицах, поговорках и сочинениях учащихся.
презентация, добавлен 07.12.2014Изучение функций, заданных на множестве графов и принимающих значения из некоторого множества чисел. Определение числа компонент связности графа. Правила раскраски графа и карт. Проблема четырех красок. Нахождение множеств внутренней устойчивости.
реферат, добавлен 13.11.2015Краткие биографические данные о жизни Фридриха Гаусса – немецкого математика, астронома и физика. Первые исследования метода решения систем линейных алгебраических уравнений. Понятие расширенной матрицей системы. Элементарные преобразования системы.
курсовая работа, добавлен 05.12.2013Изучение античной греческой математики. Построение качественных, линейных количественных и нелинейных количественных моделей. Процесс структуризации данных. Уточнения и приближения. Корреляция и каузация. Аппроксимация функции конечным рядом Фурье.
контрольная работа, добавлен 29.10.2021Решение системы линейных алгебраических уравнений с тремя неизвестными. Решение системы уравнений методом Крамера. Построение опорного плана транспортной задачи и проверка его оптимальности, построение симплекс-таблицы. Поиск точек экстремума функции.
контрольная работа, добавлен 05.11.2012Проведение исследования бинарной и унарной алгебраических операций на множестве. Особенность формализации нечеткой информации для построения математических моделей. Характеристика аксиом меры нечеткости. Основные виды метрик функциональных пространств.
лабораторная работа, добавлен 06.10.2017Рассмотрение определения функции в математическом анализе. Расчет предела функциональной последовательности. Бесконечно малые функции и их основные свойства. Изучение равенства односторонних пределов. Ограничение функций сверху и снизу на множестве.
презентация, добавлен 16.10.2014Воспитание творческой активности учащихся в процессе изучения ими математики. Метод замены информации по эквивалентности и вывода логических следствий. Вывод формулы для решения квадратного уравнения, решение задач на построение алгебраическим методом.
статья, добавлен 15.03.2019- 100. Логика предикатов
Определение тождественно-истинного и тождественно-ложного предикатов. Основные операции логики высказываний. Построение языка логики первого порядка, значение используемых в ней символов. Аксиоматика и доказательство формул. Понятие формальной системы.
лекция, добавлен 07.08.2013