Александр Ханиевич Шень

А.Шень планирует провести 2-3 занятия (или больше, в зависимости от запросов слушателей).

Возможные темы:

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

Точная тема курса будет выбрана 19 июля на открытии школы в зависимости от пожеланий слушателей.

Organization Committee e-mail:
dubna@mccme.ru