Лекция 8. Теорема Тарского-Зайденберга
Лекция из курса:
Предыдущая лекция
![](/img/hd/lecture/2021-11-12-Yavorskaya-2.jpg?7126)
7
Лекция 7. Элиминация кванторов
00:38:54
Следующая лекция
![](/img/hd/lecture/2021-11-26-Yavorskaya.jpg?7128)
9
Лекция 9. 17-я проблема Гильберта. Теорема Артина
01:06:25