Главная Упрощенный режим Описание Шлюз Z39.50

Базы данных

Всего записей: 50699

Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска

Вид поиска
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Вычислимость в математической логике<.>)
Общее количество найденных документов : 7
Показаны документы с 1 по 7
1.
   В12
   Е804

    Ершов, Юрий Леонидович.
    Определимость и вычислимость [Текст] / Ю. Л. Ершов. - Новосибирск : Науч. кн., 1996. - 286 с. - (Сиб. шк. алгебры и логики)
Библиогр.: с. 277-279. - Предм. указ.: с. 281-284
27.03.17
ББК В127
Рубрики: вычислимость в математической логике
   Геделя теорема
Дескрипторы: моногр

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 4-11-97
Найти похожие
2.
   З 81
   П252

    Пенроуз, Роджер.
    Новый ум короля [Текст] : о компьютерах, мышлении и законах физики / Р. Пенроуз; Пер. с англ. под общ. ред. Малышенко В.О. - М. : Едиториал УРСС, 2003. - 382 с. : ил. - Пер. изд. : The emperor's new mind/ Penrose R
Библиогр.: с. 365-372. - Указ. имен., предм.: с. 373-379
28.23
27.03.17
ББК З 813 + В31 + В127
Рубрики: Искусственный интеллект
   Теоретическая физика
   Вычислимость в математической логике
   Сложность вычислений алгоритмов
Дескрипторы: моногр

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 27-13-2004
Найти похожие
3.
   И-В12
   M83
И-В12 / M83-02

    Moore , Cristopher.
    The nature of computation / C. Moore , S. Mertens. - Oxford ; New York : Oxford univ. press, 2011. - XVII,985 p. : ill. - Bibliogr.: p. 945-973. - Ind.: p. 974-985
Перевод заглавия: Природа вычислений
ГРНТИ
27.03
27.41
ББК В127 + В19
Рубрики: Вычислимость в математической логике
   Сложность--Вычислений алгоритмов
   Вычислительная математика

Перейти: Оглавление

Доп.точки доступа:
Mertens, Stephan
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 78-4-2013+02
Найти похожие
4.
   Pr1090
   Pr1090/2003-44
Pr1090/2003-44 / Pr1090/2003-44-02

    Berman, Piotr.
    Approximation hardness and satisfiability of bounded occurrence instances of SAT : сборник / P. Berman, M. Karpinski, A.D. Scott. - Bonn : [s. n.], 2003. - 13 p. - (Preprint series / Max-Planck-Inst. fur Mathematik ; MPI 03-44). - Bibliogr.: p. 11-13
Перевод заглавия: Аппроксимативная жесткость и выполняемость связанных событий SAT
27.03
ББК В127
Рубрики: Вычислимые функции
   Вычислимость в математической логике
Дескрипторы: моногр -- сб пр


Доп.точки доступа:
Karpinski, Marek; Scott, Alex D
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Найти похожие
5.
   Пр31
   Пр31/139
Пр31/139 / Пр31/139-02

   
    Теория вычислимости и языки спецификаций / АН СССР. Сиб. отд-ние. Ин-т математики; Науч. ред.: Ю.Л. Ершов, С.С. Гончаров. - Новосибирск : [б. и.], 1991. - 192 с., включ. обл. : ил. - (Вычислительные системы : сб. науч. тр., ISSN 0568-661X ; 139). - Библиогр. в конце ст. -
50.05.09
27.03
ББК З 973.2-018.12я43 + В127Я43 + В123С512Я43
Рубрики: Языки программирования
   Вычислимость в математической логике
   Прикладная логика
Дескрипторы: сб пр


Доп.точки доступа:
Ершов, Ю.Л. \ред.\; Гончаров, С.С. \ред.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 2-19-93но
Найти похожие
6.
   Пр31
   Пр31/156
Пр31/156 / Пр31/156-02

   
    Структурные алгоритмические свойства вычислимости : сб. науч. тр. / Рос. акад. наук. Сиб. отд-ние. Ин-т математики им. С.Л. Соболева; Науч. ред.: Ершов Ю.Л., Гончаров С.С. - Новосибирск : [б. и.], 1996. - 152 с. - (Вычислительные системы, ISSN 0568-661X ; 156). - Библиогр. в конце ст. -
27.03
ББК В127я43
Рубрики: Вычислимость в математической логике
   Вычислимых нумераций теория
Дескрипторы: сб пр -- сб


Доп.точки доступа:
Ершов, Ю.Л. \ред.\; Гончаров, С.С. \ред.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 28-19-97но
Найти похожие
7.
   Пр31
   Пр31/161
Пр31/161 / Пр31/161-02

   
    Обобщенная вычислимость и определимость : сборник / Рос. акад. наук. Сиб. отд-ние. Ин-т математики им. С.Л. Соболева; Науч. ред.: Ершов Ю.Л., Гончаров С.С. - Новосибирск : [б. и.], 1998. - 175 с. - (Вычислительные системы, ISSN 0568-661X ; 161). - Библиогр. в конце ст. -
27.47
27.03
ББК В127я43 + В173.1я43
Рубрики: Вычислимость в математической логике
   Булево программирование
Дескрипторы: сб пр -- сб


Доп.точки доступа:
Ершов, Ю.Л. \ред.\; Гончаров, С.С. \ред.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 16-19-99но
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН