Илья Мещерин: Машина Тьюринга

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