Математическая логика. Доказательство достаточного условия теоремы Поста. Шаг 1 - построение констант
Лекция проф. Ю.Г. Карпова к дистанционному курсу “Математическая логика“
7 years ago 01:26:46 174
7 years ago 01:31:57 53
7 years ago 01:29:38 46
7 years ago 01:29:28 46
7 years ago 01:03:23 244
8 years ago 01:17:24 60
7 years ago 01:27:56 43
7 years ago 01:27:48 134
11 years ago 01:17:11 49
7 years ago 01:15:48 94
7 years ago 01:18:51 58
7 years ago 01:24:38 51
3 years ago 01:28:16 8
3 years ago 01:33:10 8
7 years ago 02:21:33 2
3 years ago 01:36:35 6
5 years ago 01:32:24 28
11 years ago 01:18:48 20
10 years ago 00:03:23 235
3 years ago 01:14:48 14
10 years ago 00:02:20 405
3 years ago 01:20:03 48
9 years ago 01:17:11 1
4 years ago 00:22:04 146
