Дискретная алгебра
Множества, операции над ними. Соответствия и функции. Элементы общей алгебры. Различные виды алгебраических структур. Элементы математической логики. Логические функции. Булевы алгебры и теория множеств. Язык логики предикатов. Классы графов и их частей.
Подобные документы
Понятие и сущность логики. Становления структурной лингвистики, её взаимодействие с математикой. Логические операции над высказываниями: отрицание, конъюнкция, дизъюнкция, импликация. Создание обучающего ресурса, проведение педагогического эксперимента.
дипломная работа, добавлен 20.12.2013Определение тождественно-истинного и тождественно-ложного предикатов. Основные операции логики высказываний. Построение языка логики первого порядка, значение используемых в ней символов. Аксиоматика и доказательство формул. Понятие формальной системы.
лекция, добавлен 07.08.2013Определение минимальной дизъюнктивной нормальной формы логической функции устройства. Таблица истинности функции. Минимизация функции алгебры логики. Задача определения простых импликант по методу Квайна-Маккласки. Синтез схемы для МДНФ в базисе Буля.
курсовая работа, добавлен 21.11.2010Рассчет по правилу умножения матриц коэффициентов новой матрицы. Решение системы линейных алгебраических уравнений тремя методами. Дифференциальное и интегральное исчисление функции одной переменной. Нахождение площади фигуры, ограниченной линиями.
контрольная работа, добавлен 02.10.2012Предмет математической логики. Недостатки формальной логики. Сущность понятия "высказывание". Сущность отрицания, конъюнкции. Алгебра логических значений. Главные особенности импликации. Эквивалентность как вид выражения операции. Блок управления памятью.
реферат, добавлен 21.10.2012Характеристика доказательства по заданному модусу путем построения диаграмм Эйлера. Изучение методов математической логики для формализации высказывания. Доказательство общезначимости формулы, используя законы алгебры, равносильные преобразования.
контрольная работа, добавлен 05.09.2016Основные понятия теории множеств и теории графов. Графические диаграммы Венна. Матрица инцидентности ориентированного и неориентированного графа. Анализ матрицы смежности графа. Особенности частей, сурграфов и подграфов, маршрутов, цепей и циклов.
методичка, добавлен 15.10.2016Теоретические и психолого-педагогические основы изучения элементов математической логики в начальной школе. Высказывания и операции над ними. Числовые равенства, уравнения и неравенства, правильные и неправильные рассуждения, высказывания с кванторами.
курсовая работа, добавлен 06.11.2010Элементы, из которых состоит множество. Примеры обозначений с помощью логической символики. Квантор всеобщности и существования. Свойства множеств. Операции логического сложения, умножения, разности. Окрестности точки х как особый вид множества.
лекция, добавлен 29.09.2013Свойства теоретико-множественных операций. Способы задания бинарных отношений. Булевы функции одной и двух переменных. Двойственность и равнозначность формул булевой алгебры. Матричный способ задания конечного автомата. Анализ автоматов Мура и Мили.
учебное пособие, добавлен 28.12.2013Матрицы и действия над ними. Системы линейных алгебраических уравнений и их решение. Компланарные, коллинеарные и ортогональные векторы. Скалярное произведение и его свойства. Уравнение кривых 2-го порядка. Производная функция. Правила дифференцирования.
курс лекций, добавлен 29.05.2014Язык математики и его основные элементы. Функции и операции над ними. Интегральное исчисление и его приложения. Множества, мера и их применения. Математические модели и гуманитарные науки. Проблемы и перспективы современной прикладной математики.
курс лекций, добавлен 14.08.2015Множества: операции, свойства, уравнения, декартово произведения. Способы описания бинарного отношения. Эквивалентность, понятия комбинаторики. Графы: определения, расширения модели, оптимизационные задачи. Алгебры, группы, изоморфизмы и гомоморфизмы.
учебное пособие, добавлен 18.01.2015Множества и операции над ними. Представление множеств и отношений в программах. Алгоритмы генерации множеств и задачи информационного поиска. Алгоритм выполнения операции минимум. Бинарное поисковое дерево. Генерация всех подмножеств универсума.
контрольная работа, добавлен 23.04.2013Совершенствование методики изучения уравнений как моделей реальных процессов. Теоретические основы математического моделирования, его виды и классификация. Уравнения как математические модели реальных ситуаций. Анализ учебников алгебры 5-9 классов.
дипломная работа, добавлен 05.07.2014Раздел математики, посвященный решению задач выбора и расположения элементов некоторого множества в соответствии с заданными условиями. Рекуррентные соотношения и производящие функции. Теорема о максимальном потоке и минимальном разрезе. Теория графов.
учебное пособие, добавлен 13.01.2014- 92. Линейная алгебра
Понятия линейной алгебры и матричного множества. Определители квадратных матриц второго, третьего и высших порядков. Правило Крамера для решения систем линейных уравнений первой степени. Ортогональные функции как базис функционального пространства.
реферат, добавлен 30.05.2022 Доказывание тождеств в теории множеств. Рассмотрение основных положений комбинаторики. Определение Эйлеровой цепи в неориентированном графе. Решение задач по алгебре логики. Изучение возможностей решения системы уравнений с использованием метода Гаусса.
контрольная работа, добавлен 20.01.2022Характеристика понятия и сущности, способов задания, основных операций, свойств характеристических функций множеств. Изучение декартового произведения множеств, сравнение их мощности, описание формул включений и исключений. Метод математической индукции.
лекция, добавлен 28.04.2015Понятия бинарного отношения как подмножества декартова произведения. Элементы теории множеств и комбинаторики, три основных метода пересчета, превращение конечного множества в упорядоченное с помощью переписи всех элементов множества в некоторый список.
реферат, добавлен 31.01.2014Существенная характеристика алгебры и сигма-алгебры событий, встречающихся в теории вероятностей. Изучение косвенных методов вычисления возможностей. Свойства операций сложения и умножения явлений. Особенность изучения основных законов де Моргана.
контрольная работа, добавлен 25.11.2015Определители второго, третьего и четвертого порядка, их свойства и методы вычисления. Операции над матрицами и их особенности. Понятие ранга матрицы, правило Крамера. Матричный метод решения систем, пределы и непрерывность функций. Дифференциал функции.
учебное пособие, добавлен 28.08.2017Понятия графа в математической теории как совокупности непустого множества вершин и множества пар вершин. Направленность графов, ограничения на количество связей и дополнительные данные о вершинах или ребрах. Способы задания графов, матрица смежности.
контрольная работа, добавлен 29.08.2010Понятие элементарной суммы и произведения. Множество дизъюнктивных и конъюнктивных нормальных форм для алгебры высказываний. Тождественно-истинная и тождественно-ложная формула. Проблема разрешимости для логики высказываний. Формализация рассуждений.
презентация, добавлен 17.04.2013Автоматизация процессов обработки информации. Создание математической модели отнесения документов, поступающих в автоматизированную систему к области ответственности исполнителя. Использование математического аппарата алгебры конечных предикатов.
статья, добавлен 12.05.2017