Видеотека: А. Х. Шень, Занятие 4

ВИДЕОТЕКА


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

Занятие 4

А. Х. Шень

Аннотация: Александр Ханиевич Шень планирует провести 2-3 занятия (или больше, в зависимости от запросов слушателей). Возможные темы:

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

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

Цикл лекций