База данных: Электрондық кітапхана
Беті 1, Нәтижелерін: 7
Отмеченные записи: 0
1.
Подробнее
А22
Автоматы [Электронный ресурс] : сборник статей / Под ред. К.Э. Шеннона. - М. : Иностранная литература, 1956. - Б. ц.
ББК 32.81
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
кибернетика -- автоматы -- сборник статей -- конечные автоматы -- машины Тьюринга -- вероятностная логика -- универсальная машина -- синтез автоматов
А22
Автоматы [Электронный ресурс] : сборник статей / Под ред. К.Э. Шеннона. - М. : Иностранная литература, 1956. - Б. ц.
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
кибернетика -- автоматы -- сборник статей -- конечные автоматы -- машины Тьюринга -- вероятностная логика -- универсальная машина -- синтез автоматов
2.
Подробнее
Б24
Барвайс, Дж.
Теория доказательств и конструктивная математика [Электронный ресурс] / Дж. Барвайс. - М. : [б. и.], 1982. - 360 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
неформальная вычислимость -- машины Тьюринга -- диафантовы уравнения -- комбинаторные проблемы -- полутуэвские процессы -- рекурсивная перечислимость -- теория рекурсии -- функционалы -- оракулы -- тезис Черча
Б24
Барвайс, Дж.
Теория доказательств и конструктивная математика [Электронный ресурс] / Дж. Барвайс. - М. : [б. и.], 1982. - 360 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
неформальная вычислимость -- машины Тьюринга -- диафантовы уравнения -- комбинаторные проблемы -- полутуэвские процессы -- рекурсивная перечислимость -- теория рекурсии -- функционалы -- оракулы -- тезис Черча
3.
Подробнее
З-38
Захаров, Н. Г.
Синтез цифровых автоматов [Электронный ресурс] : учебное пособие / Н. Г. Захаров. - Ульяновск : [б. и.], 2003. - 135 с. - Б. ц.
ББК 32.972.я7
Рубрики: РАДИОЭЛЕКТРОНИКА
ТЕХНИКА
Кл.слова (ненормированные):
машины тьюринга -- абстрактный конечный автомат -- микропрограммирование -- классификация языков по хомскому -- автоматы и формальные языки
З-38
Захаров, Н. Г.
Синтез цифровых автоматов [Электронный ресурс] : учебное пособие / Н. Г. Захаров. - Ульяновск : [б. и.], 2003. - 135 с. - Б. ц.
Рубрики: РАДИОЭЛЕКТРОНИКА
ТЕХНИКА
Кл.слова (ненормированные):
машины тьюринга -- абстрактный конечный автомат -- микропрограммирование -- классификация языков по хомскому -- автоматы и формальные языки
4.
Подробнее
И26
Игошин, В. И.
Теория алгоритмов [Электронный ресурс] : учебное пособие / В. И. Игошин. - М. : ИНФРА-М, 2016. - 318 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ТЕОРИЯ ВЕРОЯТНОСТЕЙ
Кл.слова (ненормированные):
алгоритмы -- машины Тьюринга -- рекурсивные функции -- нормальные алгоритмы
И26
Игошин, В. И.
Теория алгоритмов [Электронный ресурс] : учебное пособие / В. И. Игошин. - М. : ИНФРА-М, 2016. - 318 с. - Б. ц.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
ТЕОРИЯ ВЕРОЯТНОСТЕЙ
Кл.слова (ненормированные):
алгоритмы -- машины Тьюринга -- рекурсивные функции -- нормальные алгоритмы
5.
Подробнее
К45
Китаев, А.
Классические и квантовые вычисления [Электронный ресурс] / А. Китаев, М. Вялый, А. Шень. - М. : [б. и.], 1998. - 193 с. - Б. ц.
ББК 32.97+22.3
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ФИЗИКА
ТЕХНИКА
ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
Кл.слова (ненормированные):
классические вычисления -- квантовые схемы -- квантовые вероятности -- измеряющие операторы -- квантовый компьютер -- магнитный резонанс -- анионы -- машины Тьюринга -- квантовая схема -- алгоритм Гровера -- измеряющие операторы
Доп.точки доступа:
Вялый, М.
Шень, А.
К45
Китаев, А.
Классические и квантовые вычисления [Электронный ресурс] / А. Китаев, М. Вялый, А. Шень. - М. : [б. и.], 1998. - 193 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ФИЗИКА
ТЕХНИКА
ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
Кл.слова (ненормированные):
классические вычисления -- квантовые схемы -- квантовые вероятности -- измеряющие операторы -- квантовый компьютер -- магнитный резонанс -- анионы -- машины Тьюринга -- квантовая схема -- алгоритм Гровера -- измеряющие операторы
Доп.точки доступа:
Вялый, М.
Шень, А.
6.
Подробнее
Т47
Тишин, В. В.
Теория алгоритмов, предикаты [Электронный ресурс] / В. В. Тишин. - [Б. м. : б. и.], 2002. - 71 с. - Б. ц.
ББК 22.1
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
теория алгоритмов -- машины Тьюринга -- нормальные алгоритмы
Т47
Тишин, В. В.
Теория алгоритмов, предикаты [Электронный ресурс] / В. В. Тишин. - [Б. м. : б. и.], 2002. - 71 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
теория алгоритмов -- машины Тьюринга -- нормальные алгоритмы
7.
Подробнее
Э13
Эббинхауз, Г.
Машины Тьюринга и рекурсивные функции [Электронный ресурс] : научное издание / Г. Эббинхауз, К. Якобс, Г. Хермес. - М. : [б. и.], 1972. - 136 с. - Б. ц.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
вычислимые функции -- алгоритм -- машины Тьюринга -- диаграмма Тьюринга -- неразрешимое множество -- теорема Клини -- перечислимость -- перечислимость множества -- выражения -- префиксы -- лемма -- случайные бесконечные -- периодичность
Доп.точки доступа:
Якобс, К.
Хермес, Г.
Э13
Эббинхауз, Г.
Машины Тьюринга и рекурсивные функции [Электронный ресурс] : научное издание / Г. Эббинхауз, К. Якобс, Г. Хермес. - М. : [б. и.], 1972. - 136 с. - Б. ц.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
вычислимые функции -- алгоритм -- машины Тьюринга -- диаграмма Тьюринга -- неразрешимое множество -- теорема Клини -- перечислимость -- перечислимость множества -- выражения -- префиксы -- лемма -- случайные бесконечные -- периодичность
Доп.точки доступа:
Якобс, К.
Хермес, Г.
Беті 1, Нәтижелерін: 7