1: Элементы теории алгоритмов 34. Уточнение понятия алгоритма 35. Алгоритмически неразрешимые задачи 36. Сложность вычислений 37. Доказательство правильности программ
2: Элементы теории алгоритмов 34. Уточнение понятия алгоритма
3: Зачем уточнять определение?
4: Зачем уточнять определение?
5: Что такое алгоритм?
6: Как работает алгоритм?
7: Как работает алгоритм?
8: Эквивалентные алгоритмы
9: Универсальные исполнители
10: Универсальные исполнители
11: Универсальные исполнители
12: Машина Тьюринга
13: Что такое автомат?
14: Программа для машины Тьюринга
15: Программа для машины Тьюринга
16: Программа для машины Тьюринга
17: Программа для машины Тьюринга
18: Программа для машины Тьюринга
19: Программы для машины Тьюринга
20: Программы для машины Тьюринга
21: Машина Поста
22: Программа для машины Поста
23: Программы для машины Поста
24: Программы для машины Поста
25: Нормальные алгорифмы Маркова (НАМ)
26: Нормальные алгорифмы Маркова (НАМ)
27: Нормальные алгорифмы Маркова
28: Нормальные алгорифмы Маркова
29: Элементы теории алгоритмов 35. Алгоритмически неразрешимые задачи
30: Вычислимые функции
31: Вычислимые функции
32: Вычислимые функции
33: Алгоритмически неразрешимые задачи
34: Алгоритмически неразрешимые задачи
35: Алгоритмически неразрешимые задачи
36: Элементы теории алгоритмов 36. Сложность вычислений
37: Что такое сложность вычислений?
38: Временнáя сложность
39: Временнáя сложность
40: Сравнение алгоритмов по сложности
41: Асимптотическая сложность
42: Асимптотическая сложность
43: Асимптотическая сложность
44: Асимптотическая сложность
45: Алгоритмы поиска
46: Алгоритмы поиска
47: Алгоритмы сортировки
48: Алгоритмы сортировки
49: Алгоритмы сортировки
50: Элементы теории алгоритмов 37. Доказательство правильности программ
51: Как доказать правильность программы?
52: Доказательное программирование
53: Алгоритм Евклида
54: Инвариант цикла
55: Инвариант цикла
56: Инвариант цикла
57: Быстрое возведение в степень
58: Быстрое возведение в степень
59: Доказательное программирование
60: Спецификации алгоритмов
61: Доказательное программирование
62: Конец фильма
63: Источники иллюстраций