Elektrondy katalog
C басталады
Basylymdy shyǵarǵan memleket:Qazaqstan
Taqyryptama:Математика и естественные науки
Katalog:Avtoreferettar/dıssertatsııalar
Nátejeler:
1-1 ız 1
Электрондық диссертациялар
АБЕШЕВ КУАНЫШ ШУРАБАТЫРОВИЧ
Вычислимые нумерации в иерархиях = Computable Numberings in Hierarchies [Electronic resource] : дис. на соиск. ученой степ. д-ра философии (PhD) : 6D060100 "Математика" / К. Ш. Абешев ; Каз. нац. ун-т им. аль-Фараби... – Алматы : [б. и.], 2014. - Электрон. текст. дан., 1 электрон. опт. диск (CD-ROM); в контейнере, 12x14 см. - Загл. с контейнера . – Библиогр.: с. 47-52 . – [б. т.] : 100 тг.
ÁOJ:
510.54
Sórmelіk múqam:
Э 2015/2
Taqyrypty aıdarlar
- Теория нумераций
Ańdatpa
Целью исследования является изучение проблем, которые касаются следующих двух инвариантов, связанных с экстремальными элементами полурешёток Роджерса: проблема существования универсальных вычислимых нумераций и проблему существования минимальных вычислимых нумераций
Kіlt sózder
теория нумераций, методы классической вычислимости, рекурсивная математика, геделевская нумерация формул, полурешетки Роджерса, иерархия Ершова, классическая вычислимость
Qazaqstandуq
АБЕШЕВ КУАНЫШ ШУРАБАТЫРОВИЧ
ВЫЧИСЛИМЫЕ НУМЕРАЦИИ В ИЕРАРХИЯХ (2014)
Электрондық диссертациялар
1/1 Bos