Digital catalogue


 

Choice of metadata Electronic Library

Page 1, Results: 3

Report on unfulfilled requests: 0

22.12
В31

Верещагин, Н. К.
    Вычислимые функции [Электронный ресурс] : учебник / Н. К. Верещагин, А. Шень. - М. : [б. и.], 2002. - 192 с. - Б. ц.

ББК 22.12

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИЧЕСКАЯ ЛОГИКА


Кл.слова (ненормированные):
вычислимость -- перечислимость -- разрешимость -- универсальные функции -- неразрешимость -- простые множества -- конструкция Поста -- нумерации -- операции -- множества номеров -- изоморфизм -- неподвижная точка -- системный трюк

Доп.точки доступа:
Шень, А.

Верещагин, Н.К. Вычислимые функции [Электронный ресурс] : учебник / Н. К. Верещагин, А. Шень, 2002. - 192 с.

1.

Верещагин, Н.К. Вычислимые функции [Электронный ресурс] : учебник / Н. К. Верещагин, А. Шень, 2002. - 192 с.


22.12
В31

Верещагин, Н. К.
    Вычислимые функции [Электронный ресурс] : учебник / Н. К. Верещагин, А. Шень. - М. : [б. и.], 2002. - 192 с. - Б. ц.

ББК 22.12

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИЧЕСКАЯ ЛОГИКА


Кл.слова (ненормированные):
вычислимость -- перечислимость -- разрешимость -- универсальные функции -- неразрешимость -- простые множества -- конструкция Поста -- нумерации -- операции -- множества номеров -- изоморфизм -- неподвижная точка -- системный трюк

Доп.точки доступа:
Шень, А.

22.12
В31

Верещагин, Н. К.
    Лекции по математической логике и теории алгоритмов [Электронный ресурс]. Ч.3. Вычислительные функции / Н. К. Верещагин, А. Ч. Шень. - Москва : МЦНМО, 2011. - 160 с. - Б. ц.

ББК 22.12

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИЧЕСКАЯ ЛОГИКА


Кл.слова (ненормированные):
математическая логика -- вычислимость -- разрешимость -- уневерсальные функций

Доп.точки доступа:
Шень, А.Ч.

Верещагин, Н.К. Лекции по математической логике и теории алгоритмов [Электронный ресурс]. Ч.3. Вычислительные функции / Н. К. Верещагин, А. Ч. Шень, 2011. - 160 с.

2.

Верещагин, Н.К. Лекции по математической логике и теории алгоритмов [Электронный ресурс]. Ч.3. Вычислительные функции / Н. К. Верещагин, А. Ч. Шень, 2011. - 160 с.


22.12
В31

Верещагин, Н. К.
    Лекции по математической логике и теории алгоритмов [Электронный ресурс]. Ч.3. Вычислительные функции / Н. К. Верещагин, А. Ч. Шень. - Москва : МЦНМО, 2011. - 160 с. - Б. ц.

ББК 22.12

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИЧЕСКАЯ ЛОГИКА


Кл.слова (ненормированные):
математическая логика -- вычислимость -- разрешимость -- уневерсальные функций

Доп.точки доступа:
Шень, А.Ч.

22.151
В26


    Векторные поля на плоскости [Электронный ресурс] : учебник / М.А.Красносельский, К.М.Перов, А.И.Поволоцкий, П.П.Забрейко. - М. : [б. и.], 1963. - 2 ,54Мб. - Б. ц.

ББК 22.151

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   АЛГЕБРА


Кл.слова (ненормированные):
векторные поля -- угловая функция -- разрешимость уравнения -- CD

Векторные поля на плоскости [Электронный ресурс] : учебник / М.А.Красносельский, К.М.Перов, А.И.Поволоцкий, П.П.Забрейко, 1963. - 2 ,54Мб

3.

Векторные поля на плоскости [Электронный ресурс] : учебник / М.А.Красносельский, К.М.Перов, А.И.Поволоцкий, П.П.Забрейко, 1963. - 2 ,54Мб


22.151
В26


    Векторные поля на плоскости [Электронный ресурс] : учебник / М.А.Красносельский, К.М.Перов, А.И.Поволоцкий, П.П.Забрейко. - М. : [б. и.], 1963. - 2 ,54Мб. - Б. ц.

ББК 22.151

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   АЛГЕБРА


Кл.слова (ненормированные):
векторные поля -- угловая функция -- разрешимость уравнения -- CD

Page 1, Results: 3

 

All acquisitions for 
Or select a month