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