Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Найдено в других БД:
Электронный каталог МУБиНТ, г. Ярославль (1)
"Руконт"-Национальный цифровой ресурс (1)
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=РЕКУРСИВНЫЕ<.>)
Общее количество найденных документов
:
19
Показаны документы
с 1 по 19
1..19
1.
В127
М30
Марченков, Сергей Серафимович
.
Элементарные
рекурсивные
функции [Текст] : нелитературный текст / С. С. Марченков. - М. : МЦНМО, 2003. - 112с. -
ISBN
5-94057-098-4 : 30.00 р.
ББК
В127
Рубрики:
математика
основания математики
Кл.слова (ненормированные):
рекурсивные
функции
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
2.
З973.2-018
Б25
Баррон, Д
.
Рекурсивные
методы в программировании [Текст] : нелитературный текст / Д.Баррон ; Пер.с англ.Под ред.Э.З.Любимского. - М. : Мир, 1974. - 80с. - (Математическое обеспечение ЭВМ). - 2.00 р.
ББК
З973.2-018
Рубрики:
программирование
вычислительная техника
Кл.слова (ненормированные):
Б-ка Русина
--
программы ЭВМ
--
цифровые вычислительные машины
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
3.
В127
Д26
Дегтев, Александр Николаевич
.
Рекурсивно перечислимые множества и сводимости табличного типа [Текст] : нелитературный текст / А. Н.Дегтев. - М. : Наука,Физматлит, 1998. - 176с. -
ISBN
5-02-014843-1 : 30.00 р.
ББК
В127
Рубрики:
Основания математики
Кл.слова (ненормированные):
б-ка Русина
--
рекурсивные
функции
--
алгоритмы
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
4.
В121
А85
Арсланов, Марат Мирзаевич
.
Локальная теория степеней неразрешимости и множества [Текст] : нелитературный текст / М. М.Арсланов. - Казань : Казан.ун-т, 1987. - 137с. - 2.00 р.
ББК
В121
Рубрики:
Основания математики
Кл.слова (ненормированные):
б-ка Русина
--
множества
--
степени неразрешимости
--
рекурсивные
функции
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
5.
В12
М21
Мальцев, Анатолий Иванович
.
Алгоритмы и
рекурсивные
функции [Текст] : нелитературный текст / А. И.Мальцев. - 2-е изд. - М. : Наука, 1986. - 367с. - 10.00 р.
ББК
В12
Рубрики:
Основания математики
Кл.слова (ненормированные):
б-ка Русина
--
алгоритмы
--
рекурсивные
функции
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
6.
В12
М21
Мальцев, Анатолий Иванович
.
Алгоритмы и
рекурсивные
функции [Текст] : нелитературный текст / А. И.Мальцев. - М. : Наука, 1965. - 391с. - 10.00 р.
ББК
В12
Рубрики:
основания математики
Кл.слова (ненормированные):
б-ка Русина
--
алгоритмы
--
рекурсивные
функции
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
7.
В127
П29
Петер, Р.
Рекурсивные
функции [Текст] : нелитературный текст / Р.Петер ; Под ред.А.Н.Колмогорова.Пер.с нем. - М. : Иностр.лит., 1954. - 264с. - 10.00 р.
ББК
В127
Рубрики:
Основания математики
Кл.слова (ненормированные):
б-ка Русина
--
функции
--
рекурсивные
функции
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
8.
В127
Р60
Роджерс, Х.
Теория рекурсивных функций и эффективная вычислимость [Текст] : нелитературный текст / Х.Роджерс ; Пер. с англ. - М. : Мир, 1972. - 624 с. - 30.00 р.
ББК
В127
Рубрики:
Основания математики
Кл.слова (ненормированные):
б-ка Русина
--
рекурсивные
функции
--
множества
--
алгоритмы
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
9.
В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