Choice of metadata Electronic Library
Page 1, Results: 2
Report on unfulfilled requests: 0
1.
Подробнее
Б85
Босс, В.
Лекции по математике [Электронный ресурс] : учебное пособие. Т.6. От Диофанта до Тьюринга / В. Босс. - Москва : Добрая книга, 2006. - 208 с. - Б. ц.
ББК 22.161я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
алгоритмы и вычислимость -- неполнота арифметики -- универсальные функции
Б85
Босс, В.
Лекции по математике [Электронный ресурс] : учебное пособие. Т.6. От Диофанта до Тьюринга / В. Босс. - Москва : Добрая книга, 2006. - 208 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
алгоритмы и вычислимость -- неполнота арифметики -- универсальные функции
2.
Подробнее
В31
Верещагин, Н. К.
Вычислимые функции [Электронный ресурс] : учебник / Н. К. Верещагин, А. Шень. - М. : [б. и.], 2002. - 192 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
вычислимость -- перечислимость -- разрешимость -- универсальные функции -- неразрешимость -- простые множества -- конструкция Поста -- нумерации -- операции -- множества номеров -- изоморфизм -- неподвижная точка -- системный трюк
Доп.точки доступа:
Шень, А.
В31
Верещагин, Н. К.
Вычислимые функции [Электронный ресурс] : учебник / Н. К. Верещагин, А. Шень. - М. : [б. и.], 2002. - 192 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
вычислимость -- перечислимость -- разрешимость -- универсальные функции -- неразрешимость -- простые множества -- конструкция Поста -- нумерации -- операции -- множества номеров -- изоморфизм -- неподвижная точка -- системный трюк
Доп.точки доступа:
Шень, А.
Page 1, Results: 2