Логин (фамилия):

Пароль (штрих-код):

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

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 Свободных экз. нет Найти похожие