Илья Мещерин: Машина Тьюринга
В Кочерге продолжается цикл семинаров по теории алгоритмов — науке, которая является связующим звеном между программированием и абстрактной математикой.
На этой лекции мы дадим формальное определение алгоритма как машины Тьюринга, обсудим эту вычислительную модель и докажем, что некоторые функции алгоритмически невычислимы (то есть существуют алгоритмически неразрешимые проблемы).
Для понимания требуется лишь знание основ логики и теории множеств.
Ведущий — Илья Мещерин, студент 6 курса кафедры дискретной математики МФТИ.
kocherga.timepad.ru/event/663882
vk.com/kocherga_math?w=wall-103194586_95
Watch video Илья Мещерин: Машина Тьюринга online, duration hours minute second in high quality that is uploaded to the channel Кочерга 19 February 2018. Share the link to the video on social media so that your subscribers and friends will also watch this video. This video clip has been viewed 4,520 times and liked it 114 visitors.
