Резултати претраге
Пређи на навигацију
Пређи на претрагу
- У [[теорија израчунљивости|теорији израчунљивости]], [[скуп]] [[природан број|природних Ако је ''-{A}-'' рекурзиван скуп, онда је и његов [[комплемент (теорија скупова)|комплемент]] рекурзиван скуп. Ако су ''-{A}-'' и ''-{B}-'' рекурзи …5 kB (158 речи) - 10:08, 16. јануар 2024.
- * [[Унија (теорија скупова)|унија]] <math>L \cup P</math> * [[Пресек (теорија скупова)|пресек]] <math>L \cap P</math> …6 kB (130 речи) - 10:08, 16. јануар 2024.
- [[Категорија:Теорија рекурзије]] [[Категорија:Теорија израчунљивости]] …4 kB (1 реч) - 22:12, 7. април 2024.
- У [[теорија изарачунљивости|теорији израчунљивости]], '''машина која увек стаје''' или …стога машина -{''M''}- може да произведе свој индекс; ово је улога теореме рекурзије). По претпоставци, ова симулација би у неком тренутку дала одговор. Ако се …10 kB (238 речи) - 01:53, 7. мај 2024.
- …родних бројева]] који су "компатибилни" на интуитиван начин. У ствари, у [[Теорија израчунљивости (рачунарство)|теорији израчунљивости]] је показано да су μ… Скуп свих рекурзивних функција познат је као [[R (сложеност)|R]] у [[Теорија комплексности|рачунарској теорији комплексности]]. …15 kB (869 речи) - 22:51, 13. јануар 2024.
- [[Датотека:Droste.jpg|мини|Визуелни облик рекурзије познат као ''[[Дросте ефекат]]''.]] == Формалне дефиниције рекурзије == …19 kB (308 речи) - 23:10, 1. март 2025.
- …[[Рачунарство|рачунарству]], '''узајамна рекурзија''' је облик [[Рекурзија|рекурзије]] где се две математичке или рачунарске функције или два објекта, дефинишу …изације репном рекурзијом, и тако ефикасност имплементације узајамно репне рекурзије може бити одсутна у језицима који оптимизују само репно-рекурзивне позиве. …22 kB (1 реч) - 20:55, 7. мај 2024.
- '''Израчунљиве функције''' су основни предмети истраживања у [[Теорија израчунљивости (рачунарство)|теорији рачунања]]. Израчунљиве функције су фо …дужином улаза. Поља [[Теорија комплексности|изводљиве израчунљивости]] и [[Теорија комплексности|израчунљиве комплексности]] студијских функција које се могу …32 kB (1 реч) - 08:20, 28. април 2022.
- У [[теорија израчунљивости|теорији израчунљивости]], '''Акерманова функција''' или '''А …ових функција увек завршава. Рекурзија је ограничена јер се у сваком нивоу рекурзије или ''m'' смањује, или ''m'' остаје исто, а ''n'' се смањује. Сваки пут кад …25 kB (835 речи) - 02:47, 14. јануар 2024.
- …ту ка пуној формализацији израчунљивости. Ове функције су такође важне у [[Теорија доказа|теорији доказа]]. …римитивних рекурзивних функција је познат као [[ПР (комплексност)|ПР]] у [[Теорија комплексности|рачунској теорији комплексности]]. …40 kB (1.087 речи) - 09:25, 22. децембар 2024.
- * [[Свођење (теорија рачунске сложености)|Свођење (сложеност)]], трансформација једног проблема * Свођење (теорија рекурзије), дати су низови А и В природних бројева, могуће је ефикасно претворити мет …14 kB (70 речи) - 03:36, 2. мај 2016.
- У [[теорија израчунавања|теорији израчунавања]], '''детерминистички коначни аутомат''' …Овде је реч о рекурзији чија дубина није ограничена. За сваки следећи ниво рекурзије би било потребно ново стање. …8 kB (228 речи) - 21:32, 14. јануар 2024.
- …орија описног скупа|ефективне теорије описног скупа]], и студија формалних теорија као што је [[Пеано аксиоме|Пеано аритметика]]. [[Хипераритметичка теорија|Хипераритметичка хијерархија]] и [[аналитичка хијерархија]] продужују аритм …31 kB (999 речи) - 04:59, 8. фебруар 2025.
- {{друго значење3|Теорија израчунљивости (рачунарство)}} …[[теорија аутомата|теорију аутомата]] и језике, теорију израчунљивости и [[Теорија комплексности|теорију комплексности]], с тим да све гране изучавају формалн …24 kB (1.162 речи) - 02:20, 26. мај 2024.
- …[[Математичка логика|математичке логике]], [[Информатика|информатике]] и [[Теорија израчунљивости|теорије израчунљивости]] је настала 1930-их са проучавањем… …Сламана на [[Нормалан број|нормалним бројевима]] који решавају проблем у [[Теорија аналитичких бројева|теорији аналитичких бројева]]. …71 kB (1.722 речи) - 08:36, 15. март 2025.
- …tski generisano2">{{harvnb|Epp|1995|pp=}}</ref><blockquote class="">"Снага рекурзије очигледно лежи у могућности дефинисања бесконачног низа објеката до коначно …е да стално зову код. [[Computability theory (computer science)|Рекурзивна теорија]] доказује да ови строго рекурзивни језици су [[Тјурингова потпуност|Тјурин …71 kB (1.918 речи) - 10:09, 6. мај 2024.
- …A intersect B.svg|thumb|right|[[Венов дијаграм]] који илуструје [[Пресек (теорија скупова)|пресек]] два [[скуп]]а.]] …скупова допуштају да се формализују сви математички појмови. На тај начин теорија скупова постаје стандардна основа математике пошто сваки математички објект …41 kB (1.511 речи) - 09:09, 13. мај 2024.
- …једноставно дефинисане рекурзивне релације могу имати веома комплексне ([[теорија хаоса]]) особине, и они припадају пољу математике који је познат под називо …а решења ''r''<sub>1</sub>, ''r''<sub>2</sub>, ... посебна, онда је решење рекурзије облика …57 kB (3.140 речи) - 10:23, 13. април 2024.
- Нормализована форма LRLS има мање рекурзије и променљивих. Може се израчунати применом нормализације интерних варијабли [[Категорија:Теорија филтера]] …24 kB (2.306 речи) - 10:08, 16. јануар 2024.
- …orije brojeva]], preko [[Нумеричка математика|numeričke matematike]], do [[Теорија графова|teorije grafova]]. Svi ovi algoritmi imaju jednu zajedničku osobinu …29 kB (4.028 речи) - 12:30, 13. јануар 2024.