Лекции по теории алгоритмов

Понятие алгоритма, неформальная вычислимость. Частично-рекурсивные функции. Элементарная арифметика и неполнота. Арифметические функции и отношения. Варианты теории чисел. Теорема и последовательность Гудстейна. Задачи разрешения и задачи оптимизации.

Рубрика Математика
Вид учебное пособие
Язык русский
Дата добавления 07.04.2016
Размер файла 852,5 K

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

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


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

  • Алгебра логики, булева алгебра. Алгебра Жегалкина, педикаты и логические операции над ними. Термины и понятия формальных теорий, теорема о дедукции, автоматическое доказательство теорем. Элементы теории алгоритмов, алгоритмически неразрешимые задачи.

    курс лекций [652,4 K], добавлен 29.11.2009

  • Основные определения математической логики, булевы и эквивалентные функции. Общие понятия булевой алгебры. Алгебра Жегалкина: высказывания и предикаты. Определение формальной теории. Элементы теории алгоритмов, рекурсивные функции, машина Тьюринга.

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

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

    курсовая работа [200,4 K], добавлен 15.05.2015

  • Основное понятие теории положительных (натуральных) чисел. Развитие стенографии для операций арифметики. Символический язык для делимости. Свойства и алгебра сравнений. Возведение сравнений в степень. Повторное возведение в квадрат. Малая теорема Ферма.

    презентация [763,4 K], добавлен 04.06.2014

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

    контрольная работа [404,7 K], добавлен 04.05.2015

  • Доказательство существования или отсутствия алгоритма для решения поставленной задачи. Определение алгоритмической неразрешимости задачи. Понятия суперпозиции функций и рекурсивных функций. Анализ схемы примитивной рекурсии и операции минимизации.

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

  • Описание случайных ошибок методами теории вероятностей. Непрерывные случайные величины. Числовые характеристики случайных величин. Нормальный закон распределения. Понятие функции случайной величины. Центральная предельная теорема. Закон больших чисел.

    реферат [146,5 K], добавлен 19.08.2015

  • Начала математической теории. Арифметика узлов, их классификация. Свойства неальтернированных узлов; преобразование Рейдемейстера. Арифметические операции с математическими узлами. Разложение составного узла. Алгоритм полного перебора с заполнением.

    презентация [1,6 M], добавлен 13.04.2016

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

    творческая работа [123,8 K], добавлен 04.09.2010

  • Теорема Бернулли как простейшая форма закона больших чисел. Предельные теоремы теории вероятностей и объяснение природы устойчивости частоты появлений события. Качественные и количественные утверждения закона больших чисел, его практическое применение.

    курсовая работа [75,2 K], добавлен 17.12.2009

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

    контрольная работа [35,1 K], добавлен 14.11.2010

  • Понятие и специфика Аддитивной теории чисел, ее содержание и значение. Описание основных проблем Аддитивной теории чисел: Варинга, Гольдбаха, Титчмарша. Методы решения данных проблем: редукция к производящим функциям, исследование структуры множеств.

    курсовая работа [150,0 K], добавлен 18.12.2010

  • Знакомство с Пьером де Ферма - французским математиком, одним из создателей аналитической геометрии, математического анализа, теории вероятностей и теории чисел. Разработка способов систематического нахождения всех делителей числа. Великая теорема Ферма.

    презентация [389,1 K], добавлен 16.12.2011

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

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

  • Изучение процесса появления действительных чисел, которые стали основой арифметики, а также способствовали возникновению рациональных и иррациональных чисел. Арифметика в трудах мыслителей Древней Греции. И. Ньютон и определение действительного числа.

    реферат [16,4 K], добавлен 15.10.2013

  • Типы бинарных отношений. Изображение графов в виде схемы. Цикл в графе, совпадение его начальной и конечной вершины. Понятие достижимости в теории графов, их математические свойства. Частично упорядоченное множество как один из типов бинарного отношения.

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

  • Теория задач на отыскание наибольших и наименьших величин. Достаточные условия экстремума. Решение гладкой конечномерной задачи с ограничениями типа равенств и неравенств. Конечномерная теорема об обратной функции. Доказательство теоремы Вейштрасса.

    курсовая работа [148,9 K], добавлен 19.06.2012

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

    курсовая работа [2,2 M], добавлен 08.08.2012

  • Поиск оптимальных значений некоторых параметров в процессе решения задачи оптимизации. Сравнение двух альтернативных решений с помощью целевой функции. Теорема Вейерштрасса. Численные методы поиска экстремальных значений функций. Погрешность решения.

    презентация [80,6 K], добавлен 18.04.2013

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

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

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