x, y, z

Элементы теории алгоритмов

Александр Шень

Комментарии: 0
Часть 1

Часть 2

Часть 3

Часть 4

План лекций:
Доказуемость и недоказуемость (почему некоторые утверждения нельзя ни доказать, ни опровергнуть?);
Вычислимые функции (почему некоторые функции нельзя вычислить на компьютере?);
Сложность алгоритмов;
Формальные языки и исчисления.

Шень Александр Ханиевич, кандидат физико-математических наук.

Летняя школа «Современная математика», г. Дубна
20-23 июля 2004 г.
Комментарии: 0