Характеристика алгоритмов
Подходы к определению алгоритма и их эквивалентность. Основные понятия булевых функций, декартово произведение и степень произвольного множества. Теорема о совершенной ДНФ. Виды логических и формальных исчислений. Характеристика предикат и квантор.
Подобные документы
Способы задания множеств и бинарных отношений. Основные логические операции. Представление булевых функций. Понятия логики предикатов. Описание теории графов, конечных автоматов, языков и элементов кодирования. Расчет максимального потока в сетях.
учебное пособие, добавлен 13.01.2015Понятие и общая характеристика различных типов точечных множеств: ограниченных сверху и снизу, неограниченных. Определение верхней и нижней грани. Расположение точечного множества вблизи какой-либо точки на прямой. Открытые и замкнутые множества.
курсовая работа, добавлен 19.11.2014Методы разработки алгоритмов. Характеристика особенностей "жадных" алгоритмов. Анализ задачи о выборе заявок. Изучение методов определения правильности алгоритма. Изучение принципов жадного выбора. Жадный алгоритм и динамическое программирование.
реферат, добавлен 23.11.2019Рассмотрение общих свойств функций. Изучение области определения и множества значений функции. Характеристика экстремальных свойств. Оценка отличий монотонных функций. Определение чётности, периодичности, обратимости функций в задачах с параметром.
курсовая работа, добавлен 22.02.2019Исследование функций при помощи производных и построение графиков. Необходимые и достаточные условия возрастания и убывания функции. Теорема и ее доказательство. Применение теоремы для убывающих функций. Подробное объяснение и решение задач.
лекция, добавлен 05.03.2009Основные правила обозначения пространства непрерывных функций. Характеристика классического решения краевой задачи. Описание основных теорем, их положения и обоснование. Процесс расширения понятия решения краевой задачи по двум направлениям, их отличия.
презентация, добавлен 30.10.2013Понятие и общая математическая характеристика множества, его главные свойства и отличительные признаки. Способы задания числовых значений. Описание основных операций, проводимых над множествами: объединение и пересечение. Диаграмма Эйлера-Венна.
контрольная работа, добавлен 04.12.2013Функция как математическое понятие, отражающее однозначную парную связь элементов одного множества с элементами из другого множества. Топология пространства арифметических векторов. Компактные множество и линейные отображения. Теорема Кантора и Бореля.
методичка, добавлен 07.08.2015Рассмотрение основных свойств функций алгебры логики. Базис и основные законы булевых функций. Реализация сочетательного закона при использовании логической функции И для трех переменных. Конъюнктивная и дизъюнктивная формы закона поглощения переменных.
лекция, добавлен 15.11.2017- 85. Свойства функций
Основные понятия функций. Числовая и сходящиеся последовательности. Бесконечный, односторонний, замечательный пределы и пределы на бесконечности. Принцип сходимости, предел функции и теорема Гейне. Непрерывность функции, композиции и точки разрыва.
реферат, добавлен 17.01.2011 Общая характеристика методов решения задач на темы "переправы" и "фальшивый объект". Знакомство с основными особенностями решение логических задач. Характеристика принципов логических игр. Анализ задач на нахождение наименьшего количества предметов.
статья, добавлен 26.03.2019- 87. Алгебра логики
Понятия алгебры логики: конъюнкция, дизъюнкция, инверсия, импликация, эквивалентность. Двоичные операции с цифровыми сигналами. Классификация электронных транзисторных физических реализаций логических элементов. Комбинационные логические устройства.
курсовая работа, добавлен 15.09.2017 Подходы к определению понятия "функция", графики функции. Изучение основных элементарных функций в школьном курсе математики: линейной, квадратичной, кубической, обратной пропорциональности, степенной, показательной, логарифмической и тригонометрической.
курсовая работа, добавлен 01.03.2013Угол: обозначение, единицы измерения. Основные виды углов. Сущность понятия "смежные углы", свойства, теорема. Вертикальные углы, особенности построения. Биссектриса и луч. Образец оформления решения задачи. Пример обучающей самостоятельной работы.
конспект урока, добавлен 16.09.2013- 90. Булева алгебра
Математическая логика как современная форма формальной логики, применяющей математические методы для исследования своего предмета. Теоретические аспекты понятия "вывод". Калькуляция высказываний и алгебра логических значений, импликация и эквивалентность.
реферат, добавлен 30.10.2010 Теории мультипликативных функций, определения и свойства данных функций, методы их суммирования. Рассмотрение результатов суммирования известной функции Эйлера j(n) и Мебиуса. Теорема Мертенса. Определение средних значений функций натурального аргумента.
дипломная работа, добавлен 29.10.2010Изучение и характеристика закона функционирования сложных логических устройств, который записывается в виде алгебраического выражения. Рассмотрение содержания и понятия конституенты нуля, называемого макстермом. Ознакомление с таблицей истинности.
лекция, добавлен 15.11.2017Понятие экстремума, анализ теоремы о пределах функции. Знакомство с правилом нахождения минимальных и максимальных точек. Применение локальной формулы Тейлора. Характеристика экстремумов функций многих переменных. Основные признаки экстремума функции.
контрольная работа, добавлен 06.02.2012История функций. Первые таблицы для нахождения тангенсов и котангенсов. Теорема синусов для сферических треугольников. Основная формула нахождения тангенса. Доказательство теоремы тангенсов для сферических углов и синусов для плоских треугольников.
презентация, добавлен 11.05.2013Сиплициальные гомологии: определение и свойства. Комологии и формулы универсальных коэффициентов. Эйлерова характеристика и теорема Лефшеца. Гомоморфизм Бокштейна и изоморфизм Пуанкаре. Теорема о вырезании и точная последовательность Майера-Вьеториса.
учебное пособие, добавлен 17.12.2013Предмет математической логики. Недостатки формальной логики. Сущность понятия "высказывание". Сущность отрицания, конъюнкции. Алгебра логических значений. Главные особенности импликации. Эквивалентность как вид выражения операции. Блок управления памятью.
реферат, добавлен 21.10.2012Особенность изображения графов на рисунках. Описание организации структур данных. Характеристика простого и сложного орграфа. Отображение алгоритма поиска центра совокупности непустого множества вершин. Анализ исследования исходного кода программы.
контрольная работа, добавлен 07.01.2016Понятие алгоритма, неформальная вычислимость. Частично-рекурсивные функции. Элементарная арифметика и неполнота. Арифметические функции и отношения. Варианты теории чисел. Теорема и последовательность Гудстейна. Задачи разрешения и задачи оптимизации.
учебное пособие, добавлен 07.04.2016Аналитическая и дифференциальная геометрия. Исследования Гаусса по неевклидовой геометрии. Обобщения теоремы Эйлера о многогранниках. Развитие концепции комплексного числа. Последовательности и ряды аналитических функций. Интегральная теорема Коши.
книга, добавлен 25.11.2013- 100. Логика предикатов
Обычные логические операции. Отрицание квантора общности и квантора существования. Свободная, кванторная и связанная переменные, двойственные кванторы. Формулы логики предикатов, равносильность формул. Выражение суждения в виде формулы логики предикатов.
презентация, добавлен 17.04.2013