С.Л. Кузнецов. Спецкурс «Лямбда-исчисление, или вычислительная теория доказател ...
Лекции и семинары Научно-образовательного центра Математического института им....
2 часа назад 00:02:47 1
2 часа назад 00:02:21 1
13 часов назад 00:05:03 1
22 часа назад 01:06:25 1
1 день назад 01:59:46 9
1 день назад 00:51:39 1
2 дня назад 00:10:22 1
![Как повернуть на велосипеде? [Veritasium]](https://sun9-55.userapi.com/pDkj2cIAFW6YEJJO5FRngptrCfJtPJ7LXzTylw/kX4U1x-lwn0.jpg)
3 дня назад 02:24:45 1
3 дня назад 00:03:22 1
5 дней назад 00:33:14 1
6 дней назад 00:06:44 1
6 дней назад 00:17:35 1
7 дней назад 01:17:43 1
7 дней назад 00:39:14 1
1 неделя назад 02:09:24 1
1 неделя назад 00:54:16 1
1 неделя назад 00:11:35 1
![Задача про вертолёт с канатом [Veritasium]](https://sun9-30.userapi.com/_cHmMt-OhzmQjHFSHS5QYe6NsIf2kg0iQGZoxA/eiH7uxpl1y8.jpg)
2 недели назад 00:35:53 1
2 недели назад 00:09:43 1
2 недели назад 00:01:01 4
![“Сцена в кузне“ (Blacksmith Scene) [1893]](https://sun9-35.userapi.com/pHNq5HQrr4C4ookglePZNv3Siy7Tr8Ks4kR6PA/fKUCDFh72w4.jpg)
2 недели назад 02:35:28 1
2 недели назад 02:06:49 1
2 недели назад 00:22:30 7
![Как мнимые числа спасли математику [Veritasium]](https://sun9-42.userapi.com/2LEVIsfYurp2SmYwzZ8uD8HEG1vMaHTeYl4hzw/0tpRtXabtl0.jpg)
3 недели назад 01:16:39 6
