|
|
 |
| Результат поиска |
Поиск книг, содержащих: Функция общерекурсивная
| Книга | Страницы для поиска | | Новиков П.С. — Конструктивная математическая логика с точки зрения классической | 270 | | Верещагин Н.К., Шень А. — Вычислимые функции | 156, 157 | | Мендельсон Э. — Введение в математическую логику | 136 | | Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. — Логика. Автоматы. Алгоритмы | 475, 479, 483 | | Мальцев А.И. — Алгоритмы и рекурсивные функции | 46 | | Барвайс Д. — Справочная книга по математической логике. Часть 3: теория рекурсии | 16 | | Карри Х.Б. — Основания математической логики | 187 | | Такеути Г. — Теория доказательств | 133 | | Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 194 | | Новиков П.С. — Элементы математической логики | 325 | | Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 181 | | Виноградов И.М. — Математическая энциклопедия. Предметный указатель | I—820; III—1147; IV—960 | | Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 113 | | Гаек П., Гавранек Т. — Автоматическое образование гипотез | 23 | | Сэвидж Д.Э. — Сложность вычислений | см. "Функция рекурсивная" | | Бабенко К.И. (ред.) — Теоретические основы и конструирование численных алгоритмов математической физики | 68 | | Новиков П.С. — Элементы математической логики | 325 | | Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга | 23, 31, 184 | | Мендельсон Э. — Введение в математическую логику | 136 |
|
|
|
|
О проекте