1. Доказательство в интуиционистской и классической логиках
Первая лекция курса «Соответствие Карри–Ховарда:
от математической логики к программированию»
2 weeks ago 00:48:23 5
3 weeks ago 01:18:30 1
3 weeks ago 00:30:19 1
3 weeks ago 00:17:45 1
4 weeks ago 00:45:23 1
4 weeks ago 00:40:16 1
1 month ago 00:06:57 6
1 month ago 00:04:11 1
1 month ago 00:22:36 1
1 month ago 00:26:47 1
1 month ago 00:44:57 11
1 month ago 00:54:37 12
1 month ago 00:22:52 1
2 months ago 00:25:26 1
2 months ago 00:49:42 1
3 months ago 00:50:12 1
3 months ago 00:04:51 1
3 months ago 00:06:31 1
3 months ago 00:28:44 1
3 months ago 00:22:16 1
3 months ago 01:13:14 1
3 months ago 00:02:45 1
3 months ago 00:28:19 8
3 months ago 01:13:01 1
