|
|
 |
| Результат поиска |
Поиск книг, содержащих: Проблема остановки
| Книга | Страницы для поиска | | Верещагин Н.К., Шень А. — Вычислимые функции | 112 | | Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 837 | | Клини С. — Математическая логика | 296 | | Мальцев А.И. — Алгоритмы и рекурсивные функции | 252, 311, 319 | | Уэзерелл Ч. — Этюды для программистов | 74 | | Барвайс Д. — Справочная книга по математической логике. Часть 3: теория рекурсии | 20, 52 | | Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 176 | | Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 164 | | Кудрявцев В.Б., Алёшин С.В., Подколзин А.С. — Введение в теорию автоматов | 190 | | Пападимитриу Х., Стайглиц К. — Комбинаторная оптимизация. Алгоритмы и сложность. | 160, 191 | | Энгелер Э. — Метаматематика элементарной математики | 122 | | Пенроуз Р. — Тени разума. В поисках науки о сознании | 61, 329, 575, 578 | | Брукшир Д.Г. — Введение в компьютерные науки. Общий обзор | 582 | | Клини С.К. — Математическая логика | 296 | | Нильсен М., Чанг И. — Квантовые вычисления и квантовая информация | 173 |
|
|
|
|
О проекте