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