232 matches
-
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]
-
abreviat IOI) este un concurs internațional pentru elevii de liceu. Olimpiada se organizează anual din 1989. În mod tradițional, România a obținut performanțe foarte merituoase la acest concurs. Cea mai bună descriere a IOI este probabil ca un concurs de algoritmică și programare. În general, problemele de concurs cer un program de calculator care să rezolve o anumită problemă bine formulată într-un timp foarte scurt. Concurenții trebuie să descopere un algoritm cât mai eficient pentru problema în cauză (o sarcină
Olimpiada Internațională de Informatică () [Corola-website/Science/308130_a_309459]
-
de exemplu în studiul grupurilor hiperbolice. Alte domenii în care apar aplicații cruciale ale grupurilor sunt geometria algebrică și teoria numerelor. Există și multe alte aplicații practice. Criptografia se bazează pe combinația dintre abordarea din teoria grupurilor abstracte și cunoștințele algoritmice obținute în teoria computațională a grupurilor, în particular la implementarea în domeniul grupurilor finite. Aplicațiile teoriei grupurilor nu sunt restrânse la matematică; științe cum sunt fizica, chimia și informatica utilizează acest concept. Multe mulțimi de numere, cum ar fi numerele
Grup (matematică) () [Corola-website/Science/302726_a_304055]
-
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]
-
se poate simula mașina universală Turing. Toate computerele actuale sunt "Turing complet compatibile", aceasta însemnând că se poate găsi o soluție pentru orice problemă decidabilă. Termenul de decidabilitate poate fi descris ca o întrebare dacă o problemă anume este rezolvabilă algoritmic sau nu. Astfel, de exemplu, problema celui mai mic multiplu comun a două numere este o problemă decidabilă. O problemă nedecidabilă este de exemplu întrebarea dacă un computer, dându-i-se anumiți parametri de intrare, va ajunge vreodată la rezultat
Informatică () [Corola-website/Science/296820_a_298149]
-
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]
-
de calcul, ci un experiment mental despre limitele calculului mecanic; astfel, ele nu a fost niciodată construite. Studiul proprietăților lor abstracte este util în informatică și teoria complexității. Conjectura Church-Turing postulează că orice problemă de calcul bazată pe o procedură algoritmică poate fi rezolvată de către o mașină Turing. Această "conjectură" nu are o formulare matematică, deoarece nu se bazează pe o definiție precisă a conceptului de procedură algoritmică. În schimb, este posibil de a se defini o noțiune de "sistem acceptabil
Mașină Turing () [Corola-website/Science/299502_a_300831]
-
complexității. Conjectura Church-Turing postulează că orice problemă de calcul bazată pe o procedură algoritmică poate fi rezolvată de către o mașină Turing. Această "conjectură" nu are o formulare matematică, deoarece nu se bazează pe o definiție precisă a conceptului de procedură algoritmică. În schimb, este posibil de a se defini o noțiune de "sistem acceptabil de programare" și de a se demonstra că "puterea de calcul" a unui asemenea sistem este echivalentă cu cea a unei mașini Turing (se vorbește în acest
Mașină Turing () [Corola-website/Science/299502_a_300831]
-
Alonzo Church, ale cărui lucrări din domeniul calculului lambda s-au împletit cu cele ale lui Turing într-o teorie formală a calculului cunoscută sub numele de Conjectura Church-Turing. Aceasta postulează că orice problemă de calcul bazată pe o procedură algoritmică poate fi rezolvată de către o mașină Turing. La origine, conceptul de mașină Turing reprezenta o persoană virtuală executând o procedură bine definită, schimbând conținutul căsuțelor unui tablou infinit (vizualizat sub forma unei "benzi" infinite), plasând în aceste căsuțe simboluri luate
Mașină Turing () [Corola-website/Science/299502_a_300831]
-
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]
-
implicant sau operant caracterizează atât starea afectivă momentană a subiectului cât și starea sa intelectivă, posibillitatea de a primi, analiza, evalua și răspunde corect la informațiile pe care le primește. Spre deosebire de sistemele informaționale create de om, care își desfășoară procesele algoritmice conform instrucțiunilor de procedură și intră în funcțiune la comenzile de declanșare a acțiunii procesante, omul este un biosistem complex care depinde de foarte multe variabile externe și interne pentru a acționa specific, a răspunde corect și rapid la un
Dispoziție () [Corola-website/Science/309521_a_310850]
-
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]
-
mai largi ale normalității în cadrul existenței cronomilor care definesc structura temporală a variabilelor sau sistemelor biologice. Aceștia sunt codificați genetic și sunt sincronizați de ciclurile socio-ecologice putând fi modificați de numeroase procese endo sau exogene. Semnificația biologică ca și proprietățile algoritmice previzibile ale cronomilor sunt studiate de cronobiologie, știința care cuantifică și investighează mecanismele biologice ale structurilor temporale, inclusiv manifestările ritmice ale vieții. Intre celule și mediul intern, reprezentat de lichidul extracelular, există un permanent schimb de substanțe ce are loc
Diabetul zaharat gestațional - ghid clinic [Corola-website/Science/91975_a_92470]
-
care stând patru ani în opoziție n-a fost capabil să se reformeze și să producă oameni competenți e, orice s-ar zice, un partid neputincios. Dl. Năstase a marcat un punct când a declarat ritos că nu acceptă șmecheria "algoritmicilor" de a fixa, pe ultima sută de metri, ca funcționari publici o parte din clientela politică. Dar nici jalnica stratagemă de a reboteza ministerele și a pretinde apoi că e vorba de instituții nou-nouțe nu ține! Ba mai mult, spre
Bazinul carbonifer-securist by Mircea Mihăieș () [Corola-journal/Journalistic/16327_a_17652]
-
a intensificat organizarea de grupuri și formații politice care s-au selectat atât prin audiențe sporite în electorat, cât și prin abilitățile de a se înfrupta din fonduri bugetare interne și comunitare. Preluată prin imitație sau creată la noi, metoda "algoritmică" de guvernare bazată pe procentul de voturi obținute în alegeri a împărțit România în partide parlamentare. Lor li se adaugă și partide neparlamentare, șapte partide ale minorităților și veterani ale unor partide desființate care își revendică drepturi. Dintre partidele minorităților
by TĂNASE SÂRBU [Corola-publishinghouse/Science/1010_a_2518]
-
Psihomotric • Să aplice reguli simple de igiena personală și colectivă; • Să se orienteze în schema corporală cunoscându-și posibilitățile motrice ale fiecărei părți; • Să perceapă componentele spațio-temporale (ritm, durata, distanța); STRATEGII DIDACTICE • Tipuri de strategii utilizate pe parcursul derulării proiectului: mixtă, algoritmica, bazate pe joc, euristice, expozitive; a. Metode și procedee: observarea spontană și dirijata, povestirea, explicația, demonstrația, exercițiul, conversația; • Modalități de evaluare utilizate pe parcursul proiectului: Realizarea unui centru tematic cu tema: „ Eu sunt unic și am drepturi” *Produse ale activității copiilor
Aplicații ale noului curriculum în învățământul preșcolar by Mariana Avornicesei, Mihaela Petraș, Tatiana Onofrei () [Corola-publishinghouse/Science/257_a_532]
-
posibilitățile motrice ale fiecărei părți; -să se orinteze în spațiu raportându-se la repere date; -să-și formeze corect deprinderile motrice de bază; -să cunoască și să aplice regulile de igienă referitoare la igienă echipamentului. STRATEGII DIDACTICE: Tipuri de strategii: mixtă, algoritmica bazate pe joc, euristice, expozitive 82 Metode și procedee: observarea spontană și dirijata, povetirea, explicația, demonstrația, exercițiul, conversația. Modalități de evaluare: realizarea unui centru tematic, produse ale activității copiilor, observația curentă a educatoarei,chestionarea orală. Forme de organizare: frontal, pe
Aplicații ale noului curriculum în învățământul preșcolar by Mariana Avornicesei, Mihaela Petraș, Tatiana Onofrei () [Corola-publishinghouse/Science/257_a_532]
-
cu blazonul curat ca o vitrină de la Sacks, deciși să redemareze în trombă jafurile și corupția. Dacă în urmă cu zece ani au fost aduși la putere de K.G.B., armată și securitate, acum s-au cățărat pe aripile pleoștite ale algoritmicilor. Rămân la părerea că în 1996 nu s-a produs alternativa la putere, pentru că avantajul C.D.R.-ului și-al aliaților a fost, de la bun început, fragil. Ultimii patru ani au constituit, de fapt, un respiro acordat celei mai criminale puteri
Un dăunător de toamnă: indicele demografic by Mircea Mihăieș () [Corola-journal/Journalistic/16640_a_17965]
-
cu virgulă mobilă; programul era înmagazinat pe bandă perforată. Modelul Z3, realizat în 1941, avea 2 600 de relee eletromecanice. În 1950, a finalizat în Elveția modelul Z4, ce avea ecran pentru citirea datelor. A definit primul limbaj de programare algoritmic. DUMINICĂ, 4 DECEMBRIE THOMAS HUNT MORGAN În 1945 a murit biologul american Thomas Hunt Morgan. Împreună cu Alfred Surtevant, a alcătuit o hartă a locației genelor pe cromozomi. Năcut în 1866, a câștigat Premiul Nobel pentru Fiziologie sau Medicină în 1933
Agenda2005-49-05-stiri () [Corola-journal/Journalistic/284468_a_285797]
-
dumitale, doi afară pe străzi. Parcă se-adună cam mulți. Dumneata ce zici?“ „Mai am o-ntrebare: algoritmii. Ce rol joacă-n toată povestea? Și ce-are Mihnea cu ei?“ „Sunt două întrebări, nu una. Dar îți voi răspunde. Programele algoritmice sunt controlate de Economiști. Logic, doar noi le-am instalat soft-urile. Le monitorizăm la fel de ușor cum monitorizăm distribuția de viruși pe piață. Michelangelo a fost al nostru; Jos Iliescu!, la fel; Invitation e făcut tot de noi. Două decenii
[Corola-publishinghouse/Imaginative/1930_a_3255]
-
optimizarea dirijării procesului de antrenament. Conform autorilor Popa E., Mocianu V., Hillerin, P., (1993), aplicațiile demersurilor didactice specifice, efectuate de către softurile computerului, asigură domeniului nostru date pe următoarele direcții principale: * selecția copiilor și juniorilor; * stabilirea și prelucrarea sistemelor de tip algoritmic ale învățării structurilor motrice; * stocarea informațiilor și a valorilor indicatorilor de antrenament; * analiza rezultatelor sportive și a sistemelor de pregătire sportivă; * planificarea antrenamentelor și concursurilor; * analiza rezultatelor probelor și normelor de control; * analiza lecției de antrenament; * îmbunătățirea unor modele biologice
Concepte moderne privind utilizarea tehnologiilor informaţionale în procesul de predare-învăţare-evaluare la disciplina "Bazele generale ale fotbalului" by Gheorghe Balint () [Corola-publishinghouse/Science/661_a_1278]
-
zilele noastre ca un autentic mijloc de învățământ, numai că lui trebuie să îi asociem în mod obligatoriu un soft (o dimensiune informațională). Desigur că prin structura soft-ului și prin sarcinile didactice elaborate, deși, pleacă de pe pozițiile unei strategii algoritmice, folosirea calculatorului poate deveni, în funcție de exigențe, strategie euristică. Având în vedere necesitatea introducerii unui sistem de evaluare obiectiv a cunoștințelor teoretice am continuat demersul nostru științific cu îmbunătățirea programului de evaluare a cunoștințelor teoretice pe calculator TesterBalint . Programul de evaluare
Concepte moderne privind utilizarea tehnologiilor informaţionale în procesul de predare-învăţare-evaluare la disciplina "Bazele generale ale fotbalului" by Gheorghe Balint () [Corola-publishinghouse/Science/661_a_1278]
-
numărului de participanți implicați, produce o tipologie a exercițiilor individuale, de microgrup, de echipă, cu întregul colectiv de cursanți etc. Mai mult, pe axa repetitiv - creativ putem folosi un criteriu al gradului de determinare a activității, distingând exercițiile de tip algoritmic (specificate de pași stricți), semialgoritmic și exerciții libere (cu grad maxim de autodirijare). Ținând cont de aria extinsă sub care putem întâlni această metodă de învățământ, criteriile sub care putem dezvolta tipologii ale exercițiului sunt multiple; considerăm că am putut
[Corola-publishinghouse/Science/1885_a_3210]
-
multe, iar nedeterminarea ridicată este cu atât mai mare cu cât posibilitățile sunt mai multe); c. în cazul producerii a două sau mai multe evenimente, alegeri, cantitatea de informație obținută este aditivă. Informația în sensul lui Chaitin Se definește entropia algoritmică H(s) ca fiind Dacă notăm lungimea șirului s cu , atunci Între științele naturii și cele ale spiritului, înseamnă tocmai a vedea întregul în parte sau a interpreta întregul prin parte, însă toate situațiile logice ori cât de variate crează
Fitoterapie clinică by Mihai V. Botez, Viorel D. Donţu () [Corola-publishinghouse/Science/1133_a_2099]
-
fi făcute generalizări și predicții. Valorile și concepțiile proprii ale cercetătorului nu trebuie să afecteze investigația; „cercetarea trebuie să fie imparțială, iar cercetătorul detașat” (Rosenau, 1992, p. 114). Relativismul nu este agreat în contextul metodelor guvernate de reguli și procedee algoritmice. Modelul standard al științei moderne este bazat așadar pe un sistem de clasificare și testare a ipotezelor prin confruntarea cu „realitatea obiectivă”, de interpretare a rezultatelor (obținute de cele mai multe ori prin metode cantitative) și de construire a unei teorii întemeiate
[Corola-publishinghouse/Science/2333_a_3658]