У нас вы можете посмотреть бесплатно [11b-1] Proving languages are not decidable (COMP2270 - 2017) или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
We discuss reductions which, in this context, are ways to transform instances of one problem P into instances of another problem Q in such a way that if we can solve Q we have a way to solve P. The power of this (for our purposes) is that if we know P∉D then showing such a reduction proves that Q∉D.