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

Избранные темы Computer Science. Лекция 7

Выразимость перечислимых множеств (с помощью сведения к FRACTRAN). Множества из класса ∑2 как перечислимые с помощью оракула для проблемы остановки.

Теорема Гёделя о неполноте как следствие. Полиномиальный вариант иерархии, класс PSPACE.

Страница лекции на сайте Computer Science клуба

Лекции курса

10
  1. Избранные темы Computer Science. Лекция 1
  2. Избранные темы Computer Science. Лекция 2
  3. Избранные темы Computer Science. Лекция 3
  4. Избранные темы Computer Science. Лекция 4
  5. Избранные темы Computer Science. Лекция 5
  6. Избранные темы Computer Science. Лекция 6
  7. Избранные темы Computer Science. Лекция 7▶ Вы тут
  8. Избранные темы Computer Science. Лекция 8
  9. Избранные темы Computer Science. Лекция 9
  10. Избранные темы Computer Science. Лекция 10

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

3