Илья Мещерин: Машина Тьюринга
В Кочерге продолжается цикл семинаров по теории алгоритмов — науке, которая является связующим звеном между программированием и абстрактной математикой.
На этой лекции мы дадим формальное определение алгоритма как машины Тьюринга, обсудим эту вычислительную модель и докажем, что некоторые функции алгоритмически невычислимы (то есть существуют алгоритмически неразрешимые проблемы).
Для понимания требуется лишь знание основ логики и теории множеств.
Ведущий — Илья Мещерин, студент 6 курса кафедры дискретной математики МФТИ.
kocherga.timepad.ru/event/663882
vk.com/kocherga_math?w=wall-103194586_95
Смотрите видео Илья Мещерин: Машина Тьюринга онлайн без регистрации, длительностью часов минут секунд в хорошем качестве. Это видео добавил пользователь Кочерга 19 Февраль 2018, не забудьте поделиться им ссылкой с друзьями и знакомыми, на нашем сайте его посмотрели 4,520 раз и оно понравилось 114 людям.