|
|
Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015
29 апреля 2015 г. 18:05–20:00, г. Москва, МИАН, ауд.515 (ул.Губкина, 8)
|
 |
|
 |
|
|
|
Лямбда-исчисление, или вычислительная теория доказательств. Лекция 11
С. Л. Кузнецов |
| Количество просмотров: |
| Эта страница: | 635 | | Видеофайлы: | 394 |
|
Цикл лекций
- Лямбда-исчисление, или вычислительная теория доказательств. Лекция 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
|
|
Обратная связь: