Л.Д. Беклемишев. Доказуемо рекурсивные функции
5 декабря 2013 г. 16:00, г. Москва
Общеинститутский семинар «Коллоквиум МИАН»
Л.Д. Беклемишев, Доказуемо рекурсивные функции
Источник: видеотека Math-Net.Ru - http://www.mathnet.ru/present8113
Видео Л.Д. Беклемишев. Доказуемо рекурсивные функции канала МЦМУ МИАН
Общеинститутский семинар «Коллоквиум МИАН»
Л.Д. Беклемишев, Доказуемо рекурсивные функции
Источник: видеотека Math-Net.Ru - http://www.mathnet.ru/present8113
Видео Л.Д. Беклемишев. Доказуемо рекурсивные функции канала МЦМУ МИАН
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Лекция 3: Рекурсивные функции
Примеры рекурсивных алгоритмов
А.А. Гайфуллин. Гомологические сферы и алгоритмическая неразрешимость в топологии. Семинар 1
И.А. Яковлев. Доказательство Гаусса основной теоремы алгебры. Семинар 1
И.В. Аржанцев. Бесконечная транзитивность. Семинар 2
Chomsky Hierarchy - Computerphile
Ф.Д. Рухович. Внешние бильярды. Семинар 1
Е.Ю. Смирнов. Плоские разбиения и формула Макмагона. Семинар 1
МЦМУ МИАН
М.А. Королёв. Основы кругового метода в теории чисел. Семинар 1
Основа построение рулевой автомобиля. Принцип Аккермана.
На грани безумия. Математика – главный язык науки.
Что такое рекурсия | самое простое объяснение
primitive recursive function