Практикум по теории алгоритмов

: Информация
Опубликована: 22.04.2015 | Уровень: для всех | Стоимость: 490.00 руб. | Длительность: 
Практикум посвящен решению задач по теории алгоритмов.
Рассматриваются машина Тьюринга, теория конечных автоматов, формальные системы и грамматики, логика и исчисление предикатов.

План занятий

ЗанятиеЗаголовок <<Дата изучения
Лекция 1
Понятие алгоритма. Классификация алгоритмических моделей. Знакомство с машиной Тьюринга
В начале лекции рассказывается об истории возникновения математики, формировании понятий "Доказательство" и "Вычисление". Определяется понятие "Алгоритм", приводятся основные требования, предъявляемые к алгоритму. Во второй половине лекции рассказывается о классификации алгоритмических моделей, начинается знакомство с машинами Тьюринга.
Оглавление
    		-
    Лекция 2
    Машина Тьюринга. Вычислимость. Примеры. Способы задания
    В начале лекции обсуждается понятие вычислимости. Далее приводится описание, способы задания, указываются особенности программирования машин Тьюринга (МТ). Рассматриваются основные операции над МТ, доказывается теорема о существовании универсальной МТ.
    Оглавление
      		-
      Лекция 3
      Машина Тьюринга
      Оглавление
        		-
        Лекция 4
        		 -
        Лекция 5
        Рекурсивные функции
        Лекция посвящена введению в теорию рекурсивных функций. Дается определение, рассматриваются примеры, способы задания рекурсивных функций, формулируются и доказываются соответствующие теоремы.
        Оглавление
          		-
          Лекция 6
          		 -
          Лекция 7
          		 -
          3 минуты
          		 -