Понятие предиката. Множество истинности предиката. Классификация предикатов
Определение машины Тьюринга и особенности ее применения к словам, принципы конструирования. Правильная вычислимость функций на машине Тьюринга, ее композиция. Современные электронно-вычислительные машины, анализ и оценка их функциональных возможностей.
Подобные документы
Современные качественные исследования устойчивости. Условия потенциальности Гельмгольца для ДУЧП с отклоняющимися аргументами. Вариационные принципы для непотенциальных операторов. Итоги науки и техники. Современные проблемы математики.
реферат, добавлен 19.10.2005- 102. Основы комбинаторики
Определение понятий множества и факториала. Условия равности двух кортежей. Содержание основных разделов комбинаторики - перечислительного, экстремального и вероятностного. Сущность теории Рамсея. Сведения о размещении, перестановке и сочетании элементов.
реферат, добавлен 21.02.2012 - 103. Призмы
Определение призмы как геометрической фигуры. Свойства призмы, нормальное сечение. Правильная призма – призма, в основании которой лежит правильный многоугольник, а боковые рёбра перпендикулярны основаниям. Диагональное сечение. Элементы призм и ее виды.
презентация, добавлен 19.09.2011 Понятие пирамиды, ее математическое обоснование, отражение в науке и искусстве. Принцип Кавальери. Сечение пирамиды как многоугольника, который образуется при пересечении пирамиды с секущей плоскостью. Правильная пирамида и ее основополагающие свойства.
презентация, добавлен 18.04.2014Ф.В. Бессель как немецкий математик и астроном XIX века. Описание уравнения Бесселя, его свойства и функции, характеристика частных случаев. Ортогональность функций Бесселя и их корни. Направления применения теории данных функций к анализу скин-эффекта.
курсовая работа, добавлен 21.08.2012Нахождение производных функций. Определение наибольшего и наименьшего значения функции. Область определения функции. Определение интервалов возрастания, убывания и экстремума. Интервалы выпуклости, вогнутости и точки перегиба. Производные второго порядка.
контрольная работа, добавлен 07.02.2015Синтез вариационного исчисления и метода функций Ляпунова в основе принципа динамического программирования. Метод знакопостоянных функций Ляпунова в решении задач о стабилизации и синтезе управления для нелинейной и автономной управляемых систем.
курсовая работа, добавлен 17.06.2011Структура и принципы решения линейных уравнений. Метод Крамера и Гаусса, Ньютона, половинного деления, секущих. Отличительные особенности и условия применения графического метода. Содержание теоремы Штурма. Принципы и основные этапы поиска интервалов.
реферат, добавлен 30.03.2019Функциональное уравнение как уравнение, в котором неизвестными являются функции (одна или несколько). Общая характеристика функциональных уравнений, определяющих показательную, логарифмическую и степенную функцию. Свойства их нетривиальных решений.
контрольная работа, добавлен 07.10.2011- 110. Степенные ряды
Определение степенного ряда. Теорема Абеля как определение структуры области сходимости степенного ряда. Свойства степенных рядов. Ряды Тейлора, Маклорена для функций. Разложение некоторых элементарных функций в ряд Маклорена. Приложения степенных рядов.
реферат, добавлен 08.06.2010 Алгоритм упорядочивания множества. Определение декартового произведения, его графическая интерпретация. Обратное декартово произведение множеств. Проецирование на оси координат и на координатные плоскости. Область определения и область значений.
лекция, добавлен 18.12.2013Виды и методы решения функциональных уравнений, изучаемых в школьном курсе математики, с применением теории матриц, элементов математического анализа и сведения функционального уравнения к известному выражению с помощью замены переменной и функции.
курсовая работа, добавлен 07.02.2016Исследование методами математического анализа поведения функций при заданных значениях аргумента. Этапы решения уравнения функции и определения значения аргумента и параметра. Построение графиков. Сочетание тригонометрических, гиперболических функций.
контрольная работа, добавлен 20.08.2010Определение количества способов, которыми можно выбрать трех дежурных из группы в 20 человек. Построение таблицы истинности без предварительного упрощения функции по данному логическому выражению. Упрощение логических выражений с помощью карты Карно.
контрольная работа, добавлен 25.08.2013Теоретические аспекты применения правил Лопиталя. Определение предела функции в точке. Понятия бесконечно большой и бесконечно малой функций. Рассмотрение содержания теорем о дифференцируемых функциях. Раскрытие неопределенностей по правилу Лопиталя.
курсовая работа, добавлен 30.12.2021Особенности применения степенных рядов для вычислений с различной степенью точности значений функций и определенных интегралов. Рассмотрение примеров решения ряда задач этим математическим методом с условием принятия значений допустимой погрешности.
презентация, добавлен 18.09.2013Вычисление пределов гиперболических функций. Дифференцирование сложной функции. Разложение гиперболических функций по формуле Тейлора. Свойства неопределенного интеграла, интегрирование функций. Гиперболические функции комплексного переменного.
дипломная работа, добавлен 11.01.2011Возникновение комбинаторики как раздела математики. Исследование на практических примерах особенностей чисел размещений с повторениями и без них. Анализ задач, решение которых опирается на правила комбинаторики и относящиеся к ней вычислительные формулы.
курсовая работа, добавлен 05.01.2018Частные случаи производной логарифмической функции. Производная показательной функции, экспоненты, степенной, тригонометрических функций. Производная синуса, косинуса, тангенса, котангенса, арксинуса. Производные обратных тригонометрических функций.
презентация, добавлен 21.09.2013Понятие и содержание равносильных уравнений, факторы их оценивания. Теорема о равносильности уравнений и ее доказательство. Причины и пути приобретения посторонних корней при разрешении данных уравнений. Нахождение и сравнение множества решений.
презентация, добавлен 26.01.2011Выпуклые многогранники и их "ежи". Понятие опорной плоскости и ее свойства. Пересечение конечного числа полупространств. Множество векторов в пространстве. Многогранники с центрально-симметричными гранями и центрально-симметричные многогранники.
презентация, добавлен 22.04.2013Объединенная классификация суждений, их анализ и практическое применение круговых схем Эйлера. Установление вида сложного суждения, оценка его составных частей и составление его логической схемы. Определение формально-логического закона и его нарушений.
контрольная работа, добавлен 26.08.2011Понятие метрического и топологического пространства. Расстояние между множествами. Диаметр множества. Непрерывные отображения. Гомеоморфизм. Вектор-функция скалярного аргумента. Понятия пути и кривой. Гладкая и регулярная кривая, замена параметра.
курс лекций, добавлен 02.06.2013Идея и возможности вейвлет-преобразования. Свойства вейвлетов: непрерывное прямое и обратное образование. Понятие и оценка преимуществ, сферы применения дискретного вейвлет-преобразования. Поиск изображений по образцу. Многомасштабное редактирование.
курсовая работа, добавлен 27.04.2011Квантовый гармонический осциллятор. Уравнение Шредингера и методы его решения. Решение уравнения через полиномы Эрмита. Особенности волновых функций. Метод обобщенных степеней Берса. ОСБ и их графики для конкретного случая. Анализ полученных функций.
реферат, добавлен 10.03.2013