Полурешетки m-степеней
Вопросы сводимости функций. Символы логических операций: отрицания, конъюнкции, дизъюнкции, импликации. Кванторы общности и существования. Минимальные элементы верхней полурешетки m-степеней. Идеалы полурешетки m-степеней частично рекурсивных функций.
Подобные документы
Восстановление графов по заданным матрицам смежности вершин. Построение для каждого графа матрицы смежности ребер, инцидентности, достижимости, контрдостижимости. Поиск композиции графов. Определение локальных степеней вершин графа. Поиск базы графов.
лабораторная работа, добавлен 09.01.2009Определение плоскости комплексного переменного, последовательностей комплексных чисел и пределов последовательностей. Дифференцирование функций, условия Коши, интеграл от функции. Числовые и степенные ряды, разложение функций, операционные исчисления.
курсовая работа, добавлен 17.11.2010Возникновение и развитие числовых сравнений и сравнений высших степеней с одним неизвестным. Методы решения сравнений высшей степени с одним неизвестным. Двучленные сравнения высшей степени. Использование критерия Эйлера. Квадратичный закон взаимности.
курсовая работа, добавлен 11.09.2012Логические константа и переменная. Последовательность выполнения логических операций в логических формулах. Логическая информация и основы логики. Общие, частные и единичные высказывания. Старшинство логических операций. Импликация и эквивалентность.
курсовая работа, добавлен 27.04.2013Элементы линейной алгебры. Элементы аналитической геометрии и векторной алгебры. Введение в математический анализ. Дифференциальное исчисление функций одной переменной. Дифференциальное исчисление функций нескольких независимых переменных. Интеграл.
методичка, добавлен 02.11.2008Вычисление пределов гиперболических функций. Дифференцирование сложной функции. Разложение гиперболических функций по формуле Тейлора. Свойства неопределенного интеграла, интегрирование функций. Гиперболические функции комплексного переменного.
дипломная работа, добавлен 11.01.2011Преимущества уравнений Лагранжа и их применение. Классификация связей внутри механической системы. Возможные перемещения механической системы и число степеней свободы. Применение уравнений Лагранжа второго рода к исследованию механической системы.
курсовая работа, добавлен 21.08.2009Частные случаи производной логарифмической функции. Производная показательной функции, экспоненты, степенной, тригонометрических функций. Производная синуса, косинуса, тангенса, котангенса, арксинуса. Производные обратных тригонометрических функций.
презентация, добавлен 21.09.2013Определение и простейшие свойства измеримой функции. Дальнейшие свойства измеримых функций. Последовательности измеримых функций. Сходимость по мере. Структура измеримых функций. теоремы о приближении измеримых функций.
курсовая работа, добавлен 28.05.2007Свойства алгебры Жегалкина. Действия с логическими константами (нулём и единицей). Свойства элементарных булевых функций, задаваемых логическими операциями. Способы построения полиномов с помощью таблиц истинности (метод неопределенных коэффициентов).
курсовая работа, добавлен 28.11.2014Основные формы мышления: понятия, суждения, умозаключения. Сочинение Джорджа Буля, в котором подробно исследовалась логическая алгебра. Значение истинности (т.е. истинность или ложность) высказывания. Логические операции инверсии (отрицания) и конъюнкции.
презентация, добавлен 14.12.2016Производные функций, заданных в явном и неявном виде. Исследование функций методами дифференциального исчисления. Точки перегиба и экстремума, градиент функции. Объем тела, образованного вращением фигуры и ограниченной графиками функций, вокруг оси.
контрольная работа, добавлен 11.07.2013- 38. Алгебра логики
Основные аксиомы и тождества алгебры логики. Аналитическая форма представления булевых функций. Элементарные функции алгебры логики. Функции алгебры логики одного аргумента и формы ее реализации. Свойства, особенности и виды логических операций.
реферат, добавлен 06.12.2010 Вычисление пределов функций, производных функций с построением графика. Вычисление определенных интегралов, площади фигуры, ограниченной графиками функций. Общее решение дифференциального уравнения, его частные решения. Исследование сходимости ряда.
контрольная работа, добавлен 17.07.2008Понятие числовых функций с областью определения, аргумент и области их значений, свойства и графическое выражение. Определение четных и нечетных функций, периодичность тригонометрических функций. Свойства, используемые при построении их графиков.
презентация, добавлен 13.12.2011Аппроксимация функций методом наименьших квадратов. Описание программного средства: спецификация переменных, процедур и функций, схемы алгоритмов. Реализация расчетов в системе Mathcad. Порядок составления графика в данной среде программирования.
курсовая работа, добавлен 09.05.2011Условия существования предела в точке. Расчет производных функции, заданной параметрически. Нахождение точки экстремума, промежутков возрастания и убывания функций, выпуклости вверх и вниз. Уравнение наклонной асимптоты. Точка локального максимума.
курсовая работа, добавлен 09.12.2013Система линейных неравенств, определяющих треугольник. Доказательство базиса четырехмерного пространства и определение координат вектора. Исследование функций на периодичность, монотонность и экстремум. Площади фигуры, ограниченной графиками функций.
контрольная работа, добавлен 26.01.2010Роль интерполяции функций, значения которой совпадают со значениями заданной функции в некотором числе точек. Интерполирование функции полиномами, непосредственно непрерывных функций на отрезке и в точке. Определение понятия погрешности интерполяции.
курсовая работа, добавлен 10.04.2011Изучение булевых функций. Алгоритм представления булевых функций в виде полинома Жегалкина. Система функций множества. Алгебраические преобразования, метод неопределенных коэффициентов. Таблица истинности для определенного количества переменных.
курсовая работа, добавлен 27.04.2011Основные свойства функций, для которых существуют пределы. Понятие бесконечно малых величин и их суммы. Предел алгебраической суммы, разности и произведения конечного числа функций. Предел частного двух функций. Нахождение предела сложной функции.
презентация, добавлен 21.09.2013Дифференциальное исчисление функции одной переменной: определение предела, асимптот функций и глобальных экстремумов функций. Нахождение промежутков выпуклости и точек перегиба функции. Примеры вычисления неопределенного интеграла, площади плоской фигуры.
задача, добавлен 02.10.2009Понятие функции в древнем мире: Египет, Вавилон, Греция. Графическое изображение зависимостей, история возникновения. Вклад в развитие графиков функций Рене Декартом. Определение функций: понятие и способы задания. Методы построения графиков функций.
реферат, добавлен 09.05.2009Появление понятия функций Ляпунова. Развитие теории устойчивости движения. Применение функций Ляпунова к исследованию продолжимости решений дифференциальных уравнений. Методы построения функций Ляпунова, продолжимость решений уравнений третьего порядка.
дипломная работа, добавлен 29.01.2010Литералы рассуждения и вопрос об их отрицаниях. Математическая модель отрицания для рассуждения, содержащего связную совокупность суждений. Отрицания в математической логике и дополнения в алгебре множеств. Интерпретации формул математической логики.
контрольная работа, добавлен 03.09.2010