Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=вычислимость<.>)
Общее количество найденных документов
:
9
Показаны документы
с 1 по 9
1..9
1.
В12я43
С87
Ершов, Ю. Л.
Структурные алгоритмические свойства вычислимости [Текст] : сборник науч.трудов / Науч.ред.Ю.Л.Ершов,С.С.Гончаров.Ин-т математики СО РАН. - Новосибирск : [б. и.], 1996. - 152с. - (Вычислительные системы.Вып.156). - 10.00 р.
ББК
В12я43
Рубрики:
Основания математики
Кл.слова (ненормированные):
б-ка Русина
--
вычислимость
--
универсальные алгебры
--
интерированные модели
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
2.
В12я43
О-21
Ершов, Ю. Л.
Обобщенная
вычислимость
и определимость [Текст] : сборник науч.трудов / Под ред.Ю.Л.Ершова,С.С.Гончарова.Ин-т математики СО РАН. - Новосибирск : [б. и.], 1998. - 175с. - (Вычислительные системы.Вып.161). - 15.00 р.
ББК
В12я43
Рубрики:
основания математики
кибернетика
Кл.слова (ненормированные):
б-ка Русина
--
математическая кибернетика
--
семантическое программирование
--
теория моделей
--
математические модели вычислимости
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
3.
В127
Р60
Роджерс, Х.
Теория рекурсивных функций и эффективная
вычислимость
[Текст] : нелитературный текст / Х.Роджерс ; Пер. с англ. - М. : Мир, 1972. - 624 с. - 30.00 р.
ББК
В127
Рубрики:
Основания математики
Кл.слова (ненормированные):
б-ка Русина
--
рекурсивные функции
--
множества
--
алгоритмы
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
4.
В12
Е80
Ершов, Юрий Леонидович
.
Определимость и
вычислимость
[Текст] : нелитературный текст / Ю. Л. Ершов. - Новосибирск : Научная книга, 1996. - 286 с. - (Сибирская школа алгебры и логики). -
ISBN
5-88119-007-7 : 50.00 р.
ББК
В12
Рубрики:
Основания математики
Кл.слова (ненормированные):
б-ка Русина
--
определимость
--
вычислимость
--
теория допустимых множеств
--
динамическая логика
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
5.
22.12
Б90
Булос, Д.
Вычислимость
и логика [Текст] : пер.с англ. / Д.Булос. - М. : Мир, 1994. - 396с. -
ISBN
5-03-003067-0 : Б. ц.
ББК
22.12
Рубрики:
2.Физико-математические науки.
Кл.слова (ненормированные):
Математическая логика.
Держатели документа:
ЯрЦБС
Доп.точки доступа:
Джеффри, Р. ЯрЦБС/АБ,Ф14
Свободных экз. нет
Найти похожие
6.
519.7/8
М53
Месарович, М.
Общая теория систем: математические основы [Текст] : пер. с англ. / М. Месарович, Я. Такахара. - М. : Мир, 1978. - 312 с. : ил. - Библиогр.: с.288-289 . -Предм. указ.: с. 305-308. - (в пер.) : 1.40 р.
Приложения: с. 285-304
ГРНТИ
28
УДК
519.7/8
Кл.слова (ненормированные):
ТЕОРИЯ РЕАЛИЗАЦИИ
--
ЛИНЕЙНОСТЬ
--
ПРЕДОПРЕДЕЛЕННОСТЬ
--
СТАЦИОНАРНОСТЬ
--
ИНВАРИАНТНОСТЬ
--
УПРАВЛЯЕМОСТЬ
--
УСТОЙЧИВОСТЬ
--
АВТОНОМНОСТЬ
--
ДЕКОМПОЗИЦИЯ
--
СОЕДИНЕНИЯ
--
ВЫЧИСЛИМОСТЬ
--
НЕПРОТИВОРЕЧИВОСТЬ
--
ПОЛНОТА
--
КАТЕГОРИИ
--
ФУНКТОРЫ
Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Доп.точки доступа:
Такахара, Я.
Свободных экз. нет
Найти похожие
7.
519.7/8
М23
Манин, Ю. И.
Вычислимое и невычислимое [Текст] : научное издание / Ю.И. Манин. - М. : Советское радио, 1980. - 128 с. : ил. - Библиогр.: с.123 . -Имен. указ.: с.125. -Предм. указ.: с. 125. - 0.45 р.
ГРНТИ
28
УДК
519.7/8
Кл.слова (ненормированные):
РЕКУРСИВНЫЕ
--
ФУНКЦИИ
--
АЛГОРИТМ
--
ДИОФАНТОВЫ МНОЖЕСТВА
--
НЕРАЗРЕШИМОСТЬ
--
СЛОЖНОСТЬ ПО КОЛМОГОРОВУ
--
СЛУЧАЙНОСТЬ
--
ВЕРСАЛЬНЫЕ СЕМЕЙСТВА
--
ФОРМАЛЬНЫЕ ЯЗЫКИ
--
ВЫЧИСЛИМОСТЬ
--
теорема Геделя
--
принцип неполноты
Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие
8.
519.7/8
К89
Кузнецов, О. П.
Дискретная математика для инженера [Текст] : научное издание / О.П. Кузнецов, Г.М. Адельсон-Вельский. - М. : Энергия, 1980. - 342 с. : рис., табл. - Библиогр.: с. 335-337. -Предм. указ.: с. 338-341. - (в пер.) : 1.40 р.
ГРНТИ
27
УДК
519.7/8
Кл.слова (ненормированные):
МНОЖЕСТВА
--
БУЛЕВА АЛГЕБРА
--
ЛОГИКА ПРЕДИКАТОВ
--
ПОЛНОТА
--
ЗАМКНУТОСТЬ
--
ГРАФЫ
--
ТЕОРИЯ АЛГОРИТМОВ
--
МАШИНЫ ТЬЮРИНГА
--
РЕКУРСИВНЫЕ
--
ФУНКЦИИ
--
ВЫЧИСЛИМОСТЬ
--
РАЗРЕШИМОСТЬ
--
ФОРМАЛЬНЫЕ
--
СИСТЕМЫ
--
ИСЧИСЛЕНИЯ
--
АВТОМАТЫ
--
ЭКСТРЕМАЛЬНЫЕ
--
ЗАДАЧИ
--
ПЕРЕБОР
Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Доп.точки доступа:
Адельсон-Вельский, Г.М.
Свободных экз. нет
Найти похожие
9.
519.7
К29
Катленд, Н.
Вычислимость
. Введение в теорию рекурсивных функций [Текст] : пер. с англ. / Н. Катленд. - М. : Мир, 1983. - 256 с. : ил. - Библиогр.: с. 252. - 1.00 р.
ГРНТИ
27
УДК
519.7
Кл.слова (ненормированные):
ВЫЧИСЛИМЫЕ
--
тезис Чёрча
--
символы Поста и Маркова
--
НУМЕРАЦИЯ
--
УНИВЕРСАЛЬНЫЕ
--
ПРОГРАММЫ
--
РАЗРЕШИМОСТЬ
--
НЕРАЗРЕШИМОСТЬ
--
МНОЖЕСТВА
--
алгоритм Штурма
--
теорема Гёделя
--
теорема Майхилла
--
СВОДИМОСТЬ
--
ФОРМАЛЬНАЯ АРИФМЕТИКА
Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие
1..9