Рекурсивные функции
Доказательство существования или отсутствия алгоритма для решения поставленной задачи. Определение алгоритмической неразрешимости задачи. Понятия суперпозиции функций и рекурсивных функций. Анализ схемы примитивной рекурсии и операции минимизации.
Подобные документы
Определение МДНФ логической функции устройства различными методами (Квайна, Петрика, неопределенных коэффициентов и др.). Составление алгоритма метода минимизации функции и разработка его рабочих программ. Выполнение синтеза схемы логического устройства.
курсовая работа, добавлен 21.11.2010Понятие генетического алгоритма и механизм минимизации функции многих переменных. Построение графика функции и ее оптимизация. Исследование зависимости решения от вида функции отбора родителей для кроссинговера и мутации потомков, анализ результатов.
контрольная работа, добавлен 04.05.2015Сокращенные, тупиковые дизъюнктивные нормальные формы. Полные системы булевых функций. Алгоритм Квайна, Мак-Класки минимизации булевой функции. Геометрическое представление логических функций. Геометрический метод минимизации булевых функций. Карты Карно.
курсовая работа, добавлен 21.02.2009Вопросы сводимости функций. Символы логических операций: отрицания, конъюнкции, дизъюнкции, импликации. Кванторы общности и существования. Минимальные элементы верхней полурешетки m-степеней. Идеалы полурешетки m-степеней частично рекурсивных функций.
контрольная работа, добавлен 06.05.2009Понятие формальной системы. Основные понятия логики первого порядка. Доказательство неразрешимости проблемы остановки. Машина Тьюринга, ее структура. Вывод неразрешимости логики первого порядка из неразрешимости проблемы остановки и методом Геделя.
курсовая работа, добавлен 16.02.2011Условия возникновения и особенности вычисления функций Матье, характеристика дифференциального уравнения Матье. Алгоритм решения задачи и алгоритмы вычисления радиальных функций эллиптического цилиндра. Определение точности результатов вычисления.
научная работа, добавлен 02.05.2011Метод регуляризующего множителя для решения задачи Гильберта для аналитических функций в случае произвольной односвязной области. Постановка краевой задачи типа Гильберта в классе бианалитических функций, а также решение конкретных примеров задач.
дипломная работа, добавлен 20.05.2013Роль интерполяции функций, значения которой совпадают со значениями заданной функции в некотором числе точек. Интерполирование функции полиномами, непосредственно непрерывных функций на отрезке и в точке. Определение понятия погрешности интерполяции.
курсовая работа, добавлен 10.04.2011Форма для ввода целевой функции и ограничений. Характеристика симплекс-метода. Процесс решения задачи линейного программирования. Математическое описание алгоритма симплекс-метода. Решение задачи ручным способом. Описание схемы алгоритма программы.
контрольная работа, добавлен 06.04.2012Применение метода дополнительного аргумента к решению характеристической системы. Доказательство существования решения задачи Коши. Постановка задачи численного расчёта. Дискретизация исходной задачи и её решение итерациями. Программа и её описание.
дипломная работа, добавлен 25.05.2014Экзаменационные задачи по математике: расчет процентной концентрации раствора; решение уравнений и неравенств; задачи по геометрии, планиметрии и стереометрии; определение тригонометрических функций, вероятности события; нахождение экстремумов функции.
задача, добавлен 28.12.2011В работе рассматриваются доказательства неразрешимости в рациональных ненулевых числах двух систем, которые легко касаются не только чисел, но и распространяются на рациональные функции, что, в конечном счёте, позволяет анализировать решение уравнения.
творческая работа, добавлен 04.09.2010Полнота и замкнутость системы булевых функций. Алгоритм построения таблицы истинности двойственной функции. Класс L линейных функций, сущность полинома Жегалкина. Распознавание монотонной функции по вектору ее значений. Доказательство теоремы Поста.
учебное пособие, добавлен 20.08.2014Математическая формулировка задачи, существующие численные методы и схемы алгоритмов. Интерполирование функции, заданной в узлах, методом Вандермонда. Среднеквадратичное приближение функции. Вычисление интеграла функций по составной формуле трапеций.
курсовая работа, добавлен 14.04.2009Оптимальная настройка параметров "алгоритма отжига" при решении задачи коммивояжера. Влияние начальной температуры, числа поворотов при одной температуре и коэффициента N на результат. Сравнение и определение лучшей функции для расчётов задачи.
контрольная работа, добавлен 20.11.2011Система линейных неравенств, определяющих треугольник. Доказательство базиса четырехмерного пространства и определение координат вектора. Исследование функций на периодичность, монотонность и экстремум. Площади фигуры, ограниченной графиками функций.
контрольная работа, добавлен 26.01.2010Определение и простейшие свойства измеримой функции. Дальнейшие свойства измеримых функций. Последовательности измеримых функций. Сходимость по мере. Структура измеримых функций. теоремы о приближении измеримых функций.
курсовая работа, добавлен 28.05.2007Банаховы функциональные пространства. Постановка краевой задачи и исследование ее однозначной разрешимости и отрицательности функции Грина. Признаки существования решения краевой задачи для нелинейного функционально-дифференциального уравнения.
курсовая работа, добавлен 27.05.2015Методы решения задачи коммивояжера. Математическая модель задачи коммивояжера. Алгоритм Литтла для нахождения минимального гамильтонова контура для графа с n вершинами. Решение задачи коммивояжера с помощью алгоритма Крускала и "деревянного" алгоритма.
курсовая работа, добавлен 30.04.2011- 20. Пределы функций
Нахождение пределов функций. Определение значения производных данных функций в заданной точке. Проведение исследования функций с указанием области определения и точек разрыва, экстремумов и асимптот. Построение графиков функций по полученным данным.
контрольная работа, добавлен 11.03.2015 - 21. Функция Дирака
Определение функции Дирака. Задачи, приводящие к определению дельта-функции Дирака. Математическое определение дельта-функции. Применение функции Дирака. Разрывные функции и их производные. Нахождение производных разрывных функций.
дипломная работа, добавлен 08.08.2007 Рассмотрение понятия тождественного (единичного) оператора. Анализ методов решения линейных однородного и неоднородного уравнений. Ознакомление с определением эрмитовости оператора. Доказательство теоремы о свойствах ортогональности собственных функций.
реферат, добавлен 16.08.2010Исследование методами математического анализа поведения функций при заданных значениях аргумента. Этапы решения уравнения функции и определения значения аргумента и параметра. Построение графиков. Сочетание тригонометрических, гиперболических функций.
контрольная работа, добавлен 20.08.2010Дифференциальное исчисление функции одной переменной: определение предела, асимптот функций и глобальных экстремумов функций. Нахождение промежутков выпуклости и точек перегиба функции. Примеры вычисления неопределенного интеграла, площади плоской фигуры.
задача, добавлен 02.10.2009Понятие функции в древнем мире: Египет, Вавилон, Греция. Графическое изображение зависимостей, история возникновения. Вклад в развитие графиков функций Рене Декартом. Определение функций: понятие и способы задания. Методы построения графиков функций.
реферат, добавлен 09.05.2009