84 matches
-
semne cabalistice precum cifrele au fost preluate și de literatură deoarece este singura formă de exprimare a cantității sau a altor mărimi fizice. Există și alte afinități. De exemplu vocabulele sau și (și) frecvent folosite în literatură sunt bazele aritmeticii Booleene, exact cu același sens. Spre exemplu comparați cele două expresii: Ionel sau Mioara va lua premiul I Un premiu. Se folosește singularul Ionel și Mioara vor lua premiul I Două premii. Se folosește pluralul Clar că sunt reguli matematice introduse
LITERATURĂ ŞI MATEMATICĂ de EMIL WAGNER în ediţia nr. 1495 din 03 februarie 2015 by http://confluente.ro/emil_wagner_1422958260.html [Corola-blog/BlogPost/379794_a_381123]
-
introduce un grup de elemente, care sunt toate condiționale în funcție de <predicat> (importanța grupului este indicată prin prezentare). <predicat>: introduce un singur element condițional în funcție de <predicat>. NOTĂ În fiecare caz, predicatul poate fi identificatorul unei funcții a profilului sau o combinație booleană de predicate ("¬" este simbolul unei negații logice.) E. 3.3. Specificațiile standardelor de bază sunt indicate conform aceleiași notații cu majuscule (adică, M, O, O. <n>, X) E. 4. Instrucțiuni pentru completarea formularelor PICS E. 4.1. Pentru a stabili
jrc4803as2000 by Guvernul României () [Corola-website/Law/89970_a_90757]
-
funcții (CPU, RAM, ROM, I/ O, logică de întreruperi, timer, etc.) într-un singur pachet; pentru variantele 8051, 8031 și 8751 diferențele apăreau la memoria internă program. O caracteristică deosebit de utilă a microcontrolerului 8051 este includerea unui motor de procesare boolean care permite operațiilor logice booleene la nivel de bit să fie efectuate în mod direct și eficient cu ajutorul registrelor interne și RAM-ului. Aceasta caracteristică a ajutat la cimentarea popularității 8051 în aplicațiile de control industrial. O altă caracteristică importantă
Intel MCS-51 () [Corola-website/Science/320976_a_322305]
-
O, logică de întreruperi, timer, etc.) într-un singur pachet; pentru variantele 8051, 8031 și 8751 diferențele apăreau la memoria internă program. O caracteristică deosebit de utilă a microcontrolerului 8051 este includerea unui motor de procesare boolean care permite operațiilor logice booleene la nivel de bit să fie efectuate în mod direct și eficient cu ajutorul registrelor interne și RAM-ului. Aceasta caracteristică a ajutat la cimentarea popularității 8051 în aplicațiile de control industrial. O altă caracteristică importantă este că are patru seturi
Intel MCS-51 () [Corola-website/Science/320976_a_322305]
-
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]
-
Publicații), implicându-se efectiv în munca de cercetare. Mai întâi ca preparator (1965-1968), apoi ca asistent (1968-1972) la catedra de Masini de Calcul a Universității din București, Ioan Tomescu se ocupă în articolele sale în special de probleme privind funcțiile booleene, automatele finite, optimizări în grafuri și rețele, dar în timp, mai ales după ce obține titlul de doctor în matematică, centrul de greutate al preocupărilor sale se deplasează treptat spre zona combinatoricii, a teoriei grafurilor și a informaticii teoretice. Fiind implicat
Ioan Tomescu () [Corola-website/Science/307098_a_308427]
-
grade diferite - cu Smalltalk, Python, Perl, Lisp, Dylan și CLU. Este un limbaj orientat pe obiecte: fiecare tip de date este un obiect, inclusive clasele și tipurile pe care multe alte limbaje le consideră primitive (cum ar fi tipul întreg, boolean și “nil”). Fiecare funcție reprezintă o metodă. Variabilele desemnează referințe la obiecte, nu obiectele în sine. Ruby suportă moștenirea, dar nu moștenirea multiplă, totuși clasele pot importa module. Sintaza procedurală este acceptată, dar toate metodele definite în afara scopului unui obiect
Ruby () [Corola-website/Science/303539_a_304868]
-
are sursa în "metoda S+7", pusă la punct de scriitorul Jean Lescure în 1961), literatura combinatorie, pe baza căreia Raymond Queneau a scris "Cent Mille Milliards de Poèmes" (O sută de mii de miliarde de poeme), dar și poemele booleene, bazate pe algebra booleană, sau acele "poeme cu mtamorfoză pentru Banda lui Möbius". Cercertările în domeniul "anoulipisme" sunt în curs. Rezultatele acestor cercetări au apărut în primele lucrări colective ale grupului, "La Littérature potentielle" (Gallimard, coll. Idées, 1973) și "Atlas
Oulipo () [Corola-website/Science/320599_a_321928]
-
S+7", pusă la punct de scriitorul Jean Lescure în 1961), literatura combinatorie, pe baza căreia Raymond Queneau a scris "Cent Mille Milliards de Poèmes" (O sută de mii de miliarde de poeme), dar și poemele booleene, bazate pe algebra booleană, sau acele "poeme cu mtamorfoză pentru Banda lui Möbius". Cercertările în domeniul "anoulipisme" sunt în curs. Rezultatele acestor cercetări au apărut în primele lucrări colective ale grupului, "La Littérature potentielle" (Gallimard, coll. Idées, 1973) și "Atlas de littérature potentielle" (Gallimard
Oulipo () [Corola-website/Science/320599_a_321928]
-
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]
-
în preajma celui de-al doilea război mondial. Alan Turing a descris în 1936 un model matematic care astăzi îi poartă numele și care rezumă funcționarea unei mașini de calcul programabile, iar Claude Shannon a arătat că orice funcție din algebra booleană poate fi implementată mecanic cu ajutorul unor circuite logice electronice. John von Neumann a descris și el, pe când lucra la proiectul EDVAC, arhitectura von Neumann, o schemă structurală de bază a calculatoarelor. Aproape toate calculatoarele moderne sunt construite din circuite logice
Istoria mașinilor de calcul () [Corola-website/Science/315303_a_316632]
-
Park în ianuarie 1944. Colossus a fost prima mașină de calcul complet electronică. Ea utiliza un număr foarte mare de tuburi electronice. Primea datele de intrare pe bandă de hârtie și putea fi configurată să efectueze diferite operații din logica booleană, nefiind însă Turing-completă. S-au construit nouă exemplare de Colossus Mk II și singurul exemplar de Mk I a fost îmbunătățit și transformat și el într-un Mk II. Detaliile despre existența, proiectarea, și utilizarea lor au fost păstrate secret
Istoria mașinilor de calcul () [Corola-website/Science/315303_a_316632]
-
om. Din cauza acestor constrângeri, calculatoarele Colossus nu au apărut în multe istorii ale calculatoarelor. O copie reconstruită a unei mașini Colossus este expusă la Bletchley Park. În 1937, Claude Shannon a arătat că există o corespondență unu-la-unu între conceptele logicii booleene și anumite circuite electrice, care astăzi poartă numele de porți logice, și sunt omniprezente în calculatoarele numerice. În lucrarea sa de masterat de la MIT, pentru prima dată în istorie, Shannon a arătat că releele și comutatoarele electronice pot calcula expresii
Istoria mașinilor de calcul () [Corola-website/Science/315303_a_316632]
-
circuite electrice, care astăzi poartă numele de porți logice, și sunt omniprezente în calculatoarele numerice. În lucrarea sa de masterat de la MIT, pentru prima dată în istorie, Shannon a arătat că releele și comutatoarele electronice pot calcula expresii de algebră booleană. Intituată "A Symbolic Analysis of Relay and Switching Circuits" ("O analiză simbolică a releelor și circuitelor de comutație"), teza lui Shannon a pus bazele proiectării practice a circuitelor numerice. George Stibitz a realizat un calculator pe bază de relee, denumit
Istoria mașinilor de calcul () [Corola-website/Science/315303_a_316632]
-
ș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]
-
nivel jos (engleză = LOW) apare doar dacă ambele intrări sunt cu nivel înalt. Dacă una sau ambele intrări sunt cu nivel jos, atunci ieșirea are nivel înalt (engleză = HIGH]]). Poarta NAND este o poartă universală în sensul că orice funcție booleană poate fi implementată (realizată) doar cu porți NAND. Sistemele digitale care folosesc anumite circuite logice au ca avantaj funcționalitatea completă a porților NAND. În expresii logice complicate, scrise de obicei utilizând funcții precum AND (în română ȘI), OR (în română
Poartă NAND () [Corola-website/Science/311653_a_312982]
-
br> a) b) Execuția instrucțiunii decizionale începe cu evaluarea expresiei. Valoarea expresiei poate fi de orice tip scalar. Dacă valoarea expresiei este diferită de 0, atunci se execută instrucțiunea "instr a", altfel se execută "instr b". Limbajul C nu operează cu tipul boolean, valorile de adevăr fiind codificate numeric, după următoarea regulă: o valoare nulă este echivalentă cu fals iar o valoare ne-nulă cu adevărat. <br> "Exemplu:" Instrucțiunea de mai sus afișează textul ""pozitiv"" dacă "a > 0" și ""negativ"" în caz contrar
Sintaxa limbajului C () [Corola-website/Science/296568_a_297897]
-
Logica "fuzzy" (în engleză „"fuzzy"”, pronunțat ['fʌzi], înseamnă „vag”, „neclar”, „estompat”) este definită ca un „supraset al logicii convenționale boolene, logică care a fost extinsă pentru a cuprinde adevărul parțial, valori ale adevărului cuprinse între „complet adevărat” și „complet fals”. A fost definită în 1965 de către prof. Lotfi Zadeh de la Universitatea Californiei din Berkeley. Spre deosebire de logica clasică, în care se
Logică fuzzy () [Corola-website/Science/305645_a_306974]
-
fi de diverse tipuri: Fiecare categorie poate fi divizată mai departe în multe alte subcategorii, în funcție de jocul la care se referă. Din punct de vedere matematic, aceste evenimente nu sunt altceva decât submulțimi, iar câmpul de evenimente este o algebra booleană. Între aceste evenimente, găsim evenimente elementare și compuse, compatibile și incompatibile, independente și ne-independente. Acestea sunt doar câteva exemple de evenimente de joc, ale căror proprietăți de compunere, compatibilitate și independentă sunt ușor observabile. Aceste proprietăți sunt foarte importante
Matematica jocurilor de noroc () [Corola-website/Science/319175_a_320504]