Похожие статьи:

1. Примитивная рекурсивная арифметика Примитивная рекурсивная арифметика Примитивная рекурсивная арифметика (PRA) — формализация арифметики первого порядка без аксиом индукции.  PRA...
2. Общая рекурсивная функция Общая рекурсивная функция μ-рекурсивные функции являются обобщением рекурсивных функций, определенных с помощью μ-оператора.  μ-рекурсивные функции могут...
3. Рекурсивная грамматика Рекурсивная грамматика Определение рекурсивной грамматики Рекурсивная грамматика содержит правила, которые могут привести к созданию строки с...
4. Основная теорема (анализ алгоритмов) Основная теорема (анализ алгоритмов) Основная теорема асимптотического анализа Основная теорема позволяет определить асимптотическую сложность рекурсивных алгоритмов. ...
5. ЭЛЕМЕНТАРНО начальный Определение и классификация элементарных рекурсивных функций Элементарные рекурсивные функции — это объединение классов примитивных рекурсивных...
6. Монадическое исчисление предикатов Монадическое исчисление предикатов Монадическое исчисление предикатов — фрагмент логики первого порядка с монадическими символами отношений и...
7. Предел функции Предел функции Определение предела функции Предел функции f(x) при x стремящемся к p равен L, если...
8. Первоклассная функция Первоклассная функция Определение и важность первоклассных функций Первоклассные функции позволяют передавать функции как аргументы и возвращать...
9. Анонимная функция Анонимная функция Определение и использование анонимных функций Анонимные функции — это функции без явного имени, которые...
10. Функция Аккермана Функция Аккермана Функция Аккермана используется для определения времени выполнения рекурсивных алгоритмов.  Функция Аккермана растет быстрее, чем...
11. Постоянно-рекурсивная последовательность Постоянная рекурсивная последовательность Константно-рекурсивные последовательности имеют свойство повторяемости с постоянным коэффициентом.  Линейная рекуррентность является уравнением, описывающим...
12. Редукция (теория вычислимости) Редукция (теория вычислимости) Определение рекурсии Рекурсия — это процесс, при котором функция вызывает сама себя.  Рекурсивные...
13. Композиция функций (информатика) Функциональный состав (информатика) Основы функциональной композиции Функциональная композиция объединяет простые функции для создания более сложных.  Результат...
14. Индукция-рекурсия Индукция-рекурсия Основы индукционно-рекурсивной теории типов Индукционно-рекурсия позволяет одновременно объявлять тип и функцию для этого типа.  Созданные...
15. Функция-преемник Функция преемника Функция-преемница в математике передает натуральное число следующему, обозначаемая через S.  Функция-преемница является одним из...
16. Список важных публикаций по математике Список важных публикаций по математике История развития теории чисел Теория чисел — это раздел математики, изучающий...
17. Примитивное понятие Примитивное понятие Примитивное понятие в математике, логике, философии и формальных системах не определяется в терминах ранее...
18. Сублинейная функция Сублинейная функция Определение и свойства сублинейных функций Сублинейная функция — это функция, которая удовлетворяет неравенству треугольника. ...
19. Переключение функций Переключатель функций Переключение функций в разработке ПО Переключение функций позволяет включать или отключать функции в коде...
20. Теорема о примитивном элементе Теорема о примитивных элементах Теорема о примитивных элементах утверждает, что каждое конечное расширение алгебраического числового поля...
21. Гиперарифметическая теория Гиперарифметическая теория Определение и свойства рекурсивных функций Рекурсивная функция — это функция, которая вызывает сама себя. ...
22. Мероморфная функция Мероморфная функция Мероморфная функция в комплексном анализе — функция, голоморфная на открытом подмножестве D за исключением...