Электронный каталог
Начинается с C
Тематика:Математика и естественные науки
Каталог:Авторефераты / Диссертации
Результат поиска:
1-1 из 1
Электронные диссертации
АБЕШЕВ КУАНЫШ ШУРАБАТЫРОВИЧ
Вычислимые нумерации в иерархиях = Computable Numberings in Hierarchies [Electronic resource] : дис. на соиск. ученой степ. д-ра философии (PhD) : 6D060100 "Математика" / К. Ш. Абешев ; Каз. нац. ун-т им. аль-Фараби... – Алматы : [б. и.], 2014. - Электрон. текст. дан., 1 электрон. опт. диск (CD-ROM); в контейнере, 12x14 см. - Загл. с контейнера . – Библиогр.: с. 47-52 . – [б. т.] : 100 тг.
УДК:
510.54
Полочный шифр:
Э 2015/2
Предметная рубрика
- Теория нумераций
Аннотация
Целью исследования является изучение проблем, которые касаются следующих двух инвариантов, связанных с экстремальными элементами полурешёток Роджерса: проблема существования универсальных вычислимых нумераций и проблему существования минимальных вычислимых нумераций
Ключевые слова
теория нумераций, методы классической вычислимости, рекурсивная математика, геделевская нумерация формул, полурешетки Роджерса, иерархия Ершова, классическая вычислимость
Казахстаника
1/1 Свободно
АБЕШЕВ КУАНЫШ ШУРАБАТЫРОВИЧ
ВЫЧИСЛИМЫЕ НУМЕРАЦИИ В ИЕРАРХИЯХ (2014)
Электронные диссертации
1/1 Свободно