Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>S=Вычислимость в математической логике<.>)
Общее количество найденных документов
:
7
Показаны документы
с 1 по 7
1.
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)
Найти похожие
2.
И-В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
Найти похожие
3.
В12
Е804
Ершов, Юрий Леонидович
.
Определимость и вычислимость [Текст] / Ю. Л. Ершов. - Новосибирск : Науч. кн., 1996. - 286 с. - (Сиб. шк. алгебры и логики)
Библиогр.: с. 277-279. - Предм. указ.: с. 281-284
27.03.17
ББК
В127
Рубрики:
вычислимость в математической логике
Геделя теорема
Дескрипторы:
моногр
Экземпляры всего:
1
02 (1)
Свободны:
02 (1)
Инвентарный номер:
4-11-97
Найти похожие
4.
Пр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но
Найти похожие
5.
З 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
Найти похожие
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/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но
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН