Refine your search
Availability
-
Bibliographic level
- Книги (3)
-
Authors
-
Locations
- Книгохранилище (3)
- Читальный зал 5 (2)
- Абонемент. Депозитарий (2)
-
Item types
- Выдается в читальный зал (3)
- 1 неделя (2)
- 1 месяц (2)
- 6 месяцев (2)
-
Topics
- теория рекурсии (3)
- математическая логика (2)
- учебные пособия для вузов (2)
- Беллмана алгоритм оптимальной одномерной упаковки (1)
- Карацубы алгоритм умножения длинных целых чисел (1)
- Компьютеры персональные (1)
- Неймана алгоритм сортировки массива чисел слиянием (1)
- Программирование (1)
- Тарьяна алгоритм поиска остовного дерева в графе (1)
- Фибоначчи числа (1)
- аксиоматическая теория множеств (1)
- алгебра логики (1)
- алгоритмическая логика (1)
- алгоритмические конструкции (1)
- алгоритмы вычислительные (1)
- алгоритмы генетические (1)
- алгоритмы рекурсивные (1)
- декомпозиция (1)
- динамическое программирование (1)
- дискретная математика (1)
- задачи по математической логике (1)
- исчисление высказываний (1)
- исчисление предикатов (1)
- квадратные корни (1)
- модальная логика (1)
- натуральные числа (1)
- программная реализация алгоритмов (1)
- рекуррентные соотношения (1)
- ресурсная эффективность рекурсивных алгоритмов (1)
- темпоральная логика (1)
- теорема о полноте (1)
- теории первого порядка (1)
- теория алгоритмов (1)
- теория множеств (1)
- теория моделей (1)
- теория моделей языка первого порядка (1)
- теория нечетких множеств (1)
- факториалы (1)
- функции нескольких переменных (1)
- функции производящие (1)
- функции рекурсивные (1)
- функции специальные (1)
- экстремум (1)
- Show more
- Show less