84 matches
-
Algebra booleană, numită și Logica booleană, este un subdomeniu al matematicii în care legile gândirii - obiectul de studiu al logicii clasice - sunt studiate cu ajutorul metodelor simbolice. Denumirea această a fost dată în onoarea matematicianului englez George Boole, care în lucrarea "The Laws
Algebră booleană () [Corola-website/Science/314688_a_316017]
-
Algebra booleană, numită și Logica booleană, este un subdomeniu al matematicii în care legile gândirii - obiectul de studiu al logicii clasice - sunt studiate cu ajutorul metodelor simbolice. Denumirea această a fost dată în onoarea matematicianului englez George Boole, care în lucrarea "The Laws of Thought" („Legile gândirii
Algebră booleană () [Corola-website/Science/314688_a_316017]
-
obiectul de studiu al logicii clasice - sunt studiate cu ajutorul metodelor simbolice. Denumirea această a fost dată în onoarea matematicianului englez George Boole, care în lucrarea "The Laws of Thought" („Legile gândirii”), publicată în 1853, a pus bazele aceste algebre. Algebra booleană este formată din: Operațiile se definesc astfel: ȘI; SAU; NU Axiomele algebrei booleene sunt următoarele: Fie o multime M compusă din elementele x, x...x, împreună cu operațiile × și +. Această mulțime formează o algebra dacă: Mulțimea M conține cel putin 2
Algebră booleană () [Corola-website/Science/314688_a_316017]
-
a fost dată în onoarea matematicianului englez George Boole, care în lucrarea "The Laws of Thought" („Legile gândirii”), publicată în 1853, a pus bazele aceste algebre. Algebra booleană este formată din: Operațiile se definesc astfel: ȘI; SAU; NU Axiomele algebrei booleene sunt următoarele: Fie o multime M compusă din elementele x, x...x, împreună cu operațiile × și +. Această mulțime formează o algebra dacă: Mulțimea M conține cel putin 2 elemente distincte x 1 x (x1,x2I M); Pentru x I M, x
Algebră booleană () [Corola-website/Science/314688_a_316017]
-
0 și elementul unitate 1; atunci pentru " x I M există un element unic notat cu x, cu proprietățile: x × x = 0 principiul contradicției x + x = 1 principiul terțului exclus x este inversul elementului x. În definirea axiomatica a algebrei booleene s-au folosit diferite notații. În tabelul următor se dau denumirile și notațiile specifice folosite pentru diverse domenii: Matematică, Logică, Tehnica Prima lege de compoziție x1 + x2 Disjuncție x1 Ú x2 SAU x1 + x2 A doua lege de compoziție x1
Algebră booleană () [Corola-website/Science/314688_a_316017]
-
selectat în ordine. codice 47 va găsi o potrivire dacă "primul" element codice 22 într-un document codice 49 care satisface și codice 50 XPath 1.0 definește patru tipuri de date: node-sets (grupuri de noduri lipsite de o ordine intrinseca), șiruri, numere și booleene. Operatorii disponibili sunt: Bibliotecă de funcții include și: Cele mai folosite în mod curent sunt prezentate mai jos. Pentru mai multe detalii, vezi - documentul cu recomandări al consoräiului W3C Expresiile pot fi create în interiorul predicatelor folosindu-se operatorii : codice 54 și
XPath () [Corola-website/Science/309994_a_311323]
-
moduri: Regasirea documentelor electronice din zona de stocare. Sistemele DMS asigura criterii de căutare complexe, căutări după metadate, căutări după text conținut în documente(full-text-search). În căutări se utilizează criterii combinate între medadate generale și metadate specifice, expresii de tip boolean și operatori de căutare (=, <>, >=, <=, LIKE, !=) Un document publicat trebuie să fie într-un format care să blocheze modificarea facilă a documentului. Sistemele DMS asigura distribuția documentelor către destinatarii lor (și numai către aceștia) pe bază de grupuri, roluri, drepturi de
Sistem de management al documentelor () [Corola-website/Science/320380_a_321709]
-
În informatică, tipul de date boolean sau tipul de date logice este unul dintre cele mai simple tipuri de date, având doar 2 posibile valori (adevărat și fals), se folosește pentru a reprezenta valori logice în algebra booleană. Este denumit după George Boole, primul matematician care a definit un sistem algebric logic în secolul al XIX-lea. Diverse limbaje de programare implementează tipuri de date booleane în structura lor, precum Pascal, Java, PHP, JavaScript sau C++. Operatori specializați
Boolean (tip de date) () [Corola-website/Science/321547_a_322876]
-
adevărat și fals), se folosește pentru a reprezenta valori logice în algebra booleană. Este denumit după George Boole, primul matematician care a definit un sistem algebric logic în secolul al XIX-lea. Diverse limbaje de programare implementează tipuri de date booleane în structura lor, precum Pascal, Java, PHP, JavaScript sau C++. Operatori specializați precum '>','≠' sau '!=' sunt programați să returneze valori booleane. Deasemenea structuri condiționale de control precum "if-then-else" sau structure repetitive gen "while" pot testa expresii booleane. Limbaje precum C sau
Boolean (tip de date) () [Corola-website/Science/321547_a_322876]
-
care a definit un sistem algebric logic în secolul al XIX-lea. Diverse limbaje de programare implementează tipuri de date booleane în structura lor, precum Pascal, Java, PHP, JavaScript sau C++. Operatori specializați precum '>','≠' sau '!=' sunt programați să returneze valori booleane. Deasemenea structuri condiționale de control precum "if-then-else" sau structure repetitive gen "while" pot testa expresii booleane. Limbaje precum C sau Lisp care nu implementează explicit tipul de date boolean, pot reprezenta valori logice printr-un alt tip de date. Lisp
Boolean (tip de date) () [Corola-website/Science/321547_a_322876]
-
implementează tipuri de date booleane în structura lor, precum Pascal, Java, PHP, JavaScript sau C++. Operatori specializați precum '>','≠' sau '!=' sunt programați să returneze valori booleane. Deasemenea structuri condiționale de control precum "if-then-else" sau structure repetitive gen "while" pot testa expresii booleane. Limbaje precum C sau Lisp care nu implementează explicit tipul de date boolean, pot reprezenta valori logice printr-un alt tip de date. Lisp folosește liste fără elemente pentru fals și orice altă valoare pentru adevărat. C folosește tipul de
Boolean (tip de date) () [Corola-website/Science/321547_a_322876]
-
de date. Lisp folosește liste fără elemente pentru fals și orice altă valoare pentru adevărat. C folosește tipul de date integer (numere întregi), iar expresii precum codice 1 returnează valori 1 pentru adevărat și 0 pentru fals. În general o variabilă booleană poate fi văzută și implementată că o variabilă cu un singur bit, care poate stoca doar două posibile valori. Majoritatea limbajelor de programare, chiar și cele care nu implementează explicit tipul de date boolean, suporta operații algebrice booleane precum conjuncția
Boolean (tip de date) () [Corola-website/Science/321547_a_322876]
-
chiar și cele care nu implementează explicit tipul de date boolean, suporta operații algebrice booleane precum conjuncția logică (ȘI), disjuncția logică (SAU), echivalentă logică (codice 2), disjuncție exclusivă (XOR), negație logică (!) În anumite limbaje de programare există un tip de date boolean care include și NULL că o posibilă valoare pe langă adevărat și fals ().
Boolean (tip de date) () [Corola-website/Science/321547_a_322876]
-
un exemplu de propoziție exclamativă: "Ce repede ai alergat!". În sens matematic, o propoziție matematică este o succesiune de afirmații care ori se poate demonstra, ea fiind atunci "demonstrabilă", ori nu trebuie a fi demonstrată, fiind atunci "axiomatică". În logica booleană propoziția (aserțiunea) este un enunț declarativ căruia i se atribuie una din cele două valori de adevăr "adevărat" sau "fals". O propoziție "adevărată" are drept valoare "adevărul". În această logică, cele două valori "adevăr" și "falsitate" se notează de obicei
Propoziție () [Corola-website/Science/298470_a_299799]
-
considerat, de asemenea, fondatorul teoriei proiectării circuitelor digitale și calculatoarelor numerice încă din 1937, când, la vârsta de 21 de ani, fiind student la masterat la MIT, a scris o teză prin care demonstra că, cu ajutorul aplicațiilor electrice ale algebrei booleene, se poate construi și rezolva orice relație logică numerică. Aceasta este una dintre cele mai importante teze de masterat din toate timpurile. Shannon s-a născut în Petoskey, statul Michigan. Tatăl său, Claude Senior (1862-1934), descendent al primilor coloniști din
Claude Shannon () [Corola-website/Science/312635_a_313964]
-
în 1940. Howard Gardner, de la Universitatea Harvard, a numit teza lui Shannon "poate cea mai importantă și mai celebră teză de masterat a secolului." Victor Șestakov, de la Universitatea de Stat Moscova, propusese o teorie a comutatoarelor electrice, bazată pe logica booleană cu puțin timp înaintea lui Shannon, în 1935, dar prima publicare a rezultatelor lui Șestakov a avut loc în 1941, după publicarea tezei lui Shannon. În această lucrare, Shannon a demonstrat că algebra booleană și aritmetica binară pot fi folosite
Claude Shannon () [Corola-website/Science/312635_a_313964]
-
a comutatoarelor electrice, bazată pe logica booleană cu puțin timp înaintea lui Shannon, în 1935, dar prima publicare a rezultatelor lui Șestakov a avut loc în 1941, după publicarea tezei lui Shannon. În această lucrare, Shannon a demonstrat că algebra booleană și aritmetica binară pot fi folosite pentru a simplifica aranjamentul releelor electromagnetice utilizate pe atunci în comutatoarele liniilor telefonice, apoi a realizat și abordarea inversă, demonstrând că este posibil să se folosească aranjamente de relee pentru a rezolva probleme de
Claude Shannon () [Corola-website/Science/312635_a_313964]
-
aritmetica binară pot fi folosite pentru a simplifica aranjamentul releelor electromagnetice utilizate pe atunci în comutatoarele liniilor telefonice, apoi a realizat și abordarea inversă, demonstrând că este posibil să se folosească aranjamente de relee pentru a rezolva probleme de algebră booleană. Exploatând această proprietate a comutatoarelor electrice de a efectua operații logice a devenit conceptul ce stă la baza tuturor calculatoarelor electronice digitale. Lucrarea lui Shannon a devenit baza proiectării practice a circuitelor digitale, când a devenit larg cunoscută printre comunitatea
Claude Shannon () [Corola-website/Science/312635_a_313964]
-
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]
-
Diagramele Karnaugh, numite și hărți Karnaugh, au fost inventate în 1950 de Maurice Karnaugh, un inginer în telecomunicații de la Laboratoarele Bell pentru a facilita minimizarea expresiilor algebrice booleene. În mod normal, pentru minimizarea acestor expresii este nevoie de calcule complicate, folosind formule și iterații, pe când Diagramele Karnaugh sunt mult mai simplu și mai rapid de utilizat pentru că folosesc capabilitățile creierului uman de recunoaștere a formelor pentru a decide
Diagramă Karnaugh () [Corola-website/Science/297452_a_298781]
-
diagrama Karnaugh, trebuie să aflăm expresiile minimale care vor fi utilizate în expresia finală. Acest lucru va fi făcut prin încadrarea valorilor de 1, astfel încât figura reprezentată de acestea să aibă următoarele proprietăți: Grupurile generate sunt convertite într-o expresie booleană prin: Fiecare grup generează astfel un produs, iar valoarea expresiei booleene este suma acestor produse. Funcția inversă se poate obține grupând valorile de 0, în locul celor de 1. Fie o funcție f(A, B, C, D), cu următoarea tabelă de
Diagramă Karnaugh () [Corola-website/Science/297452_a_298781]
-
în expresia finală. Acest lucru va fi făcut prin încadrarea valorilor de 1, astfel încât figura reprezentată de acestea să aibă următoarele proprietăți: Grupurile generate sunt convertite într-o expresie booleană prin: Fiecare grup generează astfel un produs, iar valoarea expresiei booleene este suma acestor produse. Funcția inversă se poate obține grupând valorile de 0, în locul celor de 1. Fie o funcție f(A, B, C, D), cu următoarea tabelă de adevăr: Funcția dată cu parametrii mintermeni (adică valorile pentru care rezultatul
Diagramă Karnaugh () [Corola-website/Science/297452_a_298781]
-
scăderi. De fiecare dată când împărțitorul nu încape în același număr de cifre ale deîmpărțitului (cu alte cuvinte este mai mic), se mai "coboară" următoarea cifră spre dreapta din deîmpărțit. Cu numerele binare se pot executa și operații logice sau "booleene" (numite așa după matematicianul și filozoful englez George Boole); acestea nu pun accentul pe valoarea aritmetică a numărului binar în cauză, ci pe manipularea numerelor și cifrelor binare conform legilor adevărului și falsului. Vezi articolele Logică binară și Algebră booleană
Sistem binar () [Corola-website/Science/296577_a_297906]
-
booleene" (numite așa după matematicianul și filozoful englez George Boole); acestea nu pun accentul pe valoarea aritmetică a numărului binar în cauză, ci pe manipularea numerelor și cifrelor binare conform legilor adevărului și falsului. Vezi articolele Logică binară și Algebră booleană. Sistemul hexazecimal are baza 16 și utilizează 16 cifre hexazecimale, care se notează astfel: 0 1 2 3 4 5 6 7 8 9 A B C D E F. În acest șir de cifre hexazecimale, Pentru reprezentarea valorilor zecimale de la 0
Sistem binar () [Corola-website/Science/296577_a_297906]