Электрондық каталог


 

База данных: Электрондық кітапхана

Беті 1, Нәтижелерін: 2

Отмеченные записи: 0

22.161я73
Б85

Босс, В.
    Лекции по математике [Электронный ресурс] : учебное пособие. Т.6. От Диофанта до Тьюринга / В. Босс. - Москва : Добрая книга, 2006. - 208 с. - Б. ц.

ББК 22.161я73

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

   МАТЕМАТИКА


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

Босс, В. Лекции по математике [Электронный ресурс] : Учебное пособие. Т.6. От Диофанта до Тьюринга / В. Босс, 2006. - 208 с.

1.

Босс, В. Лекции по математике [Электронный ресурс] : Учебное пособие. Т.6. От Диофанта до Тьюринга / В. Босс, 2006. - 208 с.


22.161я73
Б85

Босс, В.
    Лекции по математике [Электронный ресурс] : учебное пособие. Т.6. От Диофанта до Тьюринга / В. Босс. - Москва : Добрая книга, 2006. - 208 с. - Б. ц.

ББК 22.161я73

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

   МАТЕМАТИКА


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

22.12
В31

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

ББК 22.12

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

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


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

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

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

Беті 1, Нәтижелерін: 2

 

Барлық түсімдер 
Немесе қызығушылық танытқан айыңызды таңдаңыз