База данных: Электронная библиотека
Страница 1, Результатов: 3
Отмеченные записи: 0
1.
Подробнее
Б24
Барвайс, Дж.
Теория доказательств и конструктивная математика [Электронный ресурс] / Дж. Барвайс. - М. : [б. и.], 1982. - 360 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
неформальная вычислимость -- машины Тьюринга -- диафантовы уравнения -- комбинаторные проблемы -- полутуэвские процессы -- рекурсивная перечислимость -- теория рекурсии -- функционалы -- оракулы -- тезис Черча
Б24
Барвайс, Дж.
Теория доказательств и конструктивная математика [Электронный ресурс] / Дж. Барвайс. - М. : [б. и.], 1982. - 360 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
неформальная вычислимость -- машины Тьюринга -- диафантовы уравнения -- комбинаторные проблемы -- полутуэвские процессы -- рекурсивная перечислимость -- теория рекурсии -- функционалы -- оракулы -- тезис Черча
2.
Подробнее
В31
Верещагин, Н. К.
Вычислимые функции [Электронный ресурс] : учебник / Н. К. Верещагин, А. Шень. - М. : [б. и.], 2002. - 192 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
вычислимость -- перечислимость -- разрешимость -- универсальные функции -- неразрешимость -- простые множества -- конструкция Поста -- нумерации -- операции -- множества номеров -- изоморфизм -- неподвижная точка -- системный трюк
Доп.точки доступа:
Шень, А.
В31
Верещагин, Н. К.
Вычислимые функции [Электронный ресурс] : учебник / Н. К. Верещагин, А. Шень. - М. : [б. и.], 2002. - 192 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
вычислимость -- перечислимость -- разрешимость -- универсальные функции -- неразрешимость -- простые множества -- конструкция Поста -- нумерации -- операции -- множества номеров -- изоморфизм -- неподвижная точка -- системный трюк
Доп.точки доступа:
Шень, А.
3.
Подробнее
Э13
Эббинхауз, Г.
Машины Тьюринга и рекурсивные функции [Электронный ресурс] : научное издание / Г. Эббинхауз, К. Якобс, Г. Хермес. - М. : [б. и.], 1972. - 136 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
вычислимые функции -- алгоритм -- машины Тьюринга -- диаграмма Тьюринга -- неразрешимое множество -- теорема Клини -- перечислимость -- перечислимость множества -- выражения -- префиксы -- лемма -- случайные бесконечные -- периодичность
Доп.точки доступа:
Якобс, К.
Хермес, Г.
Э13
Эббинхауз, Г.
Машины Тьюринга и рекурсивные функции [Электронный ресурс] : научное издание / Г. Эббинхауз, К. Якобс, Г. Хермес. - М. : [б. и.], 1972. - 136 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
вычислимые функции -- алгоритм -- машины Тьюринга -- диаграмма Тьюринга -- неразрешимое множество -- теорема Клини -- перечислимость -- перечислимость множества -- выражения -- префиксы -- лемма -- случайные бесконечные -- периодичность
Доп.точки доступа:
Якобс, К.
Хермес, Г.
Страница 1, Результатов: 3