Математическая логика и теория алгоритмов 9. Резолюции. Языки 1-го порядка
Дата лекции:
Лектор: Мусатов Даниил Владимирович
Оператор: Давид Чайлахян
Монтажёр: Алексей Чегодаев
Плейлист:
12 hours ago 00:15:12 99
3 days ago 00:07:41 55
3 days ago 00:52:33 1
4 days ago 00:00:47 464
4 days ago 00:18:42 148
4 days ago 00:08:15 51
1 week ago 00:00:43 13
1 week ago 00:00:43 22
1 week ago 01:14:38 28
1 week ago 01:25:04 19
1 week ago 01:18:36 16
2 weeks ago 00:06:46 482
2 weeks ago 00:19:43 135
2 weeks ago 00:00:44 21
2 weeks ago 00:01:05 15
3 weeks ago 00:12:33 1
3 weeks ago 00:13:31 5
3 weeks ago 00:13:27 3
3 weeks ago 00:11:07 164
3 weeks ago 00:01:20 529
3 weeks ago 00:02:36 3
3 weeks ago 00:00:36 20
3 weeks ago 00:04:12 4.6K
3 weeks ago 00:00:36 22
