Математическая логика и теория алгоритмов 10. Теорема о графике. Полуразрешимость. УВФ и Т-предикаты

Таймкоды: 00:00:00 - Начало 00:02:30 - Теорема 1 (о графике вычислимой функции) 00:17:42 - Следствие 2 00:25:00 - Следствие 3 00:28:22 - Полухарактеристическая функция множества 00:30:10 - Полуразрешимость множества 00:32:04 - Теорема 4 (критерий перечислимости) 00:36:23 - Теорема 5 00:44:59 - Теорема 6 (различные определения перечислимости) 01:01:45 - Универсальная вычислимая функция 01:08:38 - Сечения Дата лекции: 08.04.26 Лектор: Дашков Евгений Владимирович Оператор: Пышкин Владимир Монтажёр: Файзуллина Екатерина Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvZ4LnvcpHFODXqDPdnlEABP Плейлист