Логин (фамилия): Пароль (штрих-код):

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

Базы данных: 
Электронный каталог МУБиНТ, г. ЯрославльЭлектронный каталог МУБиНТ, г. РыбинскЦентр иностранной литературыСводный каталог НТЛ по Ярославской области"Руконт"-Национальный цифровой ресурсЭлектронный каталог выпускных квалификационных работ

Виды поиска: 
Стандартный Расширенный По словарю
Поиск в найденном
Поисковый запрос: (<.>K=теорема Майхилла<.>)
Общее количество найденных документов : 1
 1..1 
1.
519.7
К29

    Катленд, Н.
    Вычислимость. Введение в теорию рекурсивных функций [Текст] : пер. с англ. / Н. Катленд. - М. : Мир, 1983. - 256 с. : ил. - Библиогр.: с. 252. - 1.00 р.
ГРНТИ
27
УДК
519.7

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

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