Поисковый запрос: (<.>S=Вычислимость в математической логике<.>) |
Общее количество найденных документов : 7
Показаны документы с 1 по 7 |
1.
|
Вид документа : Однотомное издание Шифр издания : Pr1090/Pr1090/2003-44
Автор(ы) : Berman, Piotr, Karpinski, Marek, Scott, Alex D
Заглавие : Approximation hardness and satisfiability of bounded occurrence instances of SAT
: сборник
Выходные данные : Bonn, 2003 Колич.характеристики :13 p.
Серия: Preprint series/ Max-Planck-Inst. fur Mathematik; MPI 03-44
Примечания : Bibliogr.: p. 11-13
Цена : 3.10 р.
ГРНТИ : 27.03 ББК : В127 Предметные рубрики: Вычислимые функции Вычислимость в математической логике Дескрипторы: моногр--сб пр
Экземпляры :02(1) Свободны : 02(1) Найти похожие
|
2.
|
Вид документа : Однотомное издание Шифр издания : И-В12/M83
Автор(ы) : Moore , Cristopher, Mertens, Stephan
Заглавие : The nature of computation
Выходные данные : Oxford; New York: Oxford univ. press, 2011 Колич.характеристики :XVII,985 p.:
ill.
Примечания : Bibliogr.: p. 945-973Ind.: p. 974-985
ISBN, Цена 978-0-19-923321-2: 1440 р.
ГРНТИ : 27.03 + 27.41 ББК : В127 + В19 Предметные рубрики: Вычислимость в математической логике Сложность-- Вычислений алгоритмов Вычислительная математика
Экземпляры :02(1) Свободны : 02(1) Перейти: Оглавление Найти похожие
|
3.
|
Вид документа : Однотомное издание Шифр издания : В12/Е804
Автор(ы) : Ершов, Юрий Леонидович
Заглавие : Определимость и вычислимость
Выходные данные : Новосибирск: Науч. кн., 1996 Колич.характеристики :286 с
Серия: Сиб. шк. алгебры и логики
Примечания : Библиогр.: с. 277-279. - Предм. указ.: с. 281-284
ISBN, Цена 5-88119-007-6: Б.ц.
ГРНТИ : 27.03.17 ББК : В127 Предметные рубрики: вычислимость в математической логике Геделя теорема Дескрипторы: моногр
Экземпляры :02(1) Свободны : 02(1) Найти похожие
|
4.
|
Вид документа : Однотомное издание Шифр издания : Пр31/Пр31/161
Заглавие : Обобщенная вычислимость и определимость
: сборник
Выходные данные : Новосибирск, 1998 Колич.характеристики :175 с
Серия: Вычислительные системы, ISSN 0568-661X; 161
Примечания : Библиогр. в конце ст.
Цена : Б.ц.
ГРНТИ : 27.47 + 27.03 ББК : В127я43 + В173.1я43 Предметные рубрики: Вычислимость в математической логике Булево программирование Дескрипторы: сб пр--сб
Экземпляры :02(1) Свободны : 02(1) Найти похожие
|
5.
|
Вид документа : Однотомное издание Шифр издания : З 81/П252
Автор(ы) : Пенроуз, Роджер
Заглавие : Новый ум короля
: О компьютерах, мышлении и законах физики
Выходные данные : М.: Едиториал УРСС, 2003 Колич.характеристики :382 с.:
ил
Перевод издания: The emperor's new mind/ Penrose R
Примечания : Библиогр.: с. 365-372. - Указ. имен., предм.: с. 373-379
ISBN, Цена 5-354-00005-Х: 100 р.
ГРНТИ : 28.23 + 27.03.17 ББК : З 813 + В31 + В127 Предметные рубрики: Искусственный интеллект Теоретическая физика Вычислимость в математической логике Сложность вычислений алгоритмов Дескрипторы: моногр
Экземпляры :02(1) Свободны : 02(1) Найти похожие
|
6.
|
Вид документа : Однотомное издание Шифр издания : Пр31/Пр31/156
Заглавие : Структурные алгоритмические свойства вычислимости
: Сб. науч. тр.
Выходные данные : Новосибирск, 1996 Колич.характеристики :152 с
Серия: Вычислительные системы, ISSN 0568-661X; 156
Примечания : Библиогр. в конце ст.
Цена : Б.ц.
ГРНТИ : 27.03 ББК : В127я43 Предметные рубрики: Вычислимость в математической логике Вычислимых нумераций теория Дескрипторы: сб пр--сб
Экземпляры :02(1) Свободны : 02(1) Найти похожие
|
7.
|
Вид документа : Однотомное издание Шифр издания : Пр31/Пр31/139
Заглавие : Теория вычислимости и языки спецификаций
Выходные данные : Новосибирск, 1991 Колич.характеристики :192 с., включ. обл.:
ил.
Серия: Вычислительные системы: сб. науч. тр., ISSN 0568-661X; 139
Примечания : Библиогр. в конце ст.
ISBN, Цена 5-7623-0102-8: Б.ц.
ГРНТИ : 50.05.09 + 27.03 ББК : З 973.2-018.12я43 + В127Я43 + В123С512Я43 Предметные рубрики: Языки программирования Вычислимость в математической логике Прикладная логика Дескрипторы: сб пр
Экземпляры :02(1) Свободны : 02(1) Найти похожие
|
|