|
|
 |
| Результат поиска |
Поиск книг, содержащих: Функция частично рекурсивная
| Книга | Страницы для поиска | | Новиков П.С. — Конструктивная математическая логика с точки зрения классической | 270 | | Верещагин Н.К., Шень А. — Вычислимые функции | 155, 156 | | Мендельсон Э. — Введение в математическую логику | 235 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика | 253 | | Мальцев А.И. — Алгоритмы и рекурсивные функции | 13,42 | | Манин Ю.И., Панчишкин А.А. — Введение в теорию чисел | 98 | | Лаллеман Ж. — Полугруппы и комбинаторные приложения | 152 | | Степанов С.А. — Арифметика алгебраических кривых | 344 | | Гладкий А.В. — Формальные грамматики и языки | 49 | | Карри Х.Б. — Основания математической логики | 169 | | Такеути Г. — Теория доказательств | 133 | | Виноградов И.М. — Математическая энциклопедия. Предметный указатель | I—819, 820; IV—960; V—833 | | Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 113 | | Гаек П., Гавранек Т. — Автоматическое образование гипотез | 22 | | Бердж В. — Методы рекурсивного программирования | 44 | | Бабенко К.И. (ред.) — Теоретические основы и конструирование численных алгоритмов математической физики | 67, 68 | | Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга | 30, 184 | | Мендельсон Э. — Введение в математическую логику | 235 | | Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 253 |
|
|
|
|
О проекте