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