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