Вычислимо перечислимые множества и степени Изучение вычислимых функций и вычислимо перечислимых множеств

Вычислимо перечислимые множества и степени Изучение вычислимых функций и вычислимо перечислимых множеств

Bibliographic Details
Main Author: Соар, Роберт И.
Other Authors: Арсланов, Марат Мирзаевич (Editor, Translator, ред.-пер.)
Format: Book
Language:Russian
Published: Казань Казанское математическое общество 2000
Subjects:
теория вычислимых функций.
доказательств теория.
рекурсивные функции.
Геделя теорема.
Клини теорема.
относительная вычислимость.
степени неразрешимости.
теорема рекурсии.
вычислимые множества.
конечные множества.
арифметическая иерархия.
Поста теорема.
простые множества.

Similar Items

Similar Items