00:00:00 - Свойства, эквивалентные перечислимости 00:36:19 - Свойства перечислимых множеств 00:45:07 - Вычислимое кодирование пар 00:53:14 - Неразрешимые задачи и модели вычислений 00:56:37 - Гарвардская архитектура и универсальная машина Тьюринга 01:05:26 - Теорема Тьюринга и неразрешимые задачи Дата лекции: Лектор: Мусатов Даниил Владимирович Оператор: Ммаксим Карпов Монтажёр: Иван Сиомаш Плейлист:
Hide player controls
Hide resume playing