Алгоритмы и теория вычислений

1. Понятие алгоритма.	Длительность: 72 минут
1.1 Понятие алгоритма. Классификация алгоритмических моделей	Видео

2. Машина Тьюринга.	Длительность: 147 минут
2.1 Машина Тьюринга. Вычислимость. Примеры. Способы задания	Видео
2.2 Рекурсивные функции	Видео

3. Разрешимые и перечисляемые множества.	Длительность: 207 минут
3.1 Введение в теорию конечных автоматов	Видео
3.2 Свойства и варианты конечных автоматов	Видео
3.3 Алгоритмические возможности конечных автоматов. Сети Петри	Видео

4. Формальные системы.	Длительность: 140 минут
4.1 Свойства, интерпретация, моделирование	Видео
4.2 Формальные грамматики	Видео

5. Логика	Длительность: 265 минут
5.1 Исчисления высказываний и исчисление предикатов	Видео
5.2 Метатеория. Введение в исчисление предикатов	Видео
5.3 Интерпретация и полнота исчисления предикатов	Видео
5.4 Метод резолюций в исчислении высказываний и исчислении предикатов	Видео