|
|
 |
| Результат поиска |
Поиск книг, содержащих: Нумерация вычислимая
| Книга | Страницы для поиска | | Верещагин Н.К., Шень А. — Вычислимые функции | 24, 30 | | Мальцев А.И. — Алгоритмы и рекурсивные функции | 146 | | Барвайс Д. — Справочная книга по математической логике. Часть 3: теория рекурсии | 271, 272, 276, 278 | | Ершов Ю.Л. — Теория нумераций | 32, 33, 273 | | Ершов Ю.Л. — Определимость и вычислимость | 150 | | Гончаров С.С. — Счетные булевы алгебры и разрешимость | 171, 178 | | Успенский В.А., Семенов А.Л. — Теория алгоритмов: основные открытия и приложения | 126, 127, 128 |
|
|
|
|
О проекте