Усиление метода выделения переменных при решении логических уравнений за счет выбора функций для приведения из числа обновленных на предыдущих шагах и декомпозиции промежуточных результатов

Особенность модификации метода выделения переменных, уменьшающая сложность получаемых промежуточных форм за счет реализации выделения группы переменных последовательностью шагов, называемых циклами. Проведение исследования получения пустого множества.

Рубрика Математика
Предмет Математика
Вид статья
Язык русский
Прислал(а) incognito
Дата добавления 07.11.2018
Размер файла 902,5 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.


Подобные документы

  • Методы решений иррациональных уравнений. Метод замены переменных. Линейные комбинации двух и более радикалов. Уравнение с одним радикалом. Умножение на сопряженное выражение. Метод решения уравнений путем выделения полных квадратов под знаком радикала.

    контрольная работа [116,6 K], добавлен 15.02.2016

  • Понятие функции нескольких переменных. Аргументы, частное значение и область применения функции. Рассмотрение функции двух и трех переменных. Предел функции нескольких переменных, теорема. Главная сущность непрерывности функции нескольких переменных.

    реферат [86,3 K], добавлен 30.10.2010

  • Понятия зависимой, независимой переменных, области определения функции. Примеры нахождения области функции. Примеры функций нескольких переменных: линейная, квадратическая, функция Кобба-Дугласа. Построение графика и линии уровня функции двух переменных.

    презентация [104,8 K], добавлен 17.09.2013

  • Приведение уравнений к специальному виду. Устойчивость переменных с одним нулевым и парой чисто мнимых корней в частном случае. Критический случай двух пар чисто мнимых корней. Уменьшение числа рассматриваемых переменных в относительной устойчивости.

    курсовая работа [1,4 M], добавлен 25.07.2015

  • Примеры неравенств, доказываемых техникой одномонотонных последовательностей. Обоснование данного метода для случая с произвольным числом переменных. Доказательство неравенств с минимальным числом переменных. Сравнение метода с доказательством Коши.

    реферат [132,8 K], добавлен 05.02.2011

  • Функция многих переменных. Предел и непрерывность функции многих переменных. Частные производные. Дифференцируемость функции. Производная в направлении. Градиент. Локальные экстремумы. Интегральное исчисление функций. Неопределённный интеграл.

    курс лекций [309,0 K], добавлен 08.04.2008

  • Сущность графического метода нахождения оптимального значения целевой функции. Особенности и этапы симплексного метода решения задачи линейного программирования, понятие базисных и небазисных переменных, сравнение численных значений результатов.

    задача [394,9 K], добавлен 21.08.2010

  • Методы решения систем линейных уравнений. Метод Якоби в матричной записи. Достоинство итерационного метода верхних релаксаций, вычислительные погрешности. Метод блочной релаксации. Разбор метода релаксаций в системах линейных уравнений на примере.

    курсовая работа [209,1 K], добавлен 27.04.2011

  • Определение и примеры симметрических многочленов от трех и нескольких переменных. Решение систем уравнений с тремя неизвестными. Освобождение от иррациональности в знаменателе. Разложение на множители. Основная теорема об антисимметрических многочленах.

    курсовая работа [303,5 K], добавлен 12.04.2012

  • Определение точки экстремума для функции двух переменных. Аналог теоремы Ферма. Критические, стационарные точки. Теорема "Достаточное условие экстремума", доказательство. Схема исследования функции нескольких переменных на экстремум, практический пример.

    презентация [126,2 K], добавлен 17.09.2013

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.