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

Базы данных:

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

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

Виды поиска:

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

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

Электронный каталог МУБиНТ, г. Ярославль (1)

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

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

Поисковый запрос: (<.>K=РЕКУРСИВНЫЕ<.>)
Общее количество найденных документов : 19 Показаны документы с 1 по 19

1..19

В127
М30

Марченков, Сергей Серафимович.
Элементарные рекурсивные функции [Текст] : нелитературный текст / С. С. Марченков. - М. : МЦНМО, 2003. - 112с. - ISBN 5-94057-098-4 : 30.00 р.

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

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

З973.2-018
Б25

Баррон, Д.
Рекурсивные методы в программировании [Текст] : нелитературный текст / Д.Баррон ; Пер.с англ.Под ред.Э.З.Любимского. - М. : Мир, 1974. - 80с. - (Математическое обеспечение ЭВМ). - 2.00 р.

ББК З973.2-018
Рубрики: программирование
вычислительная техника
Кл.слова (ненормированные):
Б-ка Русина -- программы ЭВМ -- цифровые вычислительные машины

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

В127
Д26

Дегтев, Александр Николаевич.
Рекурсивно перечислимые множества и сводимости табличного типа [Текст] : нелитературный текст / А. Н.Дегтев. - М. : Наука,Физматлит, 1998. - 176с. - ISBN 5-02-014843-1 : 30.00 р.

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

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

В121
А85

Арсланов, Марат Мирзаевич.
Локальная теория степеней неразрешимости и множества [Текст] : нелитературный текст / М. М.Арсланов. - Казань : Казан.ун-т, 1987. - 137с. - 2.00 р.

ББК В121
Рубрики: Основания математики
Кл.слова (ненормированные):
б-ка Русина -- множества -- степени неразрешимости -- рекурсивные функции

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

В12
М21

Мальцев, Анатолий Иванович.
Алгоритмы и рекурсивные функции [Текст] : нелитературный текст / А. И.Мальцев. - 2-е изд. - М. : Наука, 1986. - 367с. - 10.00 р.

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

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

В12
М21

Мальцев, Анатолий Иванович.
Алгоритмы и рекурсивные функции [Текст] : нелитературный текст / А. И.Мальцев. - М. : Наука, 1965. - 391с. - 10.00 р.

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

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

В127
П29

Петер, Р.
Рекурсивные функции [Текст] : нелитературный текст / Р.Петер ; Под ред.А.Н.Колмогорова.Пер.с нем. - М. : Иностр.лит., 1954. - 264с. - 10.00 р.

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

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

В127
Р60

Роджерс, Х.
Теория рекурсивных функций и эффективная вычислимость [Текст] : нелитературный текст / Х.Роджерс ; Пер. с англ. - М. : Мир, 1972. - 624 с. - 30.00 р.

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

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

В12я54
Т33

Маслов, С. Ю.
Теоретические применения методов математической логики. 1 [Текст] : сборник работ / под ред. С. Ю. Маслова, Г. Е. Минца. - Л. : Наука, 1975. - 180 с. - (Записки научных семинаров ЛОМИ, том 49). - 5.00 р.

ББК В12я54
Рубрики: логика
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- мутационные исчисления -- трансфинитные выводы -- рекурсивные предикаты

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

10.

В12я73
Е80

Ершов, Юрий Леонидович.
Е-определимость и теорема Гёделя о неполноте [Текст] : учеб. пособие для вузов / Ю. Л. Ершов. - Новосибирск : Научная книга, 1995. - 75 с. - ISBN 5-88119-003-3 : 10.00 р.

ББК В12я73
Рубрики: Основания математики
Кл.слова (ненормированные):
б-ка Русина -- теория алгоритмов -- множества допустимые -- рекурсивные функции -- учебник В12

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

11.

В127
М38

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

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

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

12.

В19я73
Г61

Головешкин, Василий Адамович.
Теория рекурсии для программистов [Текст] : [учеб. пособие для вузов] / В. А. Головешкин, М. В. Ульянов. - М. : Физматлит, 2006. - 292 с. - (Математика. Прикладная математика). - ISBN 5-9221-0721-6 : 212.42 р.

ББК В19я73
Рубрики: Вычислительная математика
Кл.слова (ненормированные):
рекурсивные алгоритмы -- вычислительные алгоритмы -- теория рекурсии -- учебник В19

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

13.

В12я73
Д84

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

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

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

14.

004.42
К37

Кетков, Ю. Л.
Практика программирования: Бейсик, Си, Паскаль [Текст] : самоучитель / Ю.Л. Кетков, А.Ю. Кетков. - СПб. : БХВ-Петербург, 2002. - 480 с. - Указ.: с.457-461. -Библиогр.: с.463-464 . - ISBN 5-94157-104-6 : 128.00 р.
Прил. с.457-465

ГРНТИ	50.05.13
УДК	004.42

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

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

Доп.точки доступа:
Кетков, А.Ю.
Свободных экз. нет
Найти похожие

15.

519.7
Ф19

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

ГРНТИ	28.25.23
УДК	519.7

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

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

16.

519.7/8
К20

Капитонова, Ю. В.
Математическая теория проектирования вычислительных систем [Текст] : научное издание / Ю.В. Капитонова, А.А. Летичевский. - М. : Наука. Гл.ред. физ.-мат. лит., 1988. - 295 с. : рис. - Библиогр.: с. 292-295. - ISBN 5-02-013777-4 (в пер.) : 2.50 р.

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

Кл.слова (ненормированные):
МОДЕЛИ -- ДИСКРЕТНЫЕ СИСТЕМЫ -- АЛГОРИТМЫ -- РЕКУРСИВНЫЕ -- ПРОГРАММЫ -- СТРУКТУРЫ ДАННЫХ -- АРХИТЕКТУРА ЭВМ

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

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

17.

519.7/8
М38

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

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

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

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

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

18.

519.7/8
М23

Манин, Ю. И.
Вычислимое и невычислимое [Текст] : научное издание / Ю.И. Манин. - М. : Советское радио, 1980. - 128 с. : ил. - Библиогр.: с.123 . -Имен. указ.: с.125. -Предм. указ.: с. 125. - 0.45 р.

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

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

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

19.

519.7/8
К89

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

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

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

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

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

1..19