Партнерка на США и Канаду по недвижимости, выплаты в крипто

  • 30% recurring commission
  • Выплаты в USDT
  • Вывод каждую неделю
  • Комиссия до 5 лет за каждого referral

ТЕОРИЯ АЛГОРИТМОВ

с. н.с.

3 курс, философский факультет

1. Общие представления об алгоритмах. Примеры: умножения у египтян, способы умножения и деления, приводимые Л. Пачоли.

2. Алфавиты. Слова в алфавите. Пример умножения в алфавите А = í1, *, +ý. Нормальный алгоритм Маркова. Виды подстановок. Примеры нормальных алгоритмов Маркова. Тезис Маркова.

3. Алгоритмы Тьюринга. Вычислимость по Тьюрингу.

4. Рекурсивные функции. Исходные функции. Правила построения функций из уже полученных ранее. Теоремы о введении фиктивной переменной и о перестановке переменных. Примеры примитивно рекурсивных функций. Ограниченные суммы и произведения функций. Примитивно рекурсивные отношения. Ограниченные кванторы общности и существования. Условия их примитивной рекурсивности. Ограниченный оператор минимизации. Представление об обще рекурсивных и частично рекурсивных функциях. Тезис Черча.

5. Ассоциативные исчисления. Примеры алгоритмически неразрешимых проблем.

Литература

1. ведение в математическую логику. Пер. с англ., 1976 (или любое другое изд.), гл.3, 2,3; гл.5, 1,2,4.

2. Марков алгоритмов.// Труды Матем. Ин-та АН СССР им. , 1954, т. 42 или , Нагорный алгоритмов.

3. , Семенов алгоритмов: Основные открытия и приложения. М., 1987.