Цикл лекций
- Лямбда-исчисление, или вычислительная теория доказательств. Лекция 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
|
