Лекция 8. С.Л. Кузнецов. Теоретико-множественная семантика типизованного лямбда-исчисления

Лекция 1. С.Л. Кузнецов. Лямбда-исчислениеSee more

Лекция 8. С.Л. Кузнецов. Теорема о сильной нормализуемости для типового лямбда-исчисления окон...See more

С.Л. Кузнецов. Спецкурс «Лямбда-исчисление, или вычислительная теория доказательств»See more

Лекция 9. С.Л. Кузнецов. Полнота типового лямбда-исчисления относительно теоретико-множественной...See more

Что такое лямбда-исчисление? Душкин объяснитSee more

Лекция 6. С.Л. Кузнецов. Простая система типов для лямбда-исчисленияSee more

Лекция №11. Л.Д. Беклемишев. Модели лямбда-исчисленияSee more

Линейная алгебра. Алексей Савватеев и Александр Тонис. Лекция 8.1. Вычисление экспоненты от матрицыSee more

Линейная алгебра. Алексей Савватеев и Александр Тонис. Лекция 13.4. Существов. и единств. решения ДУSee more