|
|
Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление
10 февраля 2020 г. 16:30, г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
|
 |
|
 |
|
|
|
Лекция 11. Модели лямбда-исчисления
Л. Д. Беклемишев, С. Л. Кузнецов |
| Видеозаписи: |
 |
MP4 |
1,958.6 Mb |
|
MP4 |
2,980.4 Mb |
| Количество просмотров: |
| Эта страница: | 411 | | Видеофайлы: | 134 | | Youtube: | |
|
Аннотация:
Алгебры, тождества, многообразия, эквациональные теории.
|
|
Обратная связь: