Вычислимость и алгоритм

1. Вычислимость и алгоритм
С. С. Сысоев
кандидат физико-математических наук,
доцент кафедры системного программирования

2. План занятия
О чем этот курс?
Вычисления. Информация.
Характеристики вычислительной системы.
Цель вычислений. Универсальность и алгоритм.
Классы P, NP, NPC.
Квантовые вычисления.
Структура курса.
Контринтуитивность квантовых явлений.
Многомировая интерпретация квантовой
механики.
6
7
8
9
2
3
4
1
5

3. Цель вычислений – ?

4. Цель вычислений –
определение значений некоторой функции.

5. Алгоритм

6. Детерминированная
машина Тьюринга.
Алан Тьюринг
(1912–1954)
Алгоритм

7. Детерминированная
машина Тьюринга.
Тезис Чёрча-Тьюринга:
репертуар любого
вычислительного устройства
входит в репертуар
универсальной
машины Тьюринга.
Алан Тьюринг
(1912–1954)
Алгоритм

8. Вычислимость

9. Вычислимость
Сколько всего DTM?1

10. Вычислимость
Сколько всего DTM?
Сколько всего дискретных функций?
1
2

11. Вычислимость
Сколько всего DTM?
Сколько всего дискретных функций?
Проблема останова.
1
2
3

12. Используемые источники
1. https://commons.wikimedia.org/wiki/File:Alan_Turing_Aged_16.jpg