|
|
 |
| Результат поиска |
Поиск книг, содержащих: Функция Аккермана
| Книга | Страницы для поиска | | Верещагин Н.К., Шень А. — Вычислимые функции | 150, 163 | | Свами М., Тхуласираман К. — Графы, сети и алгоритмы | 136 | | Ахо А.В., Хопкрофт Д.Э., Ульман Д.Д. — Структуры данных и алгоритмы | 166 | | Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 424 | | Мальцев А.И. — Алгоритмы и рекурсивные функции | 106 | | Вирт Н. — Алгоритмы + структуры данных = программы | 188 | | Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 406, 509 | | Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 191 | | Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 180 | | Гаврилов Г.П., Сапоженко А.А. — Сборник задач по дискретной математике | 240 | | Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 122 | | Стерлинг Л., Шапиро Э. — Исскуство программирования на языке Пролог | 42 | | Браун П. (ред.) — Мобильность программного обеспечения | 169, 167 | | Немнюгин С.А. — Turbo Pascal | 316 | | Андерсон Р. — Доказательство правильности программ | 113, 118, 130, 135, 146 | | Хопкрофт Д., Мотвани Р., Ульман Д. — Введение в теорию автоматов, языков и вычислений | 390 | | Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга | 31, 38 |
|
|
|
|
О проекте