Рекурсивные функции
Доказательство существования или отсутствия алгоритма для решения поставленной задачи. Определение алгоритмической неразрешимости задачи. Понятия суперпозиции функций и рекурсивных функций. Анализ схемы примитивной рекурсии и операции минимизации.
Подобные документы
Основные определения математической логики, булевы и эквивалентные функции. Общие понятия булевой алгебры. Алгебра Жегалкина: высказывания и предикаты. Определение формальной теории. Элементы теории алгоритмов, рекурсивные функции, машина Тьюринга.
курс лекций, добавлен 08.08.2011Графический и симплексный методы решения ОЗЛП. Построение функции цели, образующая совместно с системой ограничений математическую модель экономической задачи. Нахождение неотрицательного решения системы линейных уравнений. Решение транспортной задачи.
лабораторная работа, добавлен 10.04.2009Основные теоремы дифференциального исчисления: Ферма, Ролля, Коши, Лагранжа и их доказательство. Локальные экстремумы функции, исследование ее на выпуклость и вогнутость, понятие точки перегиба. Асимптоты и общая схема построения графика функции.
реферат, добавлен 12.06.2010Построение графа и таблицы поведения автомата. Нахождение системы булевых функций для возбуждения JK-триггеров, реализующих функции y. Определение булевой функции для реализации функции j. Составление логической схемы автомата, кодирование данных.
курсовая работа, добавлен 27.04.2011Разложение в ряд Фурье. Определение функции и нахождение коэффициентов разложения. Проведение замены в интеграле. Условия теоремы о разложении функции в ряд Фурье. Примеры взятия интеграла по частям. Разложение в ряд Фурье четных и нечетных функций.
презентация, добавлен 18.09.2013- 81. Функции Бесселя
Изложение теории бесселевых функций, их приложения к уравнениям математической физики. Виды цилиндрических функций. Применение бесселевых функций в математической физике на примере некоторых задач. Уравнение Лапласа в цилиндрических координатах.
дипломная работа, добавлен 09.10.2011 Алгебра логики, булева алгебра. Алгебра Жегалкина, педикаты и логические операции над ними. Термины и понятия формальных теорий, теорема о дедукции, автоматическое доказательство теорем. Элементы теории алгоритмов, алгоритмически неразрешимые задачи.
курс лекций, добавлен 29.11.2009Понятие функционала и оператора. Задачи, приводящие к экстремуму функционала, и необходимые условия его минимума. Связь между вариационной и краевой задачами. Функционалы, зависящие от нескольких функций. Вариационные задачи с подвижными границами.
курсовая работа, добавлен 23.05.2010Локальные экстремумы функции. Теоремы дифференциального исчисления: Ферма, Ролля, Коши, Лагранжа. Достаточные условия экстремума функции. Исследование функций на выпуклость и вогнутость. Точка перегиба. Асимптоты графика функции. Схема построения графика.
курс лекций, добавлен 27.05.2010Обзор таблицы производных элементарных функций. Понятие промежуточного аргумента. Правила дифференцирования сложных функций. Способ изображения траектории точки в виде изменения ее проекций по осям. Дифференцирование параметрически заданной функции.
контрольная работа, добавлен 11.08.2009Введение новых динамических систем и их решений, специальных функций эллиптических и тета-функций, зависящих от одного параметра, разложение эллиптических функций Якоби в ряды Фурье (теоремы разложения). Рассмотрение их связи с функцией Вейерштрасса.
курсовая работа, добавлен 26.04.2011- 87. Предел функций
Определение второго замечательного предела. Понятие бесконечно малых функций. Математическое описание непрерывности зависимости одной переменной величины от другой в точке. Точки разрыва функции. Свойства и непрерывность ее в интервале и на отрезке.
презентация, добавлен 14.11.2014 Построение таблицы поведения автомата и соответствующего графа. Нахождение системы булевых функций для возбуждения T-триггеров, реализующих функции "пси". Определение булевой функции для реализации функции "фи". Составление логической схемы автомата.
курсовая работа, добавлен 27.04.2011Основные правила преобразования графиков на примерах элементарных функций: преобразование симметрии, параллельный перенос, сжатие и растяжение. Построение графиков сложных функций с помощью последовательных преобразований графиков элементарных функций.
презентация, добавлен 16.11.2010Линейные операции над векторами. Уравнение прямой, проходящей через две точки. Варианты решений систем линейных уравнений. Действия с матрицами. Модель транспортной задачи, ее решение распределительным методом. Исследование функций с помощью производных.
контрольная работа, добавлен 09.10.2011Обзор краевых задач для уравнения смешанного эллептико-гиперболического типа. Доказательство существования единственного решения краевой задачи для одного уравнения гиперболического типа со специальными условиями сопряжения на линии изменения типа.
контрольная работа, добавлен 23.04.2014Изучение способов нахождения пределов функций и их производных. Правило дифференцирования сложных функций. Исследование поведения функции на концах заданных промежутков. Вычисление площади фигуры при помощи интегралов. Решение дифференциальных уравнений.
контрольная работа, добавлен 23.10.2010Ознакомление с теоремами теории аналитических функций. Определение и основные свойства индекса функции. Постановка и методы решения однородной и неоднородной задач Римана для односвязной и многосвязной областей. Принципы нахождения функции сдвига.
курсовая работа, добавлен 20.12.2011Теория задач на отыскание наибольших и наименьших величин. Достаточные условия экстремума. Решение гладкой конечномерной задачи с ограничениями типа равенств и неравенств. Конечномерная теорема об обратной функции. Доказательство теоремы Вейштрасса.
курсовая работа, добавлен 19.06.2012Отражение посредством математической функции связи между какими-либо значениями. Представление числовых функций на рисунках в виде графиков. Особенности алгебраической функции и многочленов. Практическое применение линейных и квадратических функций.
презентация, добавлен 07.10.2014Выбор основного алгоритма решения задачи. Требования к функциональным характеристикам программы. Минимальные требования к составу и параметрам технических средств и к информационной и программной совместимости. Логические модели, блок-схемы алгоритмов.
курсовая работа, добавлен 16.11.2010Нахождение производных функций. Определение наибольшего и наименьшего значения функции. Область определения функции. Определение интервалов возрастания, убывания и экстремума. Интервалы выпуклости, вогнутости и точки перегиба. Производные второго порядка.
контрольная работа, добавлен 07.02.2015Задачи, приводящие к дифференциальным уравнениям. Теорема существования, единственности решения задачи Коши. Общее решение дифференциального уравнения, изображаемое семейством интегральных кривых на плоскости. Способ нахождения огибающей семейства кривых.
реферат, добавлен 24.08.2015Изменение порядка интегрирования функции. Поиск предела интегрирования. Расчет площади фигуры, ограниченной графиками функций. Поиск объема тела, ограниченного поверхностями. Определение производной скалярного поля в точке по направлению вектора.
контрольная работа, добавлен 28.03.2014Исторический обзор формирование тригонометрии как науки. Различные способы введения понятия тригонометрических функций. Анализ школьных учебников М.И. Башмакова и А.Г. Мордковича по данной тематике. Перспективы использования материала для преподавания.
дипломная работа, добавлен 02.07.2011