|
|
|
|
| LEADER |
02228nam a2200445 i 4500 |
| 001 |
vtls000577463 |
| 003 |
RU-ToGU |
| 005 |
20210922091532.0 |
| 008 |
170614s2017 ru f b 001 0 rus d |
| 020 |
|
|
|a 9785922117142
|
| 035 |
|
|
|a to000577463
|
| 039 |
|
9 |
|a 201706231811
|c 201706151000
|d cat20
|y 201706141307
|z Александр Эльверович Гилязов
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|
| 080 |
|
|
|a 510.57
|
| 100 |
1 |
|
|a Марченков, Сергей Серафимович.
|9 70348
|
| 245 |
1 |
0 |
|a Классы элементарных рекурсивных функций
|c С. С. Марченков
|
| 260 |
|
|
|a Москва
|b Физматлит
|c 2017
|9 689897
|
| 300 |
|
|
|a 135, [1] с.
|
| 504 |
|
|
|a Библиогр.: с. 133-135
|
| 504 |
|
|
|a Предм. указ.: с. 136
|
| 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 базисы конечные по суперпозиции
|
| 653 |
|
|
|a функции одноместные
|
| 653 |
|
|
|a функции многоместные
|
| 653 |
|
|
|a алгоритмов теория
|
| 852 |
4 |
|
|a RU-ToGU
|h 510
|i М30
|n ru
|
| 856 |
|
|
|y Перейти в каталог НБ ТГУ
|u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=420791
|
| 999 |
|
|
|c 420791
|d 420791
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 510_М30
|7 0
|9 641559
|a RU-ToGU
|b RU-ToGU
|c 10005
|d 2021-04-05
|g 228.80
|l 0
|o 510 М30
|p 13820000954780
|r 2023-08-04
|w 2021-04-05
|y 9
|
