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

'''Аксіома приєднання'''— [[аксіома]] в [[теорія множин|теорії множин]]. Введена {{нп|Паулем Бернайс|Паулем Бернайсом||Paul ...абка аксіома, що використовується в деяких слабких системах, як [[загальна теорія множин]] (GST). ...

У [[теорія рекурсії|теорії рекурсії]], '''операція мінімізації''' ({{lang-en|minimization operator}}), або '''μ У [[теорія рекурсії|теорії рекурсії]], '''операція мінімізації''', або '''μ-оператор''' — це [[рекурсивний ...

'''Ієрархія Гжегорчика''' — ієрархія функцій в [[Теорія обчислюваності|теорії обчислюваності]], названа іменем польського логіка {{ # результат обмеженої (примітивної) рекурсії застосований до функцій класу, (якщо ''g'', ''h'', ''j'' в <math>\mathcal{E ...

...a/uk/library/dissertations/bohatyrova.pdf Богатирьова Юлія Олександрівна - ТЕОРІЯ МУЛЬТИМНОЖИН ТА ЇЇ ЗАСТОСУВАННЯ]</ref> [[Категорія:Теорія рекурсії]] ...

Дане означення дійсне для всіх ''n'', через те, що в процесі рекурсії врешті-решт досягається '''початковий варіант''' 0. Означення можна також р [[Теорема рекурсії]] стверджує, що таке означення насправді задає функцію. Доведення ґрунтуєть ...

[[Категорія:Теорія рекурсії]] ...

=== Операція примітивної рекурсії === {{main|Операція примітивної рекурсії}} ...

...кий «стискає» або «обрізає» тип до пропозиційної секвенції у [[Гомотопічна теорія типів|гомотопічній теорії типів]]. Позначається подвійною вертикальною риск ...яка не «запам'ятовує» інформацію про те, який диз'юнкт є істинним. Принцип рекурсії для обрізання має на увазі, що можна провести аналіз на випадок <math>||A+B ...

В [[теорія обчислень|теорії обчислень]] '''нумерація''' - це присвоєння [[Натуральні ч [[Категорія:Теорія алгоритмів]] ...

...нформатика|програмуванні]] '''взаємна рекурсія'''&nbsp;— це вид [[Рекурсія|рекурсії]], коли два математичних або програмних об'єкти, таких як функції або типи Найважливіший приклад даних, які можуть бути визначені за допомогою взаємної рекурсії&nbsp;— [[Дерево (структура даних)|дерево]], яке можна визначити в термінах ...

...nbsp;— це операція [[Двоїста категорія|двоїста]] до [[Процедура рекурсивна|рекурсії]]. Тоді як рекурсія працює аналітично, починаючи з даних далеких від базово Класичним прикладом рекурсії є обчислення факторіалу, який рекурсивно визначається як <math>0! := 1</mat ...

...омбінаториці]], яке використовують також і в інших областях, наприклад в [[теорія ймовірностей|теорії ймовірностей]]: якщо <math>X</math>&nbsp;— [[ймовірнісн ...випадкової величини|характеристична функція]]» має незалежне значення в [[Теорія ймовірностей|класичній теорії ймовірностей]]. З цієї причини {{нп|Список ма ...

[[Категорія:Теорія рекурсії]] [[Категорія:Теорія алгоритмів]] ...

Важливим застосуванням рекурсії в [[Інформатика|інформатиці]] є визначення динамічних структур даних, таких Типи даних також можна визначити шляхом [[Взаємна рекурсія|взаємної рекурсії]]. Найважливішим базовим прикладом цього є [[Дерево (структура даних)|дерев ...

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

У [[математика|математиці]], особливо в [[теорія множин|теорії множин]], кажуть, що дві [[Впорядкована множина|впорядковані ...[[відношення еквівалентності]], вона [[Розбиття множини|розбиває]] [[Клас (теорія множин)|клас]] всіх впорядкованих множин на [[Клас еквівалентності|класи ек ...

...ція''' ({{lang-en|computable function}})&nbsp;— основний об'єкт вивчення [[Теорія обчислень|теорії обчислень]]. Обчисленною функцією <math>f:\mathbb N^k\righ У [[Теорія обчислюваності|теорії обчисленності в інформатиці]], поширине поняття [[фор ...

...ною теорією, яка дозволяє вільно оперувати як [[множина]]ми, так і [[Клас (теорія множин)|класами]]. Окрім стандартних логічних зв'язок, [[квантор]]ів та сим ...athbf{On}</math>. Існування класу конструктивних множин забезпечує теорема рекурсії, про яку мова нижче. ...

В [[Теорія складності обчислень|теорії складності]] і [[Теорія обчислюваності|теорії обчислюваності]], '''пророча машина''' ({{lang-en|ora ...оритму з оракулом виявилось важливим з методологічної точки зору. Зокрема, теорія алгоритмів використовує поняття елементарної операції. Поняття елементарнос ...

Центральне питання [[Теорія вузлів|теорії вузлів]]&nbsp;— чи відображають дві [[Діаграма вузла|діаграми ...ння задає лінійний зв'язок значень многочлена вузла на трьох [[Зачеплення (теорія вузлів)|зачепленнях]], які відрізняються одне від одного лише в малій ділян ...