ЛекториумМедиатека
Поиск
Личный кабинет

Что можно делать с вещественными числами. Лекция 4

Регистровые машины, арифметизация протоколов их работы

В статье 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

Лекции курса

8
  1. Что можно делать с вещественными числами. Лекция 1
  2. Что можно делать с вещественными числами. Лекция 2
  3. Что можно делать с вещественными числами. Лекция 3
  4. Что можно делать с вещественными числами. Лекция 4▶ Вы тут
  5. Что можно делать с вещественными числами. Лекция 5
  6. Что можно делать с вещественными числами. Лекция 6
  7. Что можно делать с вещественными числами. Лекция 7
  8. Что можно делать с вещественными числами. Лекция 8

Онлайн-курсы по программированию

3