|
|
Special course "Lambda calculus, or computational proof theory", 2015
February 18, 2015 18:00, Moscow, Steklov Mathematical Institute, Room 313 (8 Gubkina)
|
|
|
 |
|
|
|
Lambda calculus, or computational proof theory. Lecture 1
S. L. Kuznetsov |
| Video records: |
 |
MP4 |
373.0 Mb |
|
MP4 |
1,688.7 Mb |
|
MP4 |
428.3 Mb |
|
MP4 |
1,470.9 Mb |
| Number of views: |
| This page: | 2797 | | Video files: | 1697 | | Youtube: | |
|
##2.
##1.
Series of lectures
- Lambda calculus, or computational proof theory. Lecture 1
S. L. Kuznetsov,
February 18, 2015 18:00
- Lambda calculus, or computational proof theory. Lecture 2
S. L. Kuznetsov,
February 25, 2015 18:00
- Lambda calculus, or computational proof theory. Lecture 3
S. L. Kuznetsov,
March 4, 2015 18:00
- Lambda calculus, or computational proof theory. Lecture 4
S. L. Kuznetsov,
March 11, 2015 18:00
- Lambda calculus, or computational proof theory. Lecture 5
S. L. Kuznetsov,
March 18, 2015 18:00
- Lambda calculus, or computational proof theory. Lecture 6
S. L. Kuznetsov,
March 25, 2015 18:00
- Lambda calculus, or computational proof theory. Lecture 7
S. L. Kuznetsov,
April 1, 2015 18:00
- Lambda calculus, or computational proof theory. Lecture 8
S. L. Kuznetsov,
April 8, 2015 18:00
- Lambda calculus, or computational proof theory. Lecture 9
F. N. Pakhomov,
April 15, 2015 18:00
- Lambda calculus, or computational proof theory. Lecture 10
D. S. Shamkanov,
April 22, 2015 18:00
- Lambda calculus, or computational proof theory. Lecture 11
S. L. Kuznetsov,
April 29, 2015 18:05
|
|
Contact us: