У нас вы можете посмотреть бесплатно 27-c DMC: Unsolvable problems: PCP (the domino puzzle), halting, program verification, ... или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
Foundations of Computer Science, Rensselaer Fall 2020. Professor Malik Magdon-Ismail talks about undecidability and unsolvable problems. Orange Malik returns. This lecture has no punch line. This lecture is the punch line for the whole course. We start with the programmable Turing machine, and then talk about problems we might like to solve, especially the ultimate-debugger and program verification. Unfortunately, these problems, together with the domino challenge problem are all unsolvable. Unsolvable means unsolvable. This is the twenty-seventh lecture in a "theory" course focusing on discrete math and the foundations of computing: what can we compute and what can't we compute. Level of the course: Sophomore Computer Science or related major. Material is from Chapter 27 of "Discrete Mathematics and Computing", dmc-book.com.