Илья Мещерин: Машина Тьюринга
В Кочерге продолжается цикл семинаров по теории алгоритмов — науке, которая является связующим звеном между программированием и абстрактной математикой.
На этой лекции мы дадим формальное определение алгоритма как машины Тьюринга, обсудим эту вычислительную модель и докажем, что некоторые функции алгоритмически невычислимы (то есть существуют алгоритмически неразрешимые проблемы).
Для понимания требуется лишь знание основ логики и теории множеств.
Ведущий — Илья Мещерин, студент 6 курса кафедры дискретной математики МФТИ.
kocherga.timepad.ru/event/663882
vk.com/kocherga_math?w=wall-103194586_95
Watch video Илья Мещерин: Машина Тьюринга online without registration, duration hours minute second in high quality. This video was added by user Кочерга 19 February 2018, don't forget to share it with your friends and acquaintances, it has been viewed on our site 4,520 once and liked it 114 people.