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