# You can also click the upper-left icon to select videos from the playlist.
source: НОУ ИНТУИТ 2013年12月29日
Алгоритмы и теория вычислений
Курс и тесты в НОУ "ИНТУИТ" http://www.intuit.ru/studies/courses/555/411/info
Автор: Олег Кузнецов
Курс посвящен знакомству с такими фундаментальными математическими понятиями, как вычисления и доказательство.
Курс предусматривает изучение теории алгоритмов и аксиоматического подхода к математической логике.
Лекция 1: Понятие алгоритма. Классификация алгоритмических моделей 1:11:42 В начале лекции рассказывается об истории возникновения математики, формировании понятий "Доказательство" и "Вычисление". Определяется понятие "Алгоритм", приводятся основные требования, предъявляемые к алгоритму. Во второй половине лекции рассказывается о классификации алгоритмических моделей, начинается знакомство с машинами Тьюринга.
Лекция 2: Машина Тьюринга. Вычислимость. Примеры. Способы задания 1:08:54
Лекция 3: Рекурсивные функции 1:17:57
Лекция 4: Разрешимые и перечисляемые множества. Введение в теорию конечных автоматов 1:08:03
Лекция 5: Свойства и варианты конечных автоматов 1:09:17
Лекция 6: Алгоритмические возможности конечных автоматов. Сети Петри 1:09:45
Лекция 7: Формальные системы. Свойства, интерпретация, моделирование 1:08:11
Лекция 8: Формальные грамматики 1:11:16
Лекция 9: Логика. Исчисления высказываний и исчисление предикатов 1:13:40
Лекция 10: Метатеория. Введение в исчисление предикатов 57:56
Лекция 11: Интерпретация и полнота исчисления предикатов 1:08:23
Лекция 12: Метод резолюций в исчислении высказываний и исчислении предикатов 1:05:10
No comments:
Post a Comment