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

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

Similar Items