|
|
|
|
| LEADER |
05524nam a2200757 i 4500 |
| 001 |
vtls000396828 |
| 003 |
RU-ToGU |
| 005 |
20230319183827.0 |
| 007 |
cr | |
| 008 |
120628s2009 ru ac sb 000 0 rus d |
| 020 |
|
|
|a 9785751119324
|
| 035 |
|
|
|a to000396828
|
| 039 |
|
9 |
|a 201611211132
|c 201206281944
|d VLOAD
|c 201206281935
|d VLOAD
|c 201101261818
|d cat31
|y 201012091232
|z Александр Эльверович Гилязов
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|
| 080 |
|
|
|a 510.5(075.8)
|
| 080 |
|
|
|a 512.54.0/.05(075.8)
|
| 100 |
1 |
|
|a Зюзьков, Валентин Михайлович
|9 68848
|
| 245 |
1 |
0 |
|a Теория алгоритмов
|b [учебное пособие для студентов математических направлений и специальностей университетов]
|c В. М. Зюзьков ; Том. гос. ун-т
|
| 250 |
|
|
|a 2-е изд., испр. и доп.
|
| 260 |
|
|
|a Томск
|b Издательство Томского университета
|c 2009
|9 687418
|
| 300 |
|
|
|a 161 с.
|b ил.
|
| 504 |
|
|
|a Библиогр.: с. 158-159
|
| 530 |
|
|
|a Доступна электронная версия
|b Получено из издательства
|
| 538 |
|
|
|a Систем. требования: Adobe Acrobat Reader 5.0 или выше.
|
| 540 |
|
|
|a " ...пользование допускается без согласия автора или иного правообладателя и без выплаты вознаграждения. При этом выраженные в цифровой форме экземпляры произведений, предоставляемые библиотеками во временное безвозмездное пользование ... могут предоставляться только в помещениях библиотек при условии исключения возможности создать копии этих произведений в цифровой форме" (Гражданский кодекс РФ, ч. 4).
|
| 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 NP-полнота
|
| 653 |
|
|
|a комбинаторы
|
| 653 |
|
|
|a операторы рекурсивные
|
| 653 |
|
|
|a куины
|
| 653 |
|
|
|a логика предикатов
|
| 653 |
|
|
|a логико-математические языки
|
| 653 |
|
|
|a аксиоматические теории формальные
|
| 653 |
|
|
|a сложность вычислений
|
| 655 |
|
4 |
|a учебные издания
|9 879360
|
| 710 |
2 |
|
|a Томский государственный университет
|b Механико-математический факультет
|b Кафедра вычислительной математики и компьютерного моделирования
|9 81066
|
| 852 |
4 |
|
|a RU-ToGU
|h 51
|i З-981
|n ru
|
| 856 |
7 |
|
|u http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000396828
|
| 856 |
|
|
|y Перейти в каталог НБ ТГУ
|u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=284403
|
| 908 |
|
|
|a учебник
|
| 999 |
|
|
|c 284403
|d 284403
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 1991967К
|7 0
|9 499322
|a RU-ToGU
|c 10024
|d 2021-04-04
|g 260.00
|o 1-991967к
|p 13820000746002
|r 2022-10-04
|y 1
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 510_З981
|7 0
|9 499323
|a RU-ToGU
|b RU-ToGU
|c 10030
|d 2021-04-04
|g 200.00
|o 510 З-981
|p 13820000939327
|r 2023-08-04
|t 1
|y 4
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 510_З981
|7 0
|9 499324
|a RU-ToGU
|b RU-ToGU
|c 10030
|d 2021-04-04
|g 200.00
|o 510 З-981
|p 13820000939328
|r 2023-08-04
|t 2
|y 4
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 51_З981
|7 0
|9 499325
|a RU-ToGU
|b RU-ToGU
|c 10021
|d 2021-04-04
|g 200.00
|l 0
|o 51 З-981
|p 13820000939329
|r 2024-04-08
|t 1
|w 2021-04-04
|y 5
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 51_З981
|7 0
|9 499326
|a RU-ToGU
|c 10021
|d 2021-04-04
|g 200.00
|o 51 З-981
|p 13820000939330
|r 2024-04-08
|t 2
|y 5
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 51_З981
|7 0
|9 499327
|a RU-ToGU
|b RU-ToGU
|c 10021
|d 2021-04-04
|g 200.00
|l 0
|o 51 З-981
|p 13820000939331
|r 2024-04-08
|t 3
|w 2021-04-04
|y 5
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 51_З981
|7 0
|9 499328
|a RU-ToGU
|b RU-ToGU
|c 10021
|d 2021-04-04
|g 200.00
|l 0
|o 51 З-981
|p 13820000939332
|r 2024-04-08
|t 4
|w 2021-04-04
|y 5
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 51_З981
|7 0
|9 499329
|a RU-ToGU
|b RU-ToGU
|c 10021
|d 2021-04-04
|g 200.00
|l 0
|o 51 З-981
|p 13820000939333
|r 2024-04-08
|t 5
|w 2021-04-04
|y 5
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 51_З981
|7 0
|9 499330
|a RU-ToGU
|b RU-ToGU
|c 10021
|d 2021-04-04
|g 200.00
|l 0
|o 51 З-981
|p 13820000939334
|r 2024-04-08
|t 6
|w 2021-04-04
|y 5
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 51_З981
|7 0
|9 499331
|a RU-ToGU
|b RU-ToGU
|c 10021
|d 2021-04-04
|g 200.00
|l 0
|o 51 З-981
|p 13820000939335
|r 2024-04-08
|t 7
|w 2021-04-04
|y 5
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 51_З981
|7 0
|9 499332
|a RU-ToGU
|b RU-ToGU
|c 10021
|d 2021-04-04
|g 200.00
|l 1
|o 51 З-981
|p 13820000939336
|r 2024-04-08
|s 2022-02-10
|t 8
|w 2021-04-04
|y 5
|
