Rezultatele căutării
Sari la navigare
Sari la căutare
- ...Echivalența logică este diferită de echivalența materială, deși cele două concepte sunt legate intrinsec. În logică există multe echivalențe logice comune și sunt adesea enumerate ca legi sau ...6 KB (1.057 cuvinte) - 24 octombrie 2022 10:51
- ...[[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/> ...7 KB (1.058 cuvinte) - 3 august 2024 16:57
- ...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]]. ...7 KB (1.152 cuvinte) - 8 septembrie 2023 10:23
- ...iuni primitive prin una sau mai multe axiome, dar acest lucru poate induce în eroare. Teoriile formale nu se pot dispensa de noțiunile primitive, sub ame ...], accesat 2022-02-25, p. 3</ref> Această axiomă poate fi formalizată în {{ill-wd| Q4055684||logica predicatelor}} drept ...7 KB (1.095 cuvinte) - 8 octombrie 2023 22:59
- ...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 ...15 KB (2.258 cuvinte) - 10 martie 2025 09:04
- ...pentru ''propoziție'' ca "o afirmație sau o idee pe care oamenii o pot lua în considerare sau discuta dacă este adevărată”.<ref>{{Citat web|url=https://w ...rde. Cu toate acestea, au fost propuse o serie de formalizări alternative, în special punctul de vedere al '''propozițiilor structurate'''. ...23 KB (3.427 cuvinte) - 22 august 2024 20:05
- ...dernă cu referire la diferite categorii. Astfel, functorii sunt importanți în toate domeniile matematicii cărora li se aplică [[teoria categoriilor]]. ...bn=978-3-540-90035-1|author-link=Saunders Mac Lane}}</ref> care îl folosea în contextul [[Lingvistică|lingvisticii]];<ref>[[Rudolf Carnap|Carnap, Rudolf] ...20 KB (3.015 cuvinte) - 9 ianuarie 2025 13:06
- ...ține rezultatele dorite. Spre deosebire de incertitudine, [[Risc|riscul]], în particular, are de-a face cu probabilități cunoscute, probabilități ca rezu ...ri fizice care sunt deja făcute, sau spre necunoscut. Incertitudinea apare în situații partial observabile și/sau [[Stohastic|stocastice]], precum și din ...35 KB (5.251 cuvinte) - 11 noiembrie 2023 17:47
- ...stracte definite în mod axiomatic folosind operațiile [[logică|logicii]] [[logică formală|formale]]. ...multiple subramuri matematice sub o teorie unică, o metodă ce facilitează în general metode generice de calcul. Ocazional, [[matematician|matematicienii ...35 KB (4.940 cuvinte) - 5 februarie 2025 15:56
- ...util; o mare cantitate de energia consumată a fost disipată sau pierdută. În următoarele două secole, fizicienii au investigat acest fenomen al energiei ...antitate mică de energie [[căldură]], {{mvar|δQ,}} este disipată progresiv în afara sistemului. Clausius a continuat să-și dezvolte ideile despre energia ...22 KB (3.396 cuvinte) - 24 ianuarie 2025 12:09
- ...9 respectând anumite condiții, cu unele cifre fiind de la început dispuse în grilă. Grila jocului este un pătrat de nouă pe nouă căsuțe, subdivizat în tot atâtea pătrate identice, numite regiuni (vedeți figura). Regula jocului ...43 KB (6.979 cuvinte) - 23 mai 2024 08:55
- ...[[volum (geometrie)|volumele]], ca apoi să se ajungă la geometria clasică, în care accentul era pus pe [[Construcții geometrice cu rigla și compasul|cons ...țial|calculului diferențial]] și [[calcul integral|integral]] și a evoluat în diverse ramuri ale acesteia, cu grad înalt de [[abstractizare (matematică)| ...27 KB (3.951 cuvinte) - 1 decembrie 2023 18:38
- ...i, în mod impropriu ‘’’asigurare’’’) reprezintă un indicator al siguranței în funcționare a sistemelor de gospodărire a apelor sau al riscului ca aceste ...fi satisfăcut, care în anumite condiții poate fi foarte mare, dar nu poate în niciun caz fi o certitudine. Ei au numit această probabilitate '''grad de s ...38 KB (5.808 cuvinte) - 5 noiembrie 2023 11:58
- ...d de [[gândire]] și [[analiză]] care are la bază, pe de o parte, relațiile în [[timp]] și [[spațiu]] dintre elemente, iar pe de altă parte, analiza eleme * '''[[absorbție]]''' - proprietate formală a unor operații [[logică|logico]]-[[matematică|matematice]] de a respecta [[legea absorbției]]. ...85 KB (13.483 cuvinte) - 5 noiembrie 2024 16:01
- [[Fișier:MECIPT-1.jpg|thumb|Calculatorul MECIPT-1 în laboratorul Facultății de Electrotehnică, 1961]] ...titutul de Fizică Atomică]]-[[Măgurele]]. Calculatorul a fost folosit atât în procesul didactic, cât și pentru calculele necesare unor obiective cum au f ...55 KB (8.244 cuvinte) - 21 iulie 2023 15:13
- ...eleasă ca o indicație că aceasta este [[Adevăr|adevărată]]. Rolul și modul în care dovada este definită diferă de la un domeniu la altul. ...ada este de obicei înțeleasă ca o stare mentală privată. Aspecte esențiale în acest domeniu includ natura acestor stări mentale, de exemplu, dacă trebuie ...40 KB (5.690 cuvinte) - 12 octombrie 2024 15:28
- În funcție de particularitățile constructive, tranzistoarele MOS se împart în două mari categorii: Sunt cele mai utilizate din cauza neconducției lor în absența polarizării, a capacității lor puternice de integrare precum și a f ...24 KB (3.609 cuvinte) - 5 ianuarie 2025 13:03
- ...[[Albert Einstein]] în articolul său '''Despre electrodinamica corpurilor în mișcare'''. Ea generalizează [[Invarianța galieleană|principiul relativităț ...ie a relativității restrânse pentru experimente în care vitezele sunt mici în comparație cu viteza luminii. ...48 KB (7.625 cuvinte) - 10 februarie 2024 14:31
- ...ges=98–100}}</ref> este, în {{Ill-wd|Q2878974|3=informatica teoretică}} și în teoria [[Limbaje formale|limbajelor formale]], un șir de {{Ill-wd|Q32483|3= ...]] a formalizat descrierea unui ''[[limbaj regulat]]''. Conceptul a intrat în uz comun împreună cu utilitarele de prelucrare a textului din [[UNIX|Unix]] ...85 KB (12.563 cuvinte) - 17 februarie 2025 21:19
- În conformitate cu [[Legile lui Kirchhoff (radiație)|legile radiației ale lui * <math>c\,=\,2,9979 \times 10^8 m/s</math> este ''[[viteza luminii în vid]]'' ...49 KB (7.645 cuvinte) - 7 februarie 2025 10:29