Математическая логика и теория алгоритмов 15. Теорема Райса-Шапиро. Машина Тьюринга

Таймкоды: 00:00:00 - Начало 00:00:56 - Пример 1 (про индексное множество) 00:15:44 - Пример 2 00:31:31 - Теорема Райса-Шапиро (необходимые условия перечислимости индексного множества) 01:04:52 - Следствие 2 (для любой вычислимой функции мн-во ее индексов неперечислимо) 01:21:10 - Машина Тьюринга Дата лекции: 13.05.26 Лектор: Дашков Евгений Владимирович Оператор: Пышкин Владимир Монтажёр: Файзуллина Екатерина Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvZ4LnvcpHFODXqDPdnlEABP Плейлист