|
|
Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015
18 марта 2015 г. 18:00, г. Москва, МИАН, ауд. 313 (ул. Губкина, 8)
|
|
|
|
|
|
Лямбда-исчисление, или вычислительная теория доказательств. Лекция 5
С. Л. Кузнецов |
Видеозаписи: |
![mp4](/fticons/mp4.svg) |
MP4 |
1,573.4 Mb |
![mp4](/fticons/mp4.svg) |
MP4 |
399.9 Mb |
Количество просмотров: |
Эта страница: | 585 | Видеофайлы: | 417 |
|
Цикл лекций
- Лямбда-исчисление, или вычислительная теория доказательств. Лекция 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
|
|