 
                                У нас вы можете посмотреть бесплатно 2. Рекурсия и редукция или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
                        Если кнопки скачивания не
                            загрузились
                            НАЖМИТЕ ЗДЕСЬ или обновите страницу
                        
                        Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
                        страницы. 
                        Спасибо за использование сервиса ClipSaver.ru
                    
00:00 Начало лекции 00:51 Теорема о неподвижной точке 27:31 Редексы и нормальная форма 53:36 Теорема Чёрча-Россера 01:04:20 Cтратегии редукции Функциональное программирование (весна 2022) Ссылка на курс на сайте CS центра https://compscicenter.ru/courses/func... Ссылка на плейлист курса на YouTube • 1. Лямбда-исчисление