Характеристика алгоритмов
Подходы к определению алгоритма и их эквивалентность. Основные понятия булевых функций, декартово произведение и степень произвольного множества. Теорема о совершенной ДНФ. Виды логических и формальных исчислений. Характеристика предикат и квантор.
Подобные документы
- 51. Предел функции
Изучение особенностей предела функции по Гейне. Исследование теорем о пределах. Рассмотрение методов избавления от неопределенности. Построение графиков элементарных функций. Характеристика предела функции в точке. Анализ сущности множества значений.
книга, добавлен 21.12.2014 Описание жадного алгоритма, его линейная временная сложность. Теорема Радо–Эдмонса, комбинаторный объект матроида и матроиды трансверсалей. Теорема Дж. Эдмондса и Д. Фалкерсона. Жадный алгоритм для матроида трансверсалей. Классическая теорема Ф. Холла.
презентация, добавлен 26.09.2017Построение таблицы истинности. СДНФ и СКНФ. Применение метод Квайна - Мак-Класки и метод Петрика, карт Карно. Факторизация и декомпозиция. Использование методов минимизации булевых функций с дальнейшим построением комбинационных схем на их основе.
курсовая работа, добавлен 03.01.2022Точки на комплексной плоскости, элементарные функции комплексного переменного. Характеристика и отличительные черты однолистных и многозначных функций. Теорема Коши-Римана, понятие линейного отображения. Определение ряда Лорана, изолированные точки.
лекция, добавлен 29.09.2014Классификация и характеристики особых частных уравнений и неравенств с переменными параметрами. Анализ множества индексов вектор-функций, разбиение их на типы. Правила выполнения равносильных преобразований. Непересекающиеся классы эквивалентности.
лекция, добавлен 01.09.2017- 56. Алгебра логики
Краткая справка возникновения логики как науки, методика и предмет ее исследования. Особые математические функции от логических аргументов. Преобразование выражений, состоящих из булевых функций, применение в вычислительной технике и информатике.
реферат, добавлен 18.06.2015 Смысл введения интегральных преобразований. Свойства линейности изображения. Теорема о интегрировании оригинала и изображений. Операционное исчисление и некоторые его приложения. Понятие о свертке функций. Теорема о умножении изображений. Теорема Эфроса.
реферат, добавлен 18.05.2010Исследование размерности множества, впервые рассмотренного Кантором. Характер суммы длин всех удаленных интервалов. Особенность изучения абстрактных "пространств". Анализ теоремы о покрытии. Суть двумерных, трехмерных и n-мерных фигур числа измерений.
реферат, добавлен 11.12.2016Различные формы задания булевых функций. Переход от одной формы задания к другой. Построение и упрощение формул, задаваемых различными схемами. Нахождение кратчайших маршрутов для взвешенных графов с помощью алгоритма Форда–Беллмана и алгоритма Дейкстры.
курсовая работа, добавлен 18.10.2017Определение основных понятий непрерывности функции в точке. Расчет величин прироста аргумента. Арифметические действия элементарных функций. Понятие гиперболических функций и их формулы. Множество и его значение. Точка разрыва и теорема непрерывности.
лекция, добавлен 26.01.2014Пространство элементарных исходов. События в дискретном пространстве. Сумма (объединение), произведение (пересечение), разность событий. Основные свойства операций над событиями. Вероятность в классическом пространстве. Понятие счётного множества.
презентация, добавлен 22.09.2017Нахождение массы тела переменной плотности как путь выведения понятия и алгоритма тройного интеграла. Неравенства и теорема о среднем. Вычисление с помощью повторного интегрирования. Анализ и практика применения тройных интегралов для расчета координат.
презентация, добавлен 17.09.2013Основные этапы развития математики. Особенности математического стиля мышления. Понятие и элементы множества. Случайный эксперимент, элементарные исходы. Сумма, произведение и разность математических событий. Теоремы сложения и умножения вероятностей.
реферат, добавлен 17.03.2015Множества и основные операции над множествами. Упорядоченные пары и прямое произведение множеств. Основные законы и формулы комбинаторики. Логика высказываний: основные понятия, формулы, логические операции, составные высказывания и законы логики.
реферат, добавлен 07.11.2015Основные топологические понятия; аксиомы топологии и примеры некоторых соотношений в топологических пространствах. Булева алгебра и регулярные замкнутые множества: булево объединение и булево пересечение произвольного семейства элементов булевой алгебры.
курсовая работа, добавлен 07.07.2012Понятие и типы многочленов, принципы и закономерности их формирования. Свойства делимости многочленов. Метод неопределённых коэффициентов. Теорема Безу и ее следствия. Разложения многочлена на множители. Степень многочленов. Наименьшее общее кратное.
курсовая работа, добавлен 24.06.2011Изучение четности и нечетности функции. Анализ нахождения наименьшего положительного периода функций. Определение промежутков знакопостоянства. Возрастание и убывание функций. Нахождение точек экстремума. Характеристика алгоритма исследования функции.
презентация, добавлен 22.03.2021Основные понятия алгебры логики. Операции булевой алгебры. Построение таблиц истинности и булевых выражений. Законы и соотношения булевой алгебры. Преобразование и упрощение булевых выражений методами непосредственных преобразований и карт Карно.
курсовая работа, добавлен 26.06.2014Операции над множествами. Понятия и определения отношений и функций. Характеристики графов, алгоритм Форда–Беллмана нахождения минимального пути. Минимальные остовные деревья нагруженных графов. Формулы логики булевых функций, преобразования формул.
методичка, добавлен 28.06.2013Понятие множества, операции и математические понятия в теории множеств. Суть и способы математического доказательства. Отношения эквивалентности и порядка на множестве. Теоретико-множественный подход в построении множества целых неотрицательных чисел.
курс лекций, добавлен 06.08.2017Определение синуса, косинуса, тангенса и котангенса действительного числа. Основные свойства и графики тригонометрических функций. Формирование графической симметрии относительно начала координат. Характеристика множества значений переменной величины.
лекция, добавлен 12.10.2015Доказательство разрешимости отношений эквивалентности вычислительных моделей. Детерминированные конечные автоматы Рабина и Скотта. Новый подход при построении алгоритмов разрешения отношений эквивалентности. Однородные логические графы в математике.
статья, добавлен 22.08.2020Определение линейной алгебры и ее основных свойств. Описание формирования базисов из логических переменных. Характеристика процесса логического синтеза двузначных и многозначных цифровых структур в линейной алгебре. Пример разложения логических функций.
статья, добавлен 29.07.2017Исследование этапов вычисления определенных интегралов с помощью формулы Ньютона-Лейбница. Нахождение первообразной подынтегральной функции. Доказательство основной теоремы анализа. Характеристика операций дифференциального и интегрального исчислений.
презентация, добавлен 18.09.2013Определение роли логических задач в обучении математики. Ознакомление с задачами, решаемыми с помощью метода "здравых суждений", составления таблиц, построения графов и с помощью кругов Эйлера. Пример задачи, решаемой с применением алгебры высказываний.
статья, добавлен 11.11.2018