Элементы теории алгоритмов [4/4] // Александр Шень

План лекций: Доказуемость и недоказуемость (почему некоторые утверждения нельзя ни доказать, ни опровергнуть?); Вычислимые функции (почему некоторые функции нельзя вычислить на компьютере?); Сложность алгоритмов; Формальные языки и исчисления. Шень Александр Ханиевич — кандидат физико-математических наук. Летняя школа «Современная математика», г. Дубна 20-23 июля 2004 г.