Rezultatele căutării

[[Fișier:ORGate2.png|thumb|right|150px|[[Poartă logică]] OR.]] În [[logică]] și [[matematică]], '''disjuncția logică''' (scrisă '''''or''''') este un [[operator logic]] care dă valoarea de ade ...

O '''logică''' '''multimodală''' este o logică modală care are mai mult de un operator modal primitiv. ...unari primitivi <math>\Box_i, i\in \{1,\ldots, n\}</math> se numește ''n''-logică modală. ...

...ion.html|access-date=2020-07-29|website=mathworld.wolfram.com}}</ref> Asta în contrast cu [[operație binară|operațiile binare]], care au doi operanzi.<re ...inte de alte operații. Iată un exemplu care folosește [[negație |negația]] în numere întregi: ...

...ație logică]] asupra doi [[operand|operanzi]] din care rezultă o [[valoare logică]] de ''adevărat'' dacă și numai dacă unul dintre operanzi, dar nu amândoi, [[Fișier:XOR gate symbol.jpg|thumb|right|150px|[[Poartă logică]] XOR]] ...

...[[valoare (matematică)|valoare]] atribuită unei [[propoziție|propoziții]] în legătură cu informația privind [[adevăr]]ul enunțat de propoziție.<ref>{{en |<div style="font-size:300%">·'''∧'''·</div><small>[[conjuncție logică |conjuncție]]</small><br/>&nbsp; ...

=== În alfabetul roman === === În alfabetul românesc === ...

...tă terminologie nu este complet stabilită, deoarece acești termeni nu sunt în general definiți formal și pot fi considerați a fi [[jargon]] matematic.<re ...me=":1" /> Există, de asemenea, câteva utilizări mai puțin frecvente, în [[logică]] și [[teoria grafurilor]]. ...

...r-o [[formulă bine formată]] de [[Logică de ordinul întâi |ordinul întâi]] în [[axiomele Peano |aritmetica Peano]]. Mulțimile aritmetice sunt clasificate ...mulă φ(''n'') în limbajul aritmeticii Peano astfel încât {{mvar|n}} să fie în {{mvar|X}} dacă și numai dacă φ(''n'') respectă modelul aritmetic standard. ...

...despre substanțe chimice prima dată de autorul american [[Charles Peirce]] în eseul din 1897 "The Logic of Relatives". ...erație de aritate 2” de obicei se spune „adunarea este o operație binară”. În general, denumirea funcțiilor sau [[operator (matematică)|operatorilor]] cu ...

În [[matematică]] un '''operand''' este un ''argument'' al unei [[operație (ma În acest exemplu „+” este simbolul operației de [[adunare]]. Operandul „3” est ...

...t, adică reflectă schimbările intrării de la inițializarea sistemului până în momentul de față. O tranziție indică o schimbare de stare și este descrisă ;Acțiune de intrare de date: acțiune executată în funcție de starea prezentă și de datele de intrare ...

|com= Dacă {{math|''A''}} este zona colorată cu roșu în această imagine... ...}</ref> este mulțimea ale cărei [[element (matematică) |elemente]] nu sunt în {{math|''A''}}.<ref name=":1">{{en icon}} {{Cite web|title=Complement (set) ...

...spectre de idei. Neutrosofia a fost introdusa de [[Florentin Smarandache]] în [[1995]]. ...'', ''Neut-A'', ''Anti-A'' sunt disjuncte două câte două. Totuși, deoarece în multe cazuri limitele între noțiuni sunt destul de vagi, imprecise, se poat ...

* poate fi definit de o [[logică de ordinul 2]] [[monadică]] ...alte cuvinte, DSPACE(o(log log ''n'')) include clasa limbajelor regulate. În practică, majoritatea problemelor neregulate sunt rezolvate de mașini care ...

...uridic, medical și altele) dar în acest articol tratează limbajele formale în sensul de limbaj studiat de teoria limbajelor formale. Un limbaj formal poate fi specificat în mai multe feluri: ...

...[genetică]]. Un alfabet poate avea orice [[număr cardinal]] („mărime”) și, în funcție de scopul său, poate fi [[Mulțime finită|finit]] (de exemplu, alfab ...poate fi folosit pentru a forma cuvinte în limba engleză precum „iceberg”, în timp ce alfabetul atât cu litere mari, cât și cu litere mici poate fi folos ...

...Venn]]. În fiecare caz, mulțimea rezultată este mulțimea tuturor punctelor în orice nuanță de albastru.]] ...{{Ill-wd|Q191081|3=conjuncțiilor}} și [[Disjuncție logică|disjuncțiilor]] în termeni reciproci prin aplicarea {{Ill-wd|Q190558|3=negației}}. ...

...1576|3=model de calcul}}, folosind un [[algoritm]]. Domeniul este împărțit în trei ramuri majore: [[Teoria automatelor|teoria limbajelor formale și autom ...ă Turing va necesita întotdeauna doar o cantitate finită de memorie. Deci, în principiu, orice problemă care poate fi rezolvată (decisă) de către o mașin ...

...finale în prima poziție, în timp ce deplasarea tuturor celorlalte intrări în următoarea poziție, fie prin efectuarea operației inverse. O deplasare circ ...ri circulare ale unui ''n''-tuplu poate fi orice [[divizor]] al lui ''n'', în funcție de intrările tuplului. ...

În [[informatică]], '''algoritmul lui Thompson''' este un [[algoritm]] de transformare a une Algoritmul se aplică [[Recursivitate|recursiv]] prin divizarea unei expresii în subexpresiile sale constituente, din care se poate construi AFN-ul folosind ...