|
|
|
|
| LEADER |
02290nam a2200445 4500 |
| 001 |
vtls000133812 |
| 003 |
RU-ToGU |
| 005 |
20240927124059.0 |
| 008 |
020411s2000 ru 00| 0 rus d |
| 020 |
|
|
|a 5900975223
|
| 035 |
|
|
|a 0137-54160
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|e PSBO
|
| 041 |
1 |
|
|a rus
|h eng
|
| 080 |
|
|
|a 510.57
|
| 100 |
1 |
|
|a Соар, Роберт И.
|
| 245 |
1 |
0 |
|a Вычислимо перечислимые множества и степени
|b Изучение вычислимых функций и вычислимо перечислимых множеств
|c Роберт И. Соар; Пер. с англ. под ред. М. М. Арсланова
|
| 246 |
1 |
1 |
|a Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets
|
| 260 |
|
|
|a Казань
|b Казанское математическое общество
|c 2000
|
| 300 |
|
|
|a 576 с.
|
| 504 |
|
|
|a Библиогр.: с. 510-548
|
| 504 |
|
|
|a Предм. указ.: с. 562-576
|
| 653 |
|
|
|a теория вычислимых функций.
|
| 653 |
|
|
|a доказательств теория.
|
| 653 |
|
|
|a рекурсивные функции.
|
| 653 |
|
|
|a Геделя теорема.
|
| 653 |
|
|
|a Клини теорема.
|
| 653 |
|
|
|a относительная вычислимость.
|
| 653 |
|
|
|a степени неразрешимости.
|
| 653 |
|
|
|a теорема рекурсии.
|
| 653 |
|
|
|a вычислимые множества.
|
| 653 |
|
|
|a конечные множества.
|
| 653 |
|
|
|a арифметическая иерархия.
|
| 653 |
|
|
|a Поста теорема.
|
| 653 |
|
|
|a простые множества.
|
| 700 |
1 |
|
|a Арсланов, Марат Мирзаевич
|e ред.-пер.
|4 edt
|4 trl
|
| 852 |
4 |
|
|a RU-ToGU
|h 510
|i С54
|n ru
|
| 999 |
|
|
|c 137576
|d 137576
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 51_С54
|7 0
|a RU-ToGU
|b RU-ToGU
|c 10023
|d 2021-04-03
|g 88.00
|l 0
|o 51 С54
|p 13820000342820
|r 2021-04-03
|t 1
|w 2021-04-03
|y 5
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 51_С54
|7 0
|a RU-ToGU
|b RU-ToGU
|c 10023
|d 2021-04-03
|g 47.00
|l 0
|o 51 С54
|p 13820000355218
|r 2021-04-03
|t 2
|w 2021-04-03
|y 5
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 1889686К_51
|7 0
|a RU-ToGU
|b RU-ToGU
|c 10024
|d 2021-04-03
|g 88.00
|l 0
|o 1-889686к 51
|p 13820000342821
|r 2021-04-03
|t 3
|w 2021-04-03
|y 1
|
