Ар11-1382 Файзрахманов, М. Х. Тьюринговые скачки в иерархии Ершова [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / М. Х. Файзрахманов. - Казань, 2011. - 18 с. - Библиогр.: с. 18 (5 назв.0
Кл.слова (ненормированные): теория вычислимости -- низкие множества -- вычислимые множества -- теорема робинсона -- скачки по перечислимости Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар13-5050 Оспичев, С. С. Алгебраические и структурные свойства полурешеток Роджерса в иерархии Ершова [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.06 / С. С. Оспичев. - Новосибирск, 2013. - 20 с. - Библиогр.: с. 16-20 (51 назв.)
Кл.слова (ненормированные): частично вычислимые функции -- теория вычислимости -- теория нумераций Экземпляры всего 1: ХР (1) Свободны: ХР (1) |