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

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