Lambda Calculus September 6–December 13, 2021, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom, Moscow
|
Lambda Calculus, Moscow, September 6–December 13, 2021 |
|
|
December 13, 2021 (Mon) |
![](/gifs/1pts.gif) |
1. |
Lecture 14. Lambda Calculus S. L. Kuznetsov December 13, 2021 16:25, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
|
|
|
|
|
|
December 6, 2021 (Mon) |
![](/gifs/1pts.gif) |
2. |
Lecture 13. Lambda Calculus S. L. Kuznetsov December 6, 2021 16:25, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
|
|
|
|
|
|
November 29, 2021 (Mon) |
![](/gifs/1pts.gif) |
3. |
Лекция 12. Неразрешимость задачи о сильной нормализуемости (продолжение) S. L. Kuznetsov November 29, 2021 16:25, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
|
|
|
|
|
|
November 22, 2021 (Mon) |
![](/gifs/1pts.gif) |
4. |
Лекция 11. Неразрешимость задачи о сильной нормализуемости S. L. Kuznetsov November 22, 2021 16:25, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
|
|
|
|
|
|
November 15, 2021 (Mon) |
![](/gifs/1pts.gif) |
5. |
Lecture 10. Lambda Calculus S. L. Kuznetsov November 15, 2021 16:25, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
|
|
|
|
|
|
November 8, 2021 (Mon) |
![](/gifs/1pts.gif) |
6. |
Lecture 9. Lambda Calculus S. L. Kuznetsov November 8, 2021 16:25, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
|
|
|
|
|
|
October 25, 2021 (Mon) |
![](/gifs/1pts.gif) |
7. |
Lecture 8. Lambda Calculus S. L. Kuznetsov October 25, 2021 16:25, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
|
|
|
|
|
|
October 18, 2021 (Mon) |
![](/gifs/1pts.gif) |
8. |
Lecture 7. Lambda Calculus S. L. Kuznetsov October 18, 2021 16:25, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
|
|
|
|
|
|
October 11, 2021 (Mon) |
![](/gifs/1pts.gif) |
9. |
Lecture 6. Lambda Calculus S. L. Kuznetsov October 11, 2021 16:25, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
|
|
|
|
|
|
October 4, 2021 (Mon) |
![](/gifs/1pts.gif) |
10. |
Lecture 5. Lambda Calculus S. L. Kuznetsov October 4, 2021 16:25, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
|
|
|
|
|
|
September 27, 2021 (Mon) |
![](/gifs/1pts.gif) |
11. |
Lecture 4. Lambda Calculus S. L. Kuznetsov September 27, 2021 16:25, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
|
|
|
|
|
|
September 20, 2021 (Mon) |
![](/gifs/1pts.gif) |
12. |
Lecture 3. Lambda Calculus S. L. Kuznetsov September 20, 2021 16:25, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
|
|
|
|
|
|
September 13, 2021 (Mon) |
![](/gifs/1pts.gif) |
13. |
Lecture 2. Lambda Calculus S. L. Kuznetsov September 13, 2021 16:25, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
|
|
|
|
|
|
September 6, 2021 (Mon) |
![](/gifs/1pts.gif) |
14. |
Lecture 1. Lambda Calculus S. L. Kuznetsov September 6, 2021 16:25, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
|
|
|
|
![](/gifs/1pts.gif) |
|