Поисковый запрос: (<.>S=Вычислимость в математической логике<.>) |
Общее количество найденных документов : 7
Показаны документы с 1 по 7 |
1. 
|
Вид документа : Однотомное издание
Шифр издания : В12/Е804
Автор(ы) : Ершов, Юрий Леонидович
Заглавие : Определимость и вычислимость
Выходные данные : Новосибирск: Науч. кн., 1996
Колич.характеристики :286 с
Серия: Сиб. шк. алгебры и логики
Примечания : Библиогр.: с. 277-279. - Предм. указ.: с. 281-284
ISBN, Цена 5-88119-007-6: Б.ц.
ГРНТИ : 27.03.17
ББК : В127
Предметные рубрики: вычислимость в математической логике
Геделя теорема
Дескрипторы: моногр
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
|
2.
|
Вид документа : Однотомное издание
Шифр издания : З 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)
Найти похожие
|
3.
|
Вид документа : Однотомное издание
Шифр издания : И-В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)
Перейти: Оглавление
Найти похожие
|
4.
|
Вид документа : Однотомное издание
Шифр издания : 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)
Найти похожие
|
5.
|
Вид документа : Однотомное издание
Шифр издания : Пр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)
Найти похожие
|
6.
|
Вид документа : Однотомное издание
Шифр издания : Пр31/Пр31/156
Заглавие : Структурные алгоритмические свойства вычислимости
: Сб. науч. тр.
Выходные данные : Новосибирск, 1996
Колич.характеристики :152 с
Серия: Вычислительные системы, ISSN 0568-661X; 156
Примечания : Библиогр. в конце ст.
Цена : Б.ц.
ГРНТИ : 27.03
ББК : В127я43
Предметные рубрики: Вычислимость в математической логике
Вычислимых нумераций теория
Дескрипторы: сб пр--сб
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
|
7.
|
Вид документа : Однотомное издание
Шифр издания : Пр31/Пр31/161
Заглавие : Обобщенная вычислимость и определимость
: сборник
Выходные данные : Новосибирск, 1998
Колич.характеристики :175 с
Серия: Вычислительные системы, ISSN 0568-661X; 161
Примечания : Библиогр. в конце ст.
Цена : Б.ц.
ГРНТИ : 27.47 + 27.03
ББК : В127я43 + В173.1я43
Предметные рубрики: Вычислимость в математической логике
Булево программирование
Дескрипторы: сб пр--сб
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
|
|
|
Главная
Описание
Шлюз Z39.50
Стандартный