Полурешетки m-степеней
Вопросы сводимости функций. Символы логических операций: отрицания, конъюнкции, дизъюнкции, импликации. Кванторы общности и существования. Минимальные элементы верхней полурешетки m-степеней. Идеалы полурешетки m-степеней частично рекурсивных функций.
Подобные документы
- 51. Функции Бесселя
Изложение теории бесселевых функций, их приложения к уравнениям математической физики. Виды цилиндрических функций. Применение бесселевых функций в математической физике на примере некоторых задач. Уравнение Лапласа в цилиндрических координатах.
дипломная работа, добавлен 09.10.2011 Синтез вариационного исчисления и метода функций Ляпунова в основе принципа динамического программирования. Метод знакопостоянных функций Ляпунова в решении задач о стабилизации и синтезе управления для нелинейной и автономной управляемых систем.
курсовая работа, добавлен 17.06.2011Обзор таблицы производных элементарных функций. Понятие промежуточного аргумента. Правила дифференцирования сложных функций. Способ изображения траектории точки в виде изменения ее проекций по осям. Дифференцирование параметрически заданной функции.
контрольная работа, добавлен 11.08.2009Введение новых динамических систем и их решений, специальных функций эллиптических и тета-функций, зависящих от одного параметра, разложение эллиптических функций Якоби в ряды Фурье (теоремы разложения). Рассмотрение их связи с функцией Вейерштрасса.
курсовая работа, добавлен 26.04.2011Общее определение коэффициентов по методу Эйлера-Фурье. Ортогональные системы функций. Интеграл Дирихле, принцип локализации. Случай непериодической функции, произвольного промежутка, четных и нечетных функций. Примеры разложения функций в ряд Фурье.
курсовая работа, добавлен 12.12.2010История развития и становления математического понятия функции. Абстрактные характеристики упорядоченных алгебр многоместных функций: P-алгебры и D-алгебры. Исследование теории суперпозиций алгебраических структур n-местных функций Менгера и Глускера.
курсовая работа, добавлен 22.12.2015Основные правила преобразования графиков на примерах элементарных функций: преобразование симметрии, параллельный перенос, сжатие и растяжение. Построение графиков сложных функций с помощью последовательных преобразований графиков элементарных функций.
презентация, добавлен 16.11.2010Условия возникновения и особенности вычисления функций Матье, характеристика дифференциального уравнения Матье. Алгоритм решения задачи и алгоритмы вычисления радиальных функций эллиптического цилиндра. Определение точности результатов вычисления.
научная работа, добавлен 02.05.2011Система линейных уравнений. Матричное решение системы уравнений. Геометрический смысл операций с комплексными числами. Элементы аналитической геометрии в пространстве. Классификация функций. Основные элементарные функции. Раскрытие неопределенностей.
шпаргалка, добавлен 12.01.2009Изучение способов нахождения пределов функций и их производных. Правило дифференцирования сложных функций. Исследование поведения функции на концах заданных промежутков. Вычисление площади фигуры при помощи интегралов. Решение дифференциальных уравнений.
контрольная работа, добавлен 23.10.2010Полнота и замкнутость системы булевых функций. Алгоритм построения таблицы истинности двойственной функции. Класс L линейных функций, сущность полинома Жегалкина. Распознавание монотонной функции по вектору ее значений. Доказательство теоремы Поста.
учебное пособие, добавлен 20.08.2014Исследование методами математического анализа поведения функций при заданных значениях аргумента. Этапы решения уравнения функции и определения значения аргумента и параметра. Построение графиков. Сочетание тригонометрических, гиперболических функций.
контрольная работа, добавлен 20.08.2010Определение коэффициентов элементарных функций: линейной, показательной, степенной, гиперболической, дробно-линейной, дробно-рациональной. Использование метода наименьших квадратов. Приближённые математические модели в виде приближённых функций.
лабораторная работа, добавлен 05.01.2015Бесселевы функции с любым индексом. Формулы приведения для бесселевых функций. Интегральное представление бесселевых функций с целым индексом. Ряды Фурье-Бесселя. Асимптотическое представление бесселевых функций для больших значений аргумента.
курсовая работа, добавлен 22.09.2008Построение графа и таблицы поведения автомата. Нахождение системы булевых функций для возбуждения JK-триггеров, реализующих функции y. Определение булевой функции для реализации функции j. Составление логической схемы автомата, кодирование данных.
курсовая работа, добавлен 27.04.2011Построение таблицы поведения автомата и соответствующего графа. Нахождение системы булевых функций для возбуждения T-триггеров, реализующих функции "пси". Определение булевой функции для реализации функции "фи". Составление логической схемы автомата.
курсовая работа, добавлен 27.04.2011Элементы алгебры и введение в математический анализ. Дифференциальное исчисление функций одной или нескольких переменных и элементы дифференциальной геометрии. Интегральное исчисление. Числовые и функциональные ряды. Кратные и криволинейные интегралы.
дипломная работа, добавлен 09.03.2009Разделенные разности и аппроксимация функций методом наименьших квадратов. Интерполяционные многочлены Лагранжа и Ньютона. Экспериментальные данные функциональной зависимости. Система уравнений для полинома. Графики аппроксимирующих многочленов.
реферат, добавлен 26.07.2009Определение МДНФ логической функции устройства различными методами (Квайна, Петрика, неопределенных коэффициентов и др.). Составление алгоритма метода минимизации функции и разработка его рабочих программ. Выполнение синтеза схемы логического устройства.
курсовая работа, добавлен 21.11.2010Особенности дифференциального исчисления. Использование правила Коши при разложении в ряд функций cos x и sin x для перемножения рядов. Запись элементов бесконечной матрицы в форме последовательности. Абсолютная сходимость рядов, порождаемых матрицей.
курсовая работа, добавлен 06.08.2013- 71. Булевы функции
Понятие, основные свойства элементарных булевых функций и соотношения между ними. Формулировка принципа двойственности. Совершенные дизъюнктивная и конъюнктивная нормальные формы. Многочлен (полином) Жегалкина. Суперпозиция и замыкание класса функций.
презентация, добавлен 05.02.2016 Углы и их измерение. Соответствие между углами и числовым рядом. Геометрический смысл тригонометрических функций. Свойства тригонометрических функций. Основное тригонометрическое тождество и следствия из него. Универсальная тригонометрическая подстановка.
учебное пособие, добавлен 18.04.2012Определение констант нуля и установление эквивалентности линейных функций при помощи таблицы истинности. Нахождение минимальной дизъюнктивной нормальной формы функции с помощью метода неопределенных коэффициентов. Преобразование функции методом Квайна.
контрольная работа, добавлен 05.07.2014Понятие первообразной функции. Виды иррациональных функций, приемы их интегрирования. Интегрирование рациональных дробей, алгебраических иррациональностей, биномиальных дифференциалов, тригонометрические подстановки. Примеры решения типовых задач.
курсовая работа, добавлен 07.06.2012Элементы алгебры, логические операции над высказываниями. Получение логических следствий из данных формул и посылок для данных логических следствий. Необходимые и достаточные условия. Анализ и синтез релейно-контактных схем. Логические следствия и формы.
дипломная работа, добавлен 11.12.2010