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

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

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

Виды поиска: 
Стандартный Расширенный По словарю
Поиск в найденном
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>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