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