Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Найдено в других БД:
"Руконт"-Национальный цифровой ресурс (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