89 matches
-
pot converti la căi și obiectele de altă formă ca: spirale, text sau conturul unui obiect oarecare. Căile pot fi simplificate pentru ca să conțină mai puține noduri, dar păstrând în același timp forma inițială. Pe căi pot fi realizate și operațiuni Booleene ca: uniune, diferență, intersecție sau extragere. Comunicate recente includ o facilitate numită Live Path Effects, cu ajutorul căreia se care pot aplica modificatori diferiți la o cale. Deformarea numită Envelope Deformation este disponibilă prin intermediul “Path Effects“ și oferă un efect de
Inkscape () [Corola-website/Science/322390_a_323719]
-
dată cu un exponent număr negativ. Cu toate că sumatoarele pot fi construite pentru diferite reprezentări numerice, cele mai multe dintre ele operează cu numere binare. După modul de lucru cu cifrele binare, sumatoarele sunt: Circuitul sumator combinațional este o transpunere electrotehnică a funcției booleene valabilă pentru însumare. Spre deosebire de circuitele secvențiale, circuitele combinaționale nu funcționează cu interne stări intermediare (în timp) și nici cu legături de reacție de la ieșiri spre intrări. Fiecare configurație a vectorilor de intrare (valori binare) are ca urmare, la ieșiri, o
Sumator (electronică) () [Corola-website/Science/323022_a_324351]
-
sistemul de numerație binar. În sistemul său, valorile unu și zero reprezintă valorile adevărat și fals (true și false) sau pornit/oprit (on/off). Dar a fost nevoie de mai bine de un secol pentru ca George Boole să publice algebra booleană în 1854 cu un sistem complet care permite proceselor de calcul să fie modelate matematic. (Algebra booleană este o algebră formată din: elementele {0,1}; două operații binare numite SAU și SI, notate simbolic cu + sau Ú și × sau U
Istoria informaticii () [Corola-website/Science/323134_a_324463]
-
și false) sau pornit/oprit (on/off). Dar a fost nevoie de mai bine de un secol pentru ca George Boole să publice algebra booleană în 1854 cu un sistem complet care permite proceselor de calcul să fie modelate matematic. (Algebra booleană este o algebră formată din: elementele {0,1}; două operații binare numite SAU și SI, notate simbolic cu + sau Ú și × sau U; și o operație unară numită NU (negație), notată simbolic 0 sau O. În această perioadă, au fost
Istoria informaticii () [Corola-website/Science/323134_a_324463]
-
abstractă, algebră modernă și teoria probabilităților. S-a ocupat de domeniul funcțiilor, al ecuațiilor diferențiale liniare și al ecuațiilor funcționale. Ulterior și-a canalizat activitatea spre algebra modernă studiind sistemele algebrice și întocmind o schiță a unei teorii a matricelor booleene. A dat o definiție axiomatică determinanților și s-a ocupat de definiția logaritmilor în domeniul real. Alte domenii de interes au fost teoria structurilor cu programarea algebrică ca metodă directă pentru programarea liniară și caracterizarea funcțiilor trigonometrice cu ajutorul ecuațiilor funcționale
Alexandru Climescu () [Corola-website/Science/326855_a_328184]
-
și manipularea combinațiilor logice ale evenimentelor din mecanică cuantică.Domeniul de studiu și numele sunt originare dintr-o lucrare din 1936 a lui Garrett Birkhoff și John von Neumann, care încercau să reconcilieze unele dintre aparențele inconsistente dintre logică clasică booleană și observațiile referitoare la mecanica cuantică. Numele de "logică cuantică" provine dintr-o analogie formală dintre laticea Hilbert LH și laticea booleană LC a logicii clasice.Mai mult elementele laticei LH, subspațiile spațiului Hilbert corespund operatorilor de proiectare, i.e. proprietăților
Logică cuantică () [Corola-website/Science/335135_a_336464]
-
lui Garrett Birkhoff și John von Neumann, care încercau să reconcilieze unele dintre aparențele inconsistente dintre logică clasică booleană și observațiile referitoare la mecanica cuantică. Numele de "logică cuantică" provine dintr-o analogie formală dintre laticea Hilbert LH și laticea booleană LC a logicii clasice.Mai mult elementele laticei LH, subspațiile spațiului Hilbert corespund operatorilor de proiectare, i.e. proprietăților observabile cu două valori (proprii) 0 și 1.Din această cauză le sunt asociate propoziții cu valoare de adevăr.Dacă proprietatea în
Logică cuantică () [Corola-website/Science/335135_a_336464]
-
atom.Pentru toate elementele A și X ale lui LQ A ≤ X ≤ A ∨ α implică X = A sau X = A ∨ α (legea de acoperire). O latice care este atomică și îndeplinește legea de acoperire va fi denotata LQ* . În timp ce laticea booleană LC este distributiva, i.e. pentru fiecare A, B, C ∈ LC avem: LC(5) A ∧( B ∨ C ) ≤ ( A ∧ B ) ∨ ( A ∧ C ) Este evident că legea distributivității LC(5) este mai tare decât legea ortomodulară corespunzătoare LQ(5) deoarece în LQ* distributivitatea
Logică cuantică () [Corola-website/Science/335135_a_336464]
-
2*) rezultă V ≤ A → B ⇔ A ≤ B, A → B este adevărata dacă și numai dacă A ≤ B. Trebuie subliniat că condițiile (1*), (2*) și (3*) sunt relaxări ale condițiilor (1), (2) și respectiv (3) ce sunt satisfăcute într-o latice booleană LC.De fapt într-o latice ortocomplementată LO condițiile (1) și (2) le implică pe (1*) și (2*).În plus, pe LO implicația materială ¬ A ∨ B și implicația cvasi-materială ¬ A ∨( A ∧ B ) sunt legate de relația ¬ A ∨( A ∧ B )≤¬ A
Logică cuantică () [Corola-website/Science/335135_a_336464]
-
latice ortocomplementată LO condițiile (1) și (2) le implică pe (1*) și (2*).În plus, pe LO implicația materială ¬ A ∨ B și implicația cvasi-materială ¬ A ∨( A ∧ B ) sunt legate de relația ¬ A ∨( A ∧ B )≤¬ A ∨ B iar pe o latice booleană LC distributivitatea implică ¬ A ∨( A ∧ B )≤ A ∨ B. Mai importante pentru caracterizarea logicii cuantice sunt acele propoziții care sunt formal adevărate în logica clasică dar nu și în cea cuantică.Cea mai scurtă dintre ele și poate cea mai importantă
Logică cuantică () [Corola-website/Science/335135_a_336464]
-
sunt formal adevărate în logica clasică dar nu și în cea cuantică.Cea mai scurtă dintre ele și poate cea mai importantă este A → ( B → A ). Se poate demonstra că orice tautologie din logică cuantică este tautologie și în logica booleană, în schimb reciprocă nu este adevărată.Există o infinitate de propoziții formal adevărate în logica clasică care nu sunt în logica cuantică. Un calculator cuantic constă, la fel ca în cazul unui calculator clasic, din trei componente esențiale: o memorie
Logică cuantică () [Corola-website/Science/335135_a_336464]
-
B*.Analogul cuantic al funcției de tranziție al unei mașini Turing clasice probabilistice este operatorul unitar Ț care trebuie să îndeplinească condiții de localitate pentru bandă respectivă cât și pentru capul de citire. Circuitele cuantice sunt echivalentul cuantic al circuitelor booleene cu o singura diferență majoră : circuitele cuantice pot fi evaluate în ambele direcții.Sunt formate din porți elementare și operează pe cubiți. În comparație cu rețelele clasice sunt impuse următoarele restricții: Sunt permise numai rețele n la n, i.e. numărul total al
Logică cuantică () [Corola-website/Science/335135_a_336464]
-
diferite lungimi de biți. Tipul Boolean reprezintă valorile: adevărat și fals . Deși doar două valori sunt posibile, ele sunt rareori puse în aplicare că o singură cifră binara din motive de eficiență. Multe limbaje de programare nu au un tip boolean explicit, ci interpretează (de exemplu) 0 ca fiind fals și a alte valori că adevărat. Cum ar fi: Tipuri de compozite sunt derivate din mai mult de un tip primitiv. Aceasta se poate face în mai multe moduri. Modalitățile în
Tipuri de date () [Corola-website/Science/332547_a_333876]
-
NP, adică nu este nevoie ca ele să aibă soluții verificabile în timp polinomial. De exemplu, este NP-completă conform , deci "orice" instanță a "oricărei" probleme din NP poate fi transformată mecanic în timp polinomial într-o instanță a problemei satisfiabilității booleene. Problema satisfiabilității este una din multele astfel de probleme NP-complete. Dacă orice problemă NP-completă este în P, atunci ar rezulta că P = NP. Din păcate, s-a demonstrat că multe probleme importante sunt NP-complete și nu se cunoaște niciun algoritm
Clasele de complexitate P și NP () [Corola-website/Science/336745_a_338074]