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


 

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

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

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

22.12
Б24

Барвайс, Дж.
    Теория доказательств и конструктивная математика [Электронный ресурс] / Дж. Барвайс. - М. : [б. и.], 1982. - 360 с. - Б. ц.

ББК 22.12

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

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


Кл.слова (ненормированные):
неформальная вычислимость -- машины Тьюринга -- диафантовы уравнения -- комбинаторные проблемы -- полутуэвские процессы -- рекурсивная перечислимость -- теория рекурсии -- функционалы -- оракулы -- тезис Черча

Барвайс, Дж. Теория доказательств и конструктивная математика [Электронный ресурс] / Дж. Барвайс, 1982. - 360 с.

22.12
В31

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

ББК 22.12

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

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


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

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

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

22.12
Э13

Эббинхауз, Г.
    Машины Тьюринга и рекурсивные функции [Электронный ресурс] : научное издание / Г. Эббинхауз, К. Якобс, Г. Хермес. - М. : [б. и.], 1972. - 136 с. - Б. ц.

ББК 22.12

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

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


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

Доп.точки доступа:
Якобс, К.
Хермес, Г.

Эббинхауз, Г. Машины Тьюринга и рекурсивные функции [Электронный ресурс] : научное издание / Г. Эббинхауз, К. Якобс, Г. Хермес, 1972. - 136 с.

3.

Эббинхауз, Г. Машины Тьюринга и рекурсивные функции [Электронный ресурс] : научное издание / Г. Эббинхауз, К. Якобс, Г. Хермес, 1972. - 136 с.


22.12
Э13

Эббинхауз, Г.
    Машины Тьюринга и рекурсивные функции [Электронный ресурс] : научное издание / Г. Эббинхауз, К. Якобс, Г. Хермес. - М. : [б. и.], 1972. - 136 с. - Б. ц.

ББК 22.12

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

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


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

Доп.точки доступа:
Якобс, К.
Хермес, Г.

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

 

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