В12 Е804 Ершов, Юрий Леонидович. Определимость и вычислимость [Текст] / Ю. Л. Ершов. - Новосибирск : Науч. кн., 1996. - 286 с. - (Сиб. шк. алгебры и логики) Библиогр.: с. 277-279. - Предм. указ.: с. 281-284 Рубрики: вычислимость в математической логике Геделя теорема Дескрипторы: моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
З 81 П252 Пенроуз, Роджер. Новый ум короля [Текст] : о компьютерах, мышлении и законах физики / Р. Пенроуз; Пер. с англ. под общ. ред. Малышенко В.О. - М. : Едиториал УРСС, 2003. - 382 с. : ил. - Пер. изд. : The emperor's new mind/ Penrose R Библиогр.: с. 365-372. - Указ. имен., предм.: с. 373-379 Рубрики: Искусственный интеллект Теоретическая физика Вычислимость в математической логике Сложность вычислений алгоритмов Дескрипторы: моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-В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 Перевод заглавия: Природа вычислений
Рубрики: Вычислимость в математической логике Сложность--Вычислений алгоритмов Вычислительная математика Перейти: Оглавление Доп.точки доступа: Mertens, Stephan Экземпляры всего: 1 02 (1) Свободны: 02 (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 Рубрики: Вычислимые функции Вычислимость в математической логике Дескрипторы: моногр -- сб пр Доп.точки доступа: Karpinski, Marek; Scott, Alex D Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Пр31 Пр31/139 Пр31/139 / Пр31/139-02 Теория вычислимости и языки спецификаций / АН СССР. Сиб. отд-ние. Ин-т математики; Науч. ред.: Ю.Л. Ершов, С.С. Гончаров. - Новосибирск : [б. и.], 1991. - 192 с., включ. обл. : ил. - (Вычислительные системы : сб. науч. тр., ISSN 0568-661X ; 139). - Библиогр. в конце ст. - Рубрики: Языки программирования Вычислимость в математической логике Прикладная логика Дескрипторы: сб пр Доп.точки доступа: Ершов, Ю.Л. \ред.\; Гончаров, С.С. \ред.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Пр31 Пр31/156 Пр31/156 / Пр31/156-02 Структурные алгоритмические свойства вычислимости : сб. науч. тр. / Рос. акад. наук. Сиб. отд-ние. Ин-т математики им. С.Л. Соболева; Науч. ред.: Ершов Ю.Л., Гончаров С.С. - Новосибирск : [б. и.], 1996. - 152 с. - (Вычислительные системы, ISSN 0568-661X ; 156). - Библиогр. в конце ст. - Рубрики: Вычислимость в математической логике Вычислимых нумераций теория Дескрипторы: сб пр -- сб Доп.точки доступа: Ершов, Ю.Л. \ред.\; Гончаров, С.С. \ред.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Пр31 Пр31/161 Пр31/161 / Пр31/161-02 Обобщенная вычислимость и определимость : сборник / Рос. акад. наук. Сиб. отд-ние. Ин-т математики им. С.Л. Соболева; Науч. ред.: Ершов Ю.Л., Гончаров С.С. - Новосибирск : [б. и.], 1998. - 175 с. - (Вычислительные системы, ISSN 0568-661X ; 161). - Библиогр. в конце ст. - Рубрики: Вычислимость в математической логике Булево программирование Дескрипторы: сб пр -- сб Доп.точки доступа: Ершов, Ю.Л. \ред.\; Гончаров, С.С. \ред.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |