Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Теорема о неподвижной точке. Машины Тьюринга
Основы вычислимости и теории сложности

Что: Лекция
Когда: Среда, 03 октября 2012, 18:30–19:50
Где: ПОМИ РАН

Описание

Теорема о неподвижной точке. Программа, печатающая свой текст. Доказательство с помощью искусственного языка программирования. Машины Тьюринга. Неразрешимость задачи Поста.