| Форма представления | Тезисы и материалы конференций в зарубежных журналах и сборниках |
| Год публикации | 2016 |
| Язык | английский |
|
Арсланов Марат Мирзаевич, автор
|
| Библиографическое описание на языке оригинала |
Arslanov M.M. Computable real numbers. Book of abstracts: International Conference on Mathematics and Mathematics Education at IMO2016, Hongkong, 2016. - p. 4-5. |
| Аннотация |
Book of abstracts: International Conference on Mathematics and Mathematics Education at IMO2016, Hongkong, 2016 |
| Ключевые слова |
real number; computable number; Solovay reducibility. |
| Название журнала |
Book of abstracts: International Conference on Mathematics and Mathematics Education at IMO2016, Hongkong, 2016
|
| URL |
https://www.ied.edu.hk/icmme2016/ |
| Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку |
https://repository.kpfu.ru/?p_id=155734 |
Полная запись метаданных  |
| Поле DC |
Значение |
Язык |
| dc.contributor.author |
Арсланов Марат Мирзаевич |
ru_RU |
| dc.date.accessioned |
2016-01-01T00:00:00Z |
ru_RU |
| dc.date.available |
2016-01-01T00:00:00Z |
ru_RU |
| dc.date.issued |
2016 |
ru_RU |
| dc.identifier.citation |
Arslanov M.M. Computable real numbers. Book of abstracts: International Conference on Mathematics and Mathematics Education at IMO2016, Hongkong, 2016. - p. 4-5. |
ru_RU |
| dc.identifier.uri |
https://repository.kpfu.ru/?p_id=155734 |
ru_RU |
| dc.description.abstract |
Book of abstracts: International Conference on Mathematics and Mathematics Education at IMO2016, Hongkong, 2016 |
ru_RU |
| dc.description.abstract |
A real number x is recursively approximable if it is a limit of a computable
sequence of rational numbers. In my talk I summarize several recent
developments related to such kind of hierarchies shown by the author
and his collaborators.
|
ru_RU |
| dc.language.iso |
ru |
ru_RU |
| dc.subject |
|
ru_RU |
| dc.title |
Computable real numbers |
ru_RU |
| dc.type |
Тезисы и материалы конференций в зарубежных журналах и сборниках |
ru_RU |
|