Результати пошуку

== Визначення == == Рекурсивні формули == ...

В цій ієрархії присутні всі [[примітивно рекурсивна функція|примітивно рекурсивні функції]] і тільки вони. == Визначення == ...

* ''рекурсивні фільтри першого порядку,'' що відповідають лінійному згладжуванню, вигляду ...утнього. Рекурсивні фільтри першого порядку також забезпечують систему для визначення рекурсивних наближень гауссового ядра, які в слабшому сенсі зберігають деяк ...

...мінні алгоритму, збігається з класом рекурсивних функцій. У зв'язку з цим, рекурсивні функції грають важливу роль в математиці та її застосуваннях, в першу чергу == Визначення == ...

...орії множин]], доказ якої нетривіальний. Коли [[Область визначення|областю визначення]] функції є натуральні числа, достатніми умовами для чинності означення є н * [[Рекурсивні типи даних]] ...

...ножини (включно зі самим <math>x</math>). У деяких випадках непредикативне визначення може [[Автореференція|призвести]] до непорозумінь чи навіть суперечностей. ...math>, що містить X; при цьому <math>M</math> виглядає закінченою, хоча це визначення може вплинути на її склад<ref name="KLEENE">{{Книга ...

...значення динамічних структур даних, таких як '''списки''' та '''дерева'''. Рекурсивні [[Структура даних|структури даних]] можуть динамічно збільшуватися до довіл === Взаємно рекурсивні типи даних === ...

...міститься в універсальній множині ''U''. Виходячи з цього можна дати таке визначення універсальної множини: якщо в рамках деякої задачі розглядаються тільки під [[Категорія:Рекурсивні визначення]] ...

...мова, що сприймається деяким автоматом. Становлять особливий інтерес такі визначення протоколу схем програм, які призводять до разрешиких детерминантах. Для так ...з одної чтслової моделі в іншу. Операторні схеми ефективно переводяться в рекурсивні схеми в сигнатурі, проте зворотна трансляція неможлива, тому що виконання р ...

...чином стати непродуктивною. Багато функцій, що традиційно аналізуються як рекурсивні можна представити як корекурсивні, що завершуються на певній стадії, наприк ...]] розвивається по ходу. Наприклад, щоб обчислити ''fac(3)'', відбуваються рекурсивні виклики ''fac(2)'', ''fac(1)'', ''fac(0)'' ("намотуючи" стек), рекурсія зав ...

[[Категорія:Рекурсивні визначення]] ...

== Визначення == [[Категорія:Рекурсивні визначення]] ...

Вони також відомі як '''рекурсивні числа''',<ref>{{Cite book ...|doi=10.1016/0001-8708(83)90004-X|mr=697614|doi-access=free}}</ref> або '''рекурсивні дійсні числа'''.<ref>{{Cite journal|last=Rogers|first=Hartley, Jr.|year=195 ...

...''t'' складається з пари&nbsp;— значення ''v'' і лісу ''f'' (нащадків). Це визначення елегантне і його легко використовувати для роботи, оскільки дерево виражаєт ...можна перетворити на єдине рекурсивне визначення, використовуючи вбудоване визначення лісу: t: v <nowiki>[t[1], ..., t[k]]</nowiki>. ...

...фільтрів низьких частот. Широко використовуються як, [[Рекурсивний фільтр|рекурсивні фільтри]] так і [[FIR-фільтр|фільтри із скінченною імпульсною характеристик ...о кола, що праворуч, відповідно до [[Правила Кірхгофа|Законів Кірхгофа]] і визначення [[Ємність (електрика)|ємності]] маємо: ...

== Визначення == Формальніше, скейн-співвідношення можна розглядати, як визначення [[Ядро (алгебра)|ядра]] [[Фактор-множина|фактор-відображення]] з {{Нп|Плана ...

Проте для '''втілення''' це визначення непрактичне, оскільки воно безперервне. Для застосування концепції простору == Рекурсивні фільтри == ...

Наприклад, всі частково рекурсивні функції складаються з деякого фіксованого набору основних функцій за допомо Тому однією з вимог, яка пред'являється до визначення алгоритму при його практичному використанні, є те, щоб і вид перероблюваної ...

== Визначення == Наведене визначення є одним з можливих визначень пророчої машини. Всі ці визначення тотожні, бо всі вони покладаються на якусь особливу функцію ''f'', що може ...

* {{Не перекладено|логіка визначення релевантності||en|Relevance logic}}, {{Не перекладено|лінійна логіка||en|Li ...комбінаторної логіки. Система арифметики такої логіки містить всі частково рекурсивні функції та уникає геделевської неповноти; ...