Математическая логика и теория алгоритмов 8. Перечислимые множества

00:00:00 - Свойства, эквивалентные перечислимости 00:36:19 - Свойства перечислимых множеств 00:45:07 - Вычислимое кодирование пар 00:53:14 - Неразрешимые задачи и модели вычислений 00:56:37 - Гарвардская архитектура и универсальная машина Тьюринга 01:05:26 - Теорема Тьюринга и неразрешимые задачи Дата лекции: 27.03.24 Лектор: Мусатов Даниил Владимирович Оператор: Ммаксим Карпов Монтажёр: Иван Сиомаш Плейлист: https://www.youtube.com/playlist?list=PL4_hYwCyhAvbxuVVn5QJqr1FITycr93SN