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

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


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

Описание

Главные универсальные функции. Вывод теоремы Успенского-Райса из теоремы Клини. Машины Тьюринга. Неразрешимость проблемы равенства слов в полугруппе (выводимости в одностороннем и двустороннем ассоциативном исчислении). Определение примитивно рекурсивных функций.

Видео