Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных:

Сводный каталог НТЛ по Ярославской области

Электронный каталог выпускных квалификационных работ

Виды поиска:

Поиск в найденном

Найдено в других БД:

"Руконт"-Национальный цифровой ресурс (2)

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=ТЬЮРИНГА<.>)
Общее количество найденных документов : 11 Показаны документы с 1 по 11

1..11

З818
А79

Арбиб, Майкл А.
Мозг,машина и математика [Текст] : нелитературный текст / Майкл А.Арбиб ; Пер.с англ. - М. : Наука, 1968. - 224с. - 2.00 р.

ББК З818
Рубрики: Кибернетика
Нейрокибернетика
Кл.слова (ненормированные):
б-ка Русина -- машины Тьюринга -- теория автоматов

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

В12я54
Т33

Минц, Г. Е.
Теоретические применения методов математической логики. 2 [Текст] : сборник работ / под ред. Г. Е. Минца, В. П. Оревкова. - Л. : Наука, 1977. - 149 с. - (Записки научных семинаров ЛОМИ, том 68). - 5.00 р.

ББК В12я54
Рубрики: логика
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- теория множеств -- конструктивные аналоги -- машины Тьюринга

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие

В127
М38

Эббинхауз, Г. -Д.
Машины Тьюринга и рекурсивные функции [Текст] : нелитературный текст / Г.-Д. Эббинхауз, К. Якобс, Ф.-К. Ман, Г. Хермес. Пер. с нем. - М. : Мир, 1972. - 264 с. - ("Современная математика". Попул. серия). - 5.00 р.

ББК В127
Рубрики: основания математики
Кл.слова (ненормированные):
б-ка Русина -- рекурсивные функции -- машины Тьюринга

Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

87.155.6
П20

Патнэм, Х.
Философия сознания [Текст] / Х.Патнэм. - М. : Дом интеллектуал.книги,Совершенство, 1998. - 234с. - ISBN 5-8089-0027-1 : 24,20 р.

УДК

87.155.6

ББК 87.6
Рубрики: 34.Философские науки.
Кл.слова (ненормированные):
Природа ментальных состояний.Двойник Земли.Машина Тьюринга.Философия логики.

Держатели документа:
ЯрЦБС ЯрЦБС/ЧЗ
Свободных экз. нет
Найти похожие

В18я73
А 47

Алексеев, Владимир Евгеньевич.
Графы и алгоритмы. Структура данных. Модели вычислений [] : учебник для вузов / В. Е. Алексеев, В. А. Таланов. - М. : Интернет-Ун-т Информационных Технологий : БИНОМ. Лаборатория знаний, 2006. - 319 с. - (Основы информационных технологий). - ISBN 5-94774-543-7. - ISBN 5-9556-0066-3 : 300.00 р.

ББК В18я73
Рубрики: Кибернетика
Кл.слова (ненормированные):
информатика -- математическая кибернетика -- графы -- алгоритмы -- структуры данных -- модели вычислений -- машины Тьюринга -- учебник В18

Держатели документа:
ЯрГУ

Доп.точки доступа:
Таланов, Владимир Александрович
Свободных экз. нет
Найти похожие

В12я73
Д84

Дурнев, Валерий Георгиевич.
Элементы теории алгоритмов [Текст] : учеб. пособие для вузов / В. Г. Дурнев. - Ярославль : [б. и.], 2008. - 247 с. - ISBN 978-5-8397-0622-4 : 128.00 р.

ББК В12я73
Рубрики: Логика
Кибернетика
Кл.слова (ненормированные):
математическая логика -- математическая кибернетика -- алгоритмы -- конечные автоматы -- рекурсивные функции -- машины Тьюринга -- учебник В12 -- учебник В181.3 -- ЯрГУ

Держатели документа:
ЯрГУ ЯрГУ/СИО, ЯрГУ/ОРК, ЯрГУ/Ф7
Свободных экз. нет
Найти похожие

681.5
К26

Карпов, Ю. Г.
Теория автоматов [Текст] : учебник для вузов / Ю.Г. Карпов. - СПб. : Питер, 2002. - 206 с. : табл., схемы, рис. - Библиогр.: с. 204-206 . - ISBN 5-318-00537-3 (в пер.) : 77.52 р.

ГРНТИ	28.15
УДК	681.5

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

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие

519.7
Ф19

