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