187 matches
-
limbaj de programare universal este esențială. Fiecare din aceste concepte clasice are un analog pentru calcululatorul cuantic Echivalentul cuantic al funcțiilor parțial recursive sunt operatorii unitari.Așa cum fiecare problemă computaționala clasică poate fi reformulata drept calcularea valorii unei funcții parțial recursive, fiecare calcul cuantic poate fi descris printr-un operator unitar.Descrierea matematică a unui operator este în mod inerent declarativa și poate fi tratat că o cutie neagră. În analogie cu o mașină Turing (TM) clasică mai multe tipuri de
Logică cuantică () [Corola-website/Science/335135_a_336464]
-
a calcula logaritmul, pentru că funcția inversă, funcția exponențială, poate fi calculată în mod eficient. Folosind tabele de căutare, metode de tip pot fi utilizate pentru a calcula logaritmi dacă singurele operațiile disponibile sunt adunarea și . Mai mult, calculează lb("x") recursiv pe baza calculului repetat al radicalului din "x", profitând de relația Pentru orice număr real "z" care satisface , este valabilă următoarea formulă: Aceasta este o prescurtare pentru a spune că ln("z") poate fi aproximată cu o valoare din ce în ce mai precisă
Logaritm () [Corola-website/Science/298774_a_300103]
-
euclidiană, lucrează cu figuri geometrice simple. Apariția geometriilor neeuclidiene (ai căror fondatori au fost Lobacevski și Bolyai) a condus la o reconsiderare a vechilor teorii. Matematica din spatele fractalilor a apărut în secolul 17, când filosoful Gottfried Leibniz a considerat autosimilaritatea recursivă (deși greșise gândindu-se că numai liniile drepte sunt autosimilare în acest sens). În a doua parte a secolului al XIX-lea și începutul secolului XX, anumiți matematicieni semnalează existența unor entități geometrice excepționale, fără nicio asemănare cu figurile și
Fractal () [Corola-website/Science/307004_a_308333]
-
finită. Exemplele includ norii, fulgii de zăpadă, cristalele, lanțurile montane, fulgerele, rețelele de râuri, conopida sau broccoli și sistemul de vase sanguine și vase pulmonare. Arborii și ferigile sunt fractali naturali și pot fi modelați pe calculator folosind un algoritm recursiv. Natura recursivă este evidentă în aceste exemple — o ramură a unui arbore sau o frunză a unei ferigi este o copie în miniatură a întregului: nu identice, dar similare. În 1999, s-a demonstrat despre anumite forme de fractali auto-similari
Fractal () [Corola-website/Science/307004_a_308333]
-
includ norii, fulgii de zăpadă, cristalele, lanțurile montane, fulgerele, rețelele de râuri, conopida sau broccoli și sistemul de vase sanguine și vase pulmonare. Arborii și ferigile sunt fractali naturali și pot fi modelați pe calculator folosind un algoritm recursiv. Natura recursivă este evidentă în aceste exemple — o ramură a unui arbore sau o frunză a unei ferigi este o copie în miniatură a întregului: nu identice, dar similare. În 1999, s-a demonstrat despre anumite forme de fractali auto-similari că au
Fractal () [Corola-website/Science/307004_a_308333]
-
cel mai popular SGBD open-source la ora actuală, fiind o componentă cheie a stivei (Linux, Apache, MySQL, PHP). MariaDB este un fork de MySQL. PHP este un limbaj de programare. Numele PHP provine din limba engleză și este un acronim recursiv : Php: Hypertext Preprocessor. Folosit inițial pentru a produce pagini web dinamice, este folosit pe scară largă în dezvoltarea paginilor și aplicățiilor web. Se folosește în principal înglobat în codul HTML, dar începând de la versiunea 4.3.0 se poate folosi
LAMP () [Corola-website/Science/318187_a_319516]
-
pointerilor. Însă, atunci când codul se extinde, obiectele se înmulțesc la număr și/sau se dorește execuție de tip multithreaded, redundanta codului va crește exponanțial și la fel și numărul erorilor. Astfel, citând cuvintele lui Stroustrup: "Aplicând această tehnică în mod recursiv și în cât mai multe locuri posibil în cadrul aplicatei tale, alocările și dealocările vor dispărea aproape total din cod."
RAII () [Corola-website/Science/322811_a_324140]
-
de neted, deoarece punctele intermediare pot fi plasate prea departe unele de altele. În același timp, este posibil și să se genereze prea multe puncte acolo unde curba este aproape dreaptă. O metodă comună pentru adaptarea punctelor intermediare este subdivizarea recursivă, prin care se verifică punctele de control ale curbei pentru a afla dacă ea aproximează un segment de dreaptă cu o toleranță mică. Dacă nu aproximează un segment de dreaptă, curba este subîmpărțită parametric în două segmente, 0 ≤ "t" ≤ 0
Curbă Bézier () [Corola-website/Science/314925_a_316254]
-
afla dacă ea aproximează un segment de dreaptă cu o toleranță mică. Dacă nu aproximează un segment de dreaptă, curba este subîmpărțită parametric în două segmente, 0 ≤ "t" ≤ 0,5 și 0,5 ≤ t ≤ 1, și se aplică aceeași procedură recursiv pe fiecare jumătate. În software-ul de animații, cum ar fi cazul Adobe Flash sau Adobe Shockwave, sau în aplicații ca Game Maker, curbele Bézier sunt folosite și pentru a trasa mișcarea. Utilizatorii subliniază calea dorită prin curbe Bézier, și
Curbă Bézier () [Corola-website/Science/314925_a_316254]
-
din curbe Bézier pentru desenarea formelor curbe. În general, o curbă Bézier de gradul formula 4 se poate defini astfel: Date fiind punctele de control P, P..., P, curba Bézier are expresia: De exemplu, pentru formula 6: Această formulă se poate exprima recursiv astfel: Fie formula 8 curba Bézier determinată de punctele P, P..., P. Atunci, Cu alte cuvinte, curba Bézier de gradul formula 4 este o interpolare liniară între două curbe Bézier de gradul formula 11. Expresia unei curbe Bézier se poate scrie în funcție de polinoamele
Curbă Bézier () [Corola-website/Science/314925_a_316254]
-
Stiva este o structură de date larg utilizată în informatică; dintre multiplele utilizări, stiva este folosită atât la implementarea algoritmilor recursivi, cât și ca structură auxiliară la traversarea unor structuri de date mai complicate, cum sunt arborii și grafurile. Implementarea stivei se poate face pe o structură de tip vector, ce presupune cunoașterea apriori a dimensiunii maxime a stivei, sau pe
Stivă (structură de date) () [Corola-website/Science/318147_a_319476]
-
specifice de implementare, testare, depanare și modificare în mod independent de celelalte module. Datele se grupează în colecții organizate după reguli potrivite, astfel rezultând structuri de date. În funcție de tipul de organizare, structura de date poate fi implicită, explicită, dinamică sau recursivă. O prelucrare poate fi organizată conform a cel puțin trei structuri fundamentale: "structura liniară (secvențială)", "structura alternativă" și "structura repetitivă". În mod practic, la programarea tuturor aplicațiilor se folosesc toate aceste structuri, combinate între ele. O "structură secvențială" este acea
Programare structurată () [Corola-website/Science/312868_a_314197]
-
scenarist american. Este cunoscut în principal pentru rolurile sale din filmele "Contact", "The Green Mile", "Disturbia", "The Long Kiss Goodnight", "The Crossing Guard", "The Rock", "Extreme Measures", "12 Monkeys", "16 Blocks", și "Hounddog". În 2006, Morse a avut un rol recursiv, detectivul Michael Tritter, în serialul american de dramă medicală "House", rol pentru care a fost nominalizat la Premiul Emmy. El l-a mai portretizat pe George Washington în miniserialul HBO din 2008 "John Adams", rol care i-a adus cea
David Morse () [Corola-website/Science/332913_a_334242]
-
fi gcc, adaugă cuvinte cheie suplimentare pentru ca un programator să poată marca explicit funcțiile externe ca pure, permițând astfel aceste optimizări. Fortran 95 permite declararea funcțiilor ca fiind "pure". Iterarea, în limbajele funcționale, se realizează de regulă prin recursivitate. Funcțiile recursive se autoapelează, permițând efectuarea unei operații în mod repetat. Recursivitatea poate necesita reținerea unei stive, dar tail recursion poate fi recunoscută și optimizată de compilator prin transformarea ei într-un cod similar cu cel utilizat pentru iterații în limbajele imperative
Programare funcțională () [Corola-website/Science/308128_a_309457]
-
utiliza definiția înmulțirii întâi, reducând întreaga expresie la 0 înainte de a încerca să calculeze codice 8. codice 10 expresia codice 11 returnează rapid codice 12. În evaluarea strictă, codice 13 ar trebui să fie complet evaluat pentru a se apela codice 14, dar deoarece codice 13 este recursiv, nu se va termina niciodată. Cu evaluarea non-strictă, funcția codice 16 forțează doar evaluarea a patru elemente din codice 17 celelalte elemente nemaifiind inspectate sau evaluate. Nevoia de o formă mai eficientă de evaluare non-strictă a condus la dezvoltarea evaluării lazy, un
Programare funcțională () [Corola-website/Science/308128_a_309457]
-
articolul Bază de numerație. Mai întâi se împarte numărul ales la 2; restul reprezintă cifra cea mai puțin semnificativă (cea mai din dreapta) a rezultatului conversiei. Câtul se reîmparte la 2, se notează restul, și procedura se repetă cu noul cât (recursiv). Operația se sfârșește când câtul devine nul. Pentru examplificare: conversia numărului 118 în binar: Citind resturile de jos în sus, rezultatul final al conversiei este numărul binar 1110110. Această metodă se poate aplica și la conversiunea în alte baze. Ca
Sistem binar () [Corola-website/Science/296577_a_297906]
-
teoria haosului. Palumbo este de părere că, deși elementele tradiționale ale literaturii (cum sunt simbolismul și caracterizarea) lipsesc parțial sau total, seriile Fundației și Roboților rămân fascinante. Conform lui, complexitatea utilitaristă a construcțiilor sale narative dă naștere unei structuri simterice recursive percepută cu ochii minții. Asimov a fost criticat și pentru absența aproape totală a sexualității și a vieții extraterestre din scrierile sale SF. El a explicat la un moment dat că reținerea sa în a scrie despre extratereștri are la
Isaac Asimov () [Corola-website/Science/297103_a_298432]
-
fi rezolvate prin utilizarea acestei tehnici. Se poate afirma că numărul celor rezolvabile prin "divide et impera" este relativ mic, tocmai datorită cerinței ca problema să admită o descompunere repetată. Divide et impera este o tehnică ce admite o implementare recursivă. Principiul general prin care se elaborează algoritmi recursivi este: "ce se întâmplă la un nivel, se întâmplă la orice nivel" (având grijă să asigurăm condițiile de terminare). Așadar, un algoritm prin divide et impera se elaborează astfel: la un anumit
Divide et impera (informatică) () [Corola-website/Science/308772_a_310101]
-
afirma că numărul celor rezolvabile prin "divide et impera" este relativ mic, tocmai datorită cerinței ca problema să admită o descompunere repetată. Divide et impera este o tehnică ce admite o implementare recursivă. Principiul general prin care se elaborează algoritmi recursivi este: "ce se întâmplă la un nivel, se întâmplă la orice nivel" (având grijă să asigurăm condițiile de terminare). Așadar, un algoritm prin divide et impera se elaborează astfel: la un anumit nivel avem două posibilități: Se citește un vector
Divide et impera (informatică) () [Corola-website/Science/308772_a_310101]
-
în timp ce formula generală a fost găsita de matematicianul francez Vieta. tan "nθ" poate fi scrisă în funcție de tan "θ" folosind relația de recurență: iar cot "nθ" poate fi scrisă în funcție de cot "θ" folosind relația de recurență: Metoda Cebîșev este un algoritm recursiv pentru a afla formula unghiului multiplu "n" cunoscând formulele pentru("n" − 1) și ("n" − 2). Cosinusul pentru "nx" poate fi calculat din cosinusul pentru ("n" − 1) și ("n" − 2) după cum urmează: Similar sin("nx") poate fi calculat din sinusul pentru
Identități trigonometrice () [Corola-website/Science/320154_a_321483]
-
În analiza numerică,diferențele divizate reprezintă un algoritm recursiv folosit pentru a calcula coeficienții unui polinom de interpolare în formă Newton. Având în vedere "k+1" puncte de date Diferențele divizate înainte sunt definite că: Diferențele divizate înapoi sunt definite că: În continuare ne vom referi la diferențele divizate
Diferențe divizate () [Corola-website/Science/329870_a_331199]
-
înapoi, raționamentul este asemănător. Dacă punctele de date sunt valorile unei funcții "ƒ", uneori se scrie Câteva notații pentru diferența divizată a funcției "f" pe nodurile 'x", ..., "x" sunt următoarele: etc Pentru primele valori ale formulă 12 Pentru a face procesul recursiv mai clar diferențele divizate pot fi puse într-o formă de tabel Pentru n=1, evident. Pentru n>1, demonstrația se continuă aplicând inducția matematică. Tot prin inducție matematică, știind că orice permutare se poate reprezenta că un produs de
Diferențe divizate () [Corola-website/Science/329870_a_331199]
-
Un limbaj regulat este un limbaj formal (adică o mulțime posibil infinită de secvențe finite de simboluri dintr-un alfabet finit) care satisface următoarele proprietăți echivalente: Colecția limbajelor regulate peste un alfabet Σ se definește recursiv după cum urmează: Toate limbajele "finite" sunt regulate. Alte exemple tipice includ: Dacă un limbaj "nu" este regulat, este nevoie de o mașină cu spațiu de cel puțin O(log log "n") pentru a-l recunoaște (unde "n" este lungimea intrării
Limbaj regulat () [Corola-website/Science/299929_a_301258]
-
Science," o mașină Turing universală cu 2 states și doar 5 simboluri, care emulează un automat celular de asemenea considerat universal, făcând aceasta cea mai simplă mașină Turing universală cunoscută. O mașină Turing universală este Turing-completă. Poate calcula orice funcție recursivă, decide orice limbaj recursiv, și accepta orice limbaj recursiv enumerabil. Conform conjecturii Church-Turing, problemele rezolvabile de o mașină Turing universală sunt exact acele probleme rezolvabile de un "algoritm" sau de o "metodă efectivă de calcul", pentru orice definiție rezonabilă a
Mașină Turing () [Corola-website/Science/299502_a_300831]
-
universală cu 2 states și doar 5 simboluri, care emulează un automat celular de asemenea considerat universal, făcând aceasta cea mai simplă mașină Turing universală cunoscută. O mașină Turing universală este Turing-completă. Poate calcula orice funcție recursivă, decide orice limbaj recursiv, și accepta orice limbaj recursiv enumerabil. Conform conjecturii Church-Turing, problemele rezolvabile de o mașină Turing universală sunt exact acele probleme rezolvabile de un "algoritm" sau de o "metodă efectivă de calcul", pentru orice definiție rezonabilă a acestor termeni. O versiune
Mașină Turing () [Corola-website/Science/299502_a_300831]