Лекция 15. Теория алгоритмов. Разрешимое и перечислимое множество
Лекция из курса:
Предыдущая лекция
14
Лекция 14. Временная логика
01:22:07
