|
|
Лямбда-исчисление
29 ноября 2021 г. 16:25, г. Москва, online на платформе Zoom
|
|
|
|
|
|
Лекция 12. Неразрешимость задачи о сильной нормализуемости (продолжение)
С. Л. Кузнецов |
Видеозаписи: |
![mp4](/fticons/mp4.svg) |
MP4 |
249.3 Mb |
Количество просмотров: |
Эта страница: | 179 | Видеофайлы: | 32 | Youtube: | |
|
|
|