|
|
Лямбда-исчисление
8 ноября 2021 г. 16:25, г. Москва, МИАН, комн. 430 (ул. Губкина, 8) + Zoom
|
|
|
|
|
|
Лекция 9. Полнота относительно теоретико-множественной семантики
С. Л. Кузнецов |
Видеозаписи: |
|
MP4 |
2,673.3 Mb |
|
MP4 |
1,403.6 Mb |
Количество просмотров: |
Эта страница: | 232 | Видеофайлы: | 39 | Youtube: | |
|
|
|