Введение в математическую логику 13. Ассоциативные исчисления, проблема достижимости

00:00:00 - Начало 00:01:50 - m-сводимость 00:05:37 - Машина Тьюринга 00:15:16 - Теорема 00:18:22 - Ассоциативные исчисления 00:25:49 - Теорема 00:28:07 - Конфигурация МТ 00:41:15 - Правила перехода 00:56:05 - Симметричные исчисления 01:05:14 - Ограниченная задача добавления 01:10:34 - Полугруппа Дата лекции: Лектор: Михаил Николаевич Вялый Оператор: Семенов Вадим Монтажёр: Юдин Иван Плейлист: