|
|
 |
| Результат поиска |
Поиск книг, содержащих: Множество разрешимое
| Книга | Страницы для поиска | | Верещагин Н.К., Шень А. — Вычислимые функции | 9, 13, 15, 98, 138 | | Манин Ю.И. — Вычислимое и невычислимое | 37 | | Манин Ю.И., Панчишкин А.А. — Введение в теорию чисел | 105 | | Кушнер Б.А. — Лекции по конструктивному математическому анализу | 100 | | Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 95 | | Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 17, 18, 69 | | Степанов С.А. — Арифметика алгебраических кривых | 345 | | Гончаров С.С. — Счетные булевы алгебры и разрешимость | 177 | | Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 207 | | Успенский В.А., Семенов А.Л. — Теория алгоритмов: основные открытия и приложения | 78 | | Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 193 | | Виноградов И.М. — Математическая энциклопедия. Предметный указатель | I—227; IV—532, 852 | | Манин Ю.И. — Вычислимое и невычислимое | 37 | | Шрейдер Ю.А. — Равенство, сходство, порядок | 228 |
|
|
|
|
О проекте