Избранные темы Computer Science. Лекция 7
ЛекцияПредмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
29.09.12
Дата публикации:
29.09.12
Код для блога:
Выразимость перечислимых множеств (с помощью сведения к FRACTRAN). Множества из класса ∑2 как перечислимые с помощью оракула для проблемы остановки.
Теорема Гёделя о неполноте как следствие. Полиномиальный вариант иерархии, класс PSPACE.
Страница лекции на сайте Computer Science клуба
Другие лекции курса
9