Вычислимость

10 - У любой функции бесконечно много программ

11 - Отступление: перечислимые неотделимые множества

12 - Теорема о неподвижной точке и её следствия

13 - Доказательства теоремы о неподвижной точке

14 - Самоприменимость, парадокс лжеца, теорема Гёделя

15 - ?-исчисление

16 - Машины Тьюринга. Мотивировка и примеры

17 - Формальное определение машины Тьюринга

18 - Модификации машин Тьюринга и их последствия

19.1 - Оценки времени работы машин Тьюринга

Источник: vk.com

Комментарии: