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

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

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

Виды поиска: 
Стандартный Расширенный По словарю
Поиск в найденном
 Найдено в других БД:"Руконт"-Национальный цифровой ресурс (1)
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=ВЫЧИСЛИМЫЕ<.>)
Общее количество найденных документов : 5
Показаны документы с 1 по 5
 1..5 
1.
В12
С54

    Соар, Роберт И.
    Вычислимо перечислимые множества и степени [Текст] : изучение вычислимых функций и вычислимо перечисленных множеств: Пер. с англ. / Роберт И. Соар. - Казань : Казан.математ.общество, 2000. - 576с. - ISBN 5-900975-22-3 : 20.00 р.
ББК В12
Рубрики: математика
Кл.слова (ненормированные):
множества -- вычислимые функции

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

    Успенский, Владимир Андреевич.
    Лекции о вычислимых функциях [Текст] : нелитературный текст / В. А. Успенский. - М. : Физматгиз, 1960. - 492 с. - (Математическая логика и основания математики). - 5.00 р.
ББК В127
Рубрики: Основания математики
Кл.слова (ненормированные):
б-ка Русина -- вычислимые функции

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

    Яблонский, С. В.
    Введение в дискретную математику [Текст] : учеб. пособие для вузов / С.В. Яблонский. - М. : Наука , 1979. - 272 с. : ИЛ. - Библиогр.: с.266-267 . -Предм. указ.: с. 268-272. - (в пер.) : 0.85 р.
ГРНТИ
27.41.41
УДК
519.7/8

Кл.слова (ненормированные):
АЛГЕБРА  -- k - значная логика -- АВТОМАТИЧНЫЕ -- ВЫЧИСЛИМЫЕ -- ФУНКЦИИ -- теорема о полноте -- формула Клини -- РЕКУРСИВНОСТЬ -- ГРАФЫ -- СЕТИ -- теория кодирования -- КИБЕРНЕТИКА -- ДИЗЪЮНКТИВНЫЕ формы -- ФУНКЦИОНАЛЬНЫЕ -- ЭЛЕМЕНТЫ -- СИНТЕЗ СУММАТОРА

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

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

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

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

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

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

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

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