Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=рекурсивные функции<.>)
Общее количество найденных документов
:
10
Показаны документы
с 1 по 10
1..10
1.
В127
М30
Марченков, Сергей Серафимович
.
Элементарные
рекурсивные
функции
[Текст] : нелитературный текст / С. С. Марченков. - М. : МЦНМО, 2003. - 112с. -
ISBN
5-94057-098-4 : 30.00 р.
ББК
В127
Рубрики:
математика
основания математики
Кл.слова (ненормированные):
рекурсивные
функции
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
2.
В127
Д26
Дегтев, Александр Николаевич
.
Рекурсивно перечислимые множества и сводимости табличного типа [Текст] : нелитературный текст / А. Н.Дегтев. - М. : Наука,Физматлит, 1998. - 176с. -
ISBN
5-02-014843-1 : 30.00 р.
ББК
В127
Рубрики:
Основания математики
Кл.слова (ненормированные):
б-ка Русина
--
рекурсивные
функции
--
алгоритмы
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
3.
В121
А85
Арсланов, Марат Мирзаевич
.
Локальная теория степеней неразрешимости и множества [Текст] : нелитературный текст / М. М.Арсланов. - Казань : Казан.ун-т, 1987. - 137с. - 2.00 р.
ББК
В121
Рубрики:
Основания математики
Кл.слова (ненормированные):
б-ка Русина
--
множества
--
степени неразрешимости
--
рекурсивные
функции
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
4.
В12
М21
Мальцев, Анатолий Иванович
.
Алгоритмы и
рекурсивные
функции
[Текст] : нелитературный текст / А. И.Мальцев. - 2-е изд. - М. : Наука, 1986. - 367с. - 10.00 р.
ББК
В12
Рубрики:
Основания математики
Кл.слова (ненормированные):
б-ка Русина
--
алгоритмы
--
рекурсивные
функции
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
5.
В12
М21
Мальцев, Анатолий Иванович
.
Алгоритмы и
рекурсивные
функции
[Текст] : нелитературный текст / А. И.Мальцев. - М. : Наука, 1965. - 391с. - 10.00 р.
ББК
В12
Рубрики:
основания математики
Кл.слова (ненормированные):
б-ка Русина
--
алгоритмы
--
рекурсивные
функции
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
6.
В127
П29
Петер, Р.
Рекурсивные
функции
[Текст] : нелитературный текст / Р.Петер ; Под ред.А.Н.Колмогорова.Пер.с нем. - М. : Иностр.лит., 1954. - 264с. - 10.00 р.
ББК
В127
Рубрики:
Основания математики
Кл.слова (ненормированные):
б-ка Русина
--
функции
--
рекурсивные
функции
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
7.
В127
Р60
Роджерс, Х.
Теория рекурсивных функций и эффективная вычислимость [Текст] : нелитературный текст / Х.Роджерс ; Пер. с англ. - М. : Мир, 1972. - 624 с. - 30.00 р.
ББК
В127
Рубрики:
Основания математики
Кл.слова (ненормированные):
б-ка Русина
--
рекурсивные
функции
--
множества
--
алгоритмы
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
8.
В12я73
Е80
Ершов, Юрий Леонидович
.
Е-определимость и теорема Гёделя о неполноте [Текст] : учеб. пособие для вузов / Ю. Л. Ершов. - Новосибирск : Научная книга, 1995. - 75 с. -
ISBN
5-88119-003-3 : 10.00 р.
ББК
В12я73
Рубрики:
Основания математики
Кл.слова (ненормированные):
б-ка Русина
--
теория алгоритмов
--
множества допустимые
--
рекурсивные
функции
--
учебник В12
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
9.
В127
М38
Эббинхауз, Г. -Д.
Машины Тьюринга и
рекурсивные
функции
[Текст] : нелитературный текст / Г.-Д. Эббинхауз, К. Якобс, Ф.-К. Ман, Г. Хермес. Пер. с нем. - М. : Мир, 1972. - 264 с. - ("Современная математика". Попул. серия). - 5.00 р.
ББК
В127
Рубрики:
основания математики
Кл.слова (ненормированные):
б-ка Русина
--
рекурсивные
функции
--
машины Тьюринга
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
10.
В12я73
Д84
Дурнев, Валерий Георгиевич
.
Элементы теории алгоритмов [Текст] : учеб. пособие для вузов / В. Г. Дурнев. - Ярославль : [б. и.], 2008. - 247 с. -
ISBN
978-5-8397-0622-4 : 128.00 р.
ББК
В12я73
Рубрики:
Логика
Кибернетика
Кл.слова (ненормированные):
математическая логика
--
математическая кибернетика
--
алгоритмы
--
конечные автоматы
--
рекурсивные
функции
--
машины Тьюринга
--
учебник В12
--
учебник В181.3
--
ЯрГУ
Держатели документа:
ЯрГУ ЯрГУ/СИО, ЯрГУ/ОРК, ЯрГУ/Ф7
Свободных экз. нет
Найти похожие
1..10