Лекции по математике Т. 6 : [учебное пособие] /В. Босс

Босс, Валерий 1944-
Публикация
Москва : ЛИБРОКОМ , 2017
Физическое описание
207 с.: ил.
Издание
Изд. стер.
Частное заглавие
Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя
Всего оценка: 0
Место хранения Расст.шифр Части Штрих-код Класс экземпляра Примечание Код коллекции Статус  
Читальный зал №5
51 Б854
13820000955646
1 день
Доступно
Читальный зал №5
51 Б854
13820000955645
Выдается в читальный зал
Доступно
 
 
 
02346nam a2200517 i 4500
001
 
 
vtls000576507
003
 
 
RU-ToGU
005
 
 
20170601184500.0
008
 
 
170529s2017    ru a     b    001 0 rus|d
020
$a 9785397058667
035
$a to000576507
039
9
$a 201706011845 $b cat31 $c 201706011704 $d cat40 $c 201706011701 $d cat40 $c 201705291646 $d cat41 $y 201705291645 $z cat41
040
$a RuMoRKP $b rus $e rcr $d RuMoRGB $d RU-ToGU
041
0
$a rus
080
$a 51(075.8)
080
$a 510(075.8)
100
1
$a Босс, Валерий $d 1944-
245
1
0
$a Лекции по математике $n Т. 6 $b [учебное пособие] $c В. Босс
246
1
2
$a Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя
250
$a Изд. стер.
260
$a Москва $b ЛИБРОКОМ $c 2017
300
$a 207 с. $b ил.
504
$a Библиогр.: с. 202-203 и в подстроч. примеч.
504
$a Предм. указ.: с. 204-207
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 теория моделей
653
$a степени неразрешимости
653
$a доказуемость
852
4
$a RU-ToGU $h 51 $i Б854 $n ru
908
$a учебник
999
$a VIRTUA  
999
$a VTLSSORT0080*0200*0350*0400*0410*0800*0801*1000*2450*2460*2500*2600*3000*5040*5041*6530*6531*6532*6533*6534*6535*6536*6537*6538*6539*65310*65311*65312*65313*65314*65315*65316*65317*8520*9080*9992
Нет комментариев.