Илья Мещерин: Машина Тьюринга
В Кочерге продолжается цикл семинаров по теории алгоритмов — науке, которая является связующим звеном между программированием и абстрактной математикой.
На этой лекции мы дадим формальное определение алгоритма как машины Тьюринга, обсудим эту вычислительную модель и докажем, что некоторые функции алгоритмически невычислимы (то есть существуют алгоритмически неразрешимые проблемы).
Для понимания требуется лишь знание основ логики и теории множеств.
Ведущий — Илья Мещерин, студент 6 курса кафедры дискретной математики МФТИ.
kocherga.timepad.ru/event/663882
vk.com/kocherga_math?w=wall-103194586_95
Видео Илья Мещерин: Машина Тьюринга канала Кочерга
На этой лекции мы дадим формальное определение алгоритма как машины Тьюринга, обсудим эту вычислительную модель и докажем, что некоторые функции алгоритмически невычислимы (то есть существуют алгоритмически неразрешимые проблемы).
Для понимания требуется лишь знание основ логики и теории множеств.
Ведущий — Илья Мещерин, студент 6 курса кафедры дискретной математики МФТИ.
kocherga.timepad.ru/event/663882
vk.com/kocherga_math?w=wall-103194586_95
Видео Илья Мещерин: Машина Тьюринга канала Кочерга
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
ДОД ФПМИ | Новая программа ПМИ «Информатика» | Илья МещеринМашина Тьюринга - Александр ШеньИлья Мещерин: Курс общей математики. Числа и системы счисления.Машина Тьюринга. Введение. Понятие машины тьюринга. Решение задачиTuring machineBooks for Learning MathematicsШифровальная машина "Энигма" (учебный пример)Машина Тьюринга (видеоурок)15. Простейшие type traits. Вариативные шаблоны.Подкаст Кочерги #9. Андрей Крутиков. Спонсорство Кочерги, буддизм и разработка ИИШоу «Что-то на олимпиадном». Илья МещеринКРУТЕЙШИЙ ЛАЙФХАК ПО ПРОИЗНОШЕНИЮ В АНГЛИЙСКОМ от Айше. Английский алфавит произношениеСергей Попов: "Тёмное вещество"О книге «Неадекватные равновесия». Павел Быков (2021-06-06)Как работает процессор⭐️ Знание о Сознании. Чего не расскажут в школе.Формализация человеческих ценностей и теории принятия решений. Слава Меритон (2021-07-25)Обзор моделей уровней развития личности. Вячеслав Матюхин (2021-09-04)1. Вводная лекция, общие слова, знакомство с компиляторомО книге "Разговор с незнакомцем". Павел Кукушкин (2021-09-19)