256 matches
-
Alte formulări: eficiența algoritmică, analiza complexității algoritmilor. În informatică, eficiență este un termen utilizat pentru a descrie câteva atribute dezirabile ale unui algoritm sau al unui alt construct, în afara unui concept curat, a funcționalității, etc. Eficiența în general e conținută în două proprietăți: viteză
Eficiența algoritmilor () [Corola-website/Science/309410_a_310739]
-
calcul matematic posibil dacă acesta este reprezentabil sub forma unui algoritm. El a demonstrat mai departe și că nu există o soluție la problema deciziei, arătând mai întâi că pentru mașini Turing este nedecidabilă: în general, nu se poate decide algoritmic dacă o mașină Turing se va opri sau nu vreodată. Deși demonstrația lui Turing a fost publicată la scurt timp după o demonstrație echivalentă a lui care a dezvoltat și a folosit , Turing nu cunoștea lucrarea lui Church. Abordarea lui
Alan Turing () [Corola-website/Science/296617_a_297946]
-
sa a fost una pur teoretică, deoarece limbajul nu a fost implementat în timpul vieții lui și nu a influențat direct limbajele ce i-au urmat. Unul din inventatorii limbajului ALGOL (Heinz Rutishauser) scria: „Prima tentativă de a gândi un limbaj algoritmic a fost efectuată în 1948 de K. Zuse. Notația sa era una destul de generală, dar propunerea sa nu a beneficiat de considerația pe care o merita.” Abia în 2000, o echipă de la Universitatea Liberă Berlin a scris un compilator de
Konrad Zuse () [Corola-website/Science/321850_a_323179]
-
controlul și atenuarea poluării și sănătatea publică. Astăzi termenul este generic și poate fi aplicat că metoda statistică de interpolare în orice disciplină pentru a compara date ale unor procese aleatorii ce satisfac presupunerile matematice. Kriging aparține valorilor de estimări algoritmice liniare. Scopul metodei este acela de a estima valoarea unei funcții reale necunoscute formulă 1, într-un punct, formula 2, fiind date valori ale funcției în alte puncte, formula 3. Un estimator kriging este stabilit a fi liniar pentru că valoarea prezisa formulă 4 este
Kriging () [Corola-website/Science/328110_a_329439]
-
CETI și SETI nu ar trebui să fie considerate ca referindu-se la oricare organizație particulară (cum ar fi Institutul SETI). Cercetarea CETI s-a concentrat pe patru mari domenii: limbaje matematice, sisteme pictografice, cum ar fi mesajul Arecibo, sisteme algoritmice de comunicare (ACETI) și abordări de calcul pentru detectarea și descifrarea comunicării în limbaj "natural". Rămân încă multe sisteme de scriere nedescifrabile în comunicarea umană, cum ar fi Linear A, descoperite de arheologi. O mare parte a efortului de cercetare
Comunicarea cu inteligența extraterestră () [Corola-website/Science/336675_a_338004]
-
de calculat decât de verificat: ele nu pot fi rezolvate în timp polinomial, dar o soluție se poate verifica în timp polinomial. Pe lângă importanța problemei în teoria calculabilității, o dovadă în oricare sens ar avea profunde implicații în matematică, criptografie, algoritmică, inteligență artificială, teoria jocurilor, procesarea multimedia, filosofie, economie și în multe alte domenii. Relația între clasele de complexitate P și NP este studiată în teoria complexității computaționale, ramura care tratează resursele de calcul necesare pentru rezolvarea unei probleme date. Cele
Clasele de complexitate P și NP () [Corola-website/Science/336745_a_338074]