# 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
1. Clicking ▼&► to (un)fold the tree menu may facilitate locating what you want to find. 2. Videos embedded here do not necessarily represent my viewpoints or preferences. 3. This is just one of my several websites. Please click the category-tags below these two lines to go to each independent website.
No comments:
Post a Comment