|
|
Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015
18 февраля 2015 г. 18:00, г. Москва, МИАН, ауд. 313 (ул. Губкина, 8)
|
|
|
 |
|
|
|
Лямбда-исчисление, или вычислительная теория доказательств. Лекция 1
С. Л. Кузнецов |
| Видеозаписи: |
 |
MP4 |
373.0 Mb |
|
MP4 |
1,688.7 Mb |
|
MP4 |
428.3 Mb |
|
MP4 |
1,470.9 Mb |
| Количество просмотров: |
| Эта страница: | 2801 | | Видеофайлы: | 1697 | | Youtube: | |
|
##2.
##1.
Цикл лекций
- Лямбда-исчисление, или вычислительная теория доказательств. Лекция 1
С. Л. Кузнецов,
18 февраля 2015 г. 18:00
- Лямбда-исчисление, или вычислительная теория доказательств. Лекция 2
С. Л. Кузнецов,
25 февраля 2015 г. 18:00
- Лямбда-исчисление, или вычислительная теория доказательств. Лекция 3
С. Л. Кузнецов,
4 марта 2015 г. 18:00
- Лямбда-исчисление, или вычислительная теория доказательств. Лекция 4
С. Л. Кузнецов,
11 марта 2015 г. 18:00
- Лямбда-исчисление, или вычислительная теория доказательств. Лекция 5
С. Л. Кузнецов,
18 марта 2015 г. 18:00
- Лямбда-исчисление, или вычислительная теория доказательств. Лекция 6
С. Л. Кузнецов,
25 марта 2015 г. 18:00
- Лямбда-исчисление, или вычислительная теория доказательств. Лекция 7
С. Л. Кузнецов,
1 апреля 2015 г. 18:00
- Лямбда-исчисление, или вычислительная теория доказательств. Лекция 8
С. Л. Кузнецов,
8 апреля 2015 г. 18:00
- Лямбда-исчисление, или вычислительная теория доказательств. Лекция 9
Ф. Н. Пахомов,
15 апреля 2015 г. 18:00
- Лямбда-исчисление, или вычислительная теория доказательств. Лекция 10
Д. С. Шамканов,
22 апреля 2015 г. 18:00
- Лямбда-исчисление, или вычислительная теория доказательств. Лекция 11
С. Л. Кузнецов,
29 апреля 2015 г. 18:05
|
|
Обратная связь: