Вычислимость и логика. Лекция 3
ЛекцияПартнёр:
Предмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
28.09.11
Дата публикации:
28.09.11
Код для блога:
Теорема о неподвижной точки (окончание). Машины Тьюринга
Главные универсальные функции. Вывод теоремы Успенского-Райса из теоремы Клини. Машины Тьюринга. Неразрешимость проблемы равенства слов в полугруппе (выводимости в одностороннем и двустороннем ассоциативном исчислении). Определение примитивно рекурсивных функций.
Страница лекции на сайте Computer Science Center
Другие лекции курса
10