Что можно делать с вещественными числами. Лекция 4
ЛекцияПредмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
06.10.13
Дата публикации:
06.10.13
Код для блога:
Регистровые машины, арифметизация протоколов их работы
В статье Yuri Matiyasevich. Existential arithmetization of Diophantine equations. Annals of Pure and Applied Logic, Volume 157, Issues 2–3, February 2009, Pages 225–233 предлагается техника, наиболее удобная для формализации.
Страница лекции на сайте Computer Science Club
Дополнительные материалы:
1383511047_14790_20131006_h10_lecture2_matiyasevich.pdfДругие лекции курса
7