Лекция 1. Л.Д. Беклемишев, С.Л. Кузнецов. Введение. Бестиповое лямбда-исчисление. Представление...
Лекционные курсы Научно-образовательного центра МИАН
Вычислительная теория доказательств и лямбда-исчисление.
Лекция 1. Л.Д. Беклемишев, С.Л. Кузнецов. Введение. Бестиповое лямбда-исчисление. Представление натуральных чисел в бестиповом лямбда-исчислении
30 сентября 2019 г. МИАН, комн. 530 (г. Москва, ул. Губкина, 8)
Источник: http://www.mathnet.ru/present25319
Все видео курса:
http://www.mathnet.ru/conf1615
https://www.youtube.com/playlist?list=PLUbD59ZHv1GTHQ8fFYc1stXVQ-RGRzy8q
Видео Лекция 1. Л.Д. Беклемишев, С.Л. Кузнецов. Введение. Бестиповое лямбда-исчисление. Представление... канала МЦМУ МИАН
Вычислительная теория доказательств и лямбда-исчисление.
Лекция 1. Л.Д. Беклемишев, С.Л. Кузнецов. Введение. Бестиповое лямбда-исчисление. Представление натуральных чисел в бестиповом лямбда-исчислении
30 сентября 2019 г. МИАН, комн. 530 (г. Москва, ул. Губкина, 8)
Источник: http://www.mathnet.ru/present25319
Все видео курса:
http://www.mathnet.ru/conf1615
https://www.youtube.com/playlist?list=PLUbD59ZHv1GTHQ8fFYc1stXVQ-RGRzy8q
Видео Лекция 1. Л.Д. Беклемишев, С.Л. Кузнецов. Введение. Бестиповое лямбда-исчисление. Представление... канала МЦМУ МИАН
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
И.А. Дынников. Штейновы заполнения трехмерных контактных многообразий.
С.П. Новиков. Замкнутые формы и многозначные функционалы
Лекция 7. И.А. Дынников, М.В. Прасолов. Гильбертов куб и маломерная топология
Лекция 12. М.Р. Пентус. Контекстно-свободные языки.
Лекция 5. Р.В. Шамин. Математика анализа данных
С.М. Никольский. Воспоминания об академике С.Л. Соболеве
Лекция 1. Т.Л. Яворская. Логики свидетельств
Лекция 5. А.В. Дымов, С.Б. Куксин. Случайные динамические системы
Лекция 1. В.В. Шокуров. Бирациональная геометрия алгебраических поверхностей
В.А. Тиморин. Поверхности, склеенные из полос бумаги, и квадратичные дифференциалы
И.А. Дынников. Слова Арну–Рози. Лекция
Семинар 13. Василий Волков, А. В. Крюгер. Q-конструкция Квиллена. Алгебраические K-группы схем.
Андрей Хранилов. Основные понятия и концепции теории категорий
Открытие сессии
Лекция 1. С.Н. Филиппов. Квантовые тензорные сети
А.Б. Калмынин. Вероятность в теории чисел. Семинар 4
Лекция 1. Г.Г. Амосов. Математические основания квантовой механики
Е.Ю. Смирнов. RSK-соответствие и массивы. Семинар 2
Лекция 4. Д.А. Кронберг. Квантовая криптография
Лекция 5. Г.Г. Амосов, В.И. Яшин. Модели вычислений на квантовых схемах
Лекция 4. Е.В. Дашков. Введение в теорию сложности