Алгоритмы и вычислимость в человеческом познании / Ю. Л. Ершов, В. В. Целищев

Сохранено в:
Шифр документа: 1//437668(039),
Вид документа: Книги
Автор: Ершов, Ю. Л. (род. 1940)
Опубликовано: Новосибирск : Издательство СО РАН , 2012
Физические характеристики: 497, [6] с. : ил. ; 25 см
Язык: Русский
Серия: Интеграционные проекты СО РАН вып. 40
Предмет:
00000cam0a2200000 ib4500
001 BY-CNB-br2208832
005 20170926204729.9
010 # # $a 978-5-7692-0669-6  $b в переплете 
010 # # $a 978-5-7692-1248-8  $b Вып. 40 
100 # # $a 20131210d2012 k y0rusy50 ||||ca 
101 0 # $a rus  $f eng 
102 # # $a RU 
105 # # $a y z 000yy 
109 # # $a aa 
200 1 # $a Алгоритмы и вычислимость в человеческом познании  $d Algorithms and Computability in Human Knowledge  $f Ю. Л. Ершов, В. В. Целищев  $g научные редакторы: К. Ф. Самохвалов, А. С. Морозов  $g Российская академия наук, Сибирское отделение, Институт математики им. С. Л. Соболева, Институт философии и права  $z eng 
210 # # $a Новосибирск  $c Издательство СО РАН  $d 2012 
215 # # $a 497, [6] с.  $c ил.  $d 25 см 
225 1 # $a Интеграционные проекты СО РАН  $d SB RAS Integrated Projects  $v вып. 40  $z eng 
320 # # $a Библиография: с. 490―497 и в подстрочных примечаниях 
345 # # $9 330 экз. 
510 1 # $a Algorithms and Computability in Human Knowledge  $z eng 
606 0 # $3 BY-NLB-ar2151  $a АЛГОРИТМИЗАЦИЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar19336  $a МЫШЛЕНИЕ  $2 DVNLB 
606 0 # $3 BY-NLB-ar6630  $a ВЫЧИСЛИМОСТИ ТЕОРИЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar17284  $a МАТЕМАТИЧЕСКАЯ ЛОГИКА  $2 DVNLB 
606 0 # $3 BY-NLB-ar2113447  $a МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar3354177  $a РЕКУРСИВНЫЕ ФУНКЦИИ  $2 DVNLB 
606 0 # $3 BY-NLB-ar2867362  $a ОСНОВАНИЯ МАТЕМАТИКИ  $2 DVNLB 
606 0 # $3 BY-NLB-ar3252635  $a МАТЕМАТИЧЕСКОЕ МЫШЛЕНИЕ  $2 DVNLB 
606 0 # $3 BY-NLB-ar7331966  $a ФИНИТИЗМ  $2 DVNLB 
606 0 # $3 BY-NLB-ar7332285  $a ЧЕРЧА ТЕЗИС  $2 DVNLB 
675 # # $a 510.5/.7  $v 4  $z rus 
675 # # $a 510.2:1  $v 4  $z rus 
686 # # $a 27.03.02  $2 rugasnti  $v 6 
686 # # $a 27.03.19  $2 rugasnti  $v 6 
686 # # $a 27.03.45  $2 rugasnti  $v 6 
686 # # $a 27.03.55  $2 rugasnti  $v 6 
686 # # $a 02.31.31  $2 rugasnti  $v 6 
700 # 1 $3 BY-SEK-358968  $a Ершов  $b Ю. Л.  $g Юрий Леонидович  $c доктор физико-математических наук  $f род. 1940 
701 # 1 $3 BY-SEK-462564  $a Целищев  $b В. В.  $g Виталий Валентинович  $c доктор философских наук  $c переводчик  $f род. 1942 
702 # 1 $3 BY-CNB-ar1218211  $a Самохвалов  $b К. Ф.  $g Климентий Федорович  $c доктор философских наук  $4 340 
702 # 1 $3 BY-SEK-ar7294165  $a Морозов  $b А. С.  $g Андрей Сергеевич  $c доктор физико-математических наук  $4 340 
712 0 2 $3 BY-CNB-a633420  $a Институт математики имени С. Л. Соболева  $c Новосибирск  $4 475 
712 0 2 $3 BY-SEK-924980  $a Институт философии и права  $c Новосибирск  $4 475 
801 # 0 $a BY  $b BY-HM0005  $c 20131219  $g psbo 
801 # 2 $a BY  $b BY-HM0000  $c 20170926  $g psbo