Фалевич, Б. Я.
Теория алгоритмов [Текст] : учеб. пособие для вузов / Б.Я. Фалевич. - М. : Машиностроение, 2004. - 160 с. : ил. - (Для вузов). - Библиогр.: с.160. - ISBN 5-217-03249-9 : 88.00 р.

ГРНТИ	28.25.23
УДК	519.7

Кл.слова (ненормированные):
МАССОВАЯ ПРОБЛЕМА -- МАШИНЫ -- ТЬЮРИНГА -- ДВОИЧНОЕ -- КОДИРОВАНИЕ -- МОДЕЛИРОВАНИЕ -- СЛОВ АЛФАВИТа -- самоприменимость -- ЗАПИСЬ -- МАРКОВА -- КОНЕЧНЫЕ АВТОМАТЫ -- РЕКУРСИВНЫЕ -- ФУНКЦИИ -- МНОЖЕСТВ -- ПРЕДИКАТЫ -- ГРАФОВ

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие

519.7/8
А95

Ахо, А.
Построение и анализ вычислительных алгоритмов [Текст] : пер. с англ. / А. Ахо, Дж. Хопкрофт, Дж. Ульман. - М. : Мир, 1979. - 536 с. : рис. - Библиогр.: с. 502-513. -Глоссарий: с.514-515. -Имен. указ.: с. 516-518. -Предм. указ.: с. 519-532. - (в пер.) : 2.60 р.

ГРНТИ	28.25.23
УДК	519.7/8

Кл.слова (ненормированные):
РЕКУРСИЯ -- МАШИНА ТЬЮРИНГА -- СОРТИРОВКА -- ГРАФЫ -- ЗАДАЧИ ПЕРЕБОРА -- УПОРЯДОЧЕНИЕ -- МАССИВОВ -- ДАННЫХ -- УМНОЖЕНИЯ -- ЧИСЕЛ -- МАТРИЦ -- БЫСТРОЕ -- ПРЕОБРАЗОВАНИЕ -- ФУРЬЕ -- ПОЛИНОМЫ -- ИДЕНТИФИКАЦИИ

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163

Доп.точки доступа:
Хопкрофт, Дж.; Ульман, Дж.
Свободных экз. нет
Найти похожие

10.

519.7/8
М38

Машины Тьюринга и рекурсивные функции [Текст] : пер. с нем. / Г.-Д. Эббинхауз, К. Якобс, Ф.-К. Ман. - М. : Мир, 1972. - 264 с. : ил. - (Современная математика). - Имен. указ.: с.249-250. -Предм. указ.: с.251-262 . -Библиогр. в конце глав. - 0.89 р.

ГРНТИ	28
УДК	519.7/8

Кл.слова (ненормированные):
АЛГОРИТМ -- ВЫЧИСЛИМЫЕ -- ПЕРЕЧИСЛИМОСТЬ -- Шмульян -- выполнимость выражений -- проблема разрешимости -- игра домино -- логика предикатов -- префиксы

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163

Доп.точки доступа:
Эббинхауз, Г.-Д.; Якобс, К.; Ман, Ф.-К.
Свободных экз. нет
Найти похожие

11.

519.7/8
К89

Кузнецов, О. П.
Дискретная математика для инженера [Текст] : научное издание / О.П. Кузнецов, Г.М. Адельсон-Вельский. - М. : Энергия, 1980. - 342 с. : рис., табл. - Библиогр.: с. 335-337. -Предм. указ.: с. 338-341. - (в пер.) : 1.40 р.

ГРНТИ	27
УДК	519.7/8

Кл.слова (ненормированные):
МНОЖЕСТВА -- БУЛЕВА АЛГЕБРА -- ЛОГИКА ПРЕДИКАТОВ -- ПОЛНОТА -- ЗАМКНУТОСТЬ -- ГРАФЫ -- ТЕОРИЯ АЛГОРИТМОВ -- МАШИНЫ ТЬЮРИНГА -- РЕКУРСИВНЫЕ -- ФУНКЦИИ -- ВЫЧИСЛИМОСТЬ -- РАЗРЕШИМОСТЬ -- ФОРМАЛЬНЫЕ -- СИСТЕМЫ -- ИСЧИСЛЕНИЯ -- АВТОМАТЫ -- ЭКСТРЕМАЛЬНЫЕ -- ЗАДАЧИ -- ПЕРЕБОР

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163

Доп.точки доступа:
Адельсон-Вельский, Г.М.
Свободных экз. нет
Найти похожие

1..11