Лекция 15. Теория алгоритмов. Разрешимое и перечислимое множество
Лекция из курса:
Предыдущая лекция
![](/img/hd/lecture/2022-06-14-Yavorskaya-1.jpg?7941)
14
Лекция 14. Временная логика
01:22:07