18,160 matches
-
trebuie distinsă de logică. Logica e știința raționamentelor corecte Un silogism sau demonstrarea unei teoreme matematice ne schimbă cunoștințele, dar nu comportamentul. Un argument e menit să ne determine a lua o decizie practică, în viața reală, să facem o acțiune sau să o
Teoria argumentării () [Corola-website/Science/323291_a_324620]
-
trebuie distinsă de logică. Logica e știința raționamentelor corecte Un silogism sau demonstrarea unei teoreme matematice ne schimbă cunoștințele, dar nu comportamentul. Un argument e menit să ne determine a lua o decizie practică, în viața reală, să facem o acțiune sau să o evităm
Teoria argumentării () [Corola-website/Science/323291_a_324620]
-
sine) ; periculos pentru alții (argument moral : e imoral să rănești sau să ucizi alți oameni). Argumentul e prezentarea unui profit moral sau economic (viitor, ipotetic, posibil, prezumptiv) care va decurge din realizarea sfatului practic. Argumentul e "plauzibil", face parte din logica fuzzy. Argumentarea nu e un silogism. Argumentul e diferit de dovadă, probă, exemplu și ilustrație. a) N-am venit la nuntă, fiindcă a plouat. b) Mașina s-a împotmolit fiindcă a plouat. În primul caz (a) partea a doua ”fiindcă
Teoria argumentării () [Corola-website/Science/323291_a_324620]
-
și recomandă apoi acțiunea cea mai potrivită. Având în vedere că Mycroft Holmes este cofondator al clubului, dar și un om leneș care se deplasează aproape exclusiv doar între casa lui, biroul său și club, aceasta extrapolare apare ca fiind logică. Această idee a fost în mare parte popularizata în "The Private Life of Sherlock Holmes", un film regizat în 1970 de Billy Wilder, si a fost folosit frecvent în pastișele povestirilor originale ale lui Conan Doyle. Scriitoarea britanică Kim Newman
Clubul Diogene () [Corola-website/Science/324147_a_325476]
-
la standardul altor scrieri ale celor doi cititori, dar laudă „impactul emoțional al ideii principale, reușita caracterizărilor și forța derulării celor trei povestiri”. Într-o notă similară, "Publishers Weekly" remarcă: „Cu o intrigă bine construită (cu câteva mici scăpări de logică) prezentată într-o proză specifică genului fantasy, cartea îi va atrage cititorii tineri”.
Furtună pe Windhaven () [Corola-website/Science/324223_a_325552]
-
un inel pe marginile exterioare ale chipului în timp ce blocuri dreptunghiulare de vectori de blocuri logice sunt așezate în mijlocul acestui inel. Fiecare bloc de I/ O se poate lega la unul dintre pinii aflați la exteriorul FPGA-ului. Un bloc de logica tipic unui FPGA este format dintr-o tabela de căutare cu patru intrări (LUT) și un flip-flop. La momentul actual, FPGA-urile au și blocuri de DSP, care furnizează funcționalitate la nivel înalt, blocuri de I/ O rapide, memorii integrate
Prelucrare paralela cu FPGA-uri () [Corola-website/Science/326516_a_327845]
-
căutare cu patru intrări (LUT) și un flip-flop. La momentul actual, FPGA-urile au și blocuri de DSP, care furnizează funcționalitate la nivel înalt, blocuri de I/ O rapide, memorii integrate și procesoare. FPGA-urile mai au și blocuri de logica configurabile (CLB-uri), care sunt formate din mai multe felii, fiecare felie reprezentând un set mic de blocuri configurabile. FPGA-urile moderne sunt formate din zeci de mii de astfel de CLB-uri și dintr-o rețea interconectata programabila dispusa
Prelucrare paralela cu FPGA-uri () [Corola-website/Science/326516_a_327845]
-
lor paralele. Din perspectiva software, dezvoltatorii pot creea kerneluri hardware folosind limbaje de descriere hardware precum VHDL sau Verilog. Calculatoarele SRC permit și alte limbaje de descriere hardware, printre care Carte C, Carte Fortran, Mitrion C, Celoxica - Handel C, etc. Logica reconfigurabila consta într-o matrice de calcul programabila cu o rețea interconectata programabila care este folosita în cadrul acelei matrici. Diferențele principale intre logica reconfigurabila si procesarea tradițională sunt: Sunt mai multe avantaje în folosirea FPGA-urilor, inclusiv viteza, energia redusa
Prelucrare paralela cu FPGA-uri () [Corola-website/Science/326516_a_327845]
-
alte limbaje de descriere hardware, printre care Carte C, Carte Fortran, Mitrion C, Celoxica - Handel C, etc. Logica reconfigurabila consta într-o matrice de calcul programabila cu o rețea interconectata programabila care este folosita în cadrul acelei matrici. Diferențele principale intre logica reconfigurabila si procesarea tradițională sunt: Sunt mai multe avantaje în folosirea FPGA-urilor, inclusiv viteza, energia redusa și consumul de putere. Ca în calculele reconfigurabile, circuitul hardware este optimizat pentru aplicație și din acest motiv consumul de putere va tinde
Prelucrare paralela cu FPGA-uri () [Corola-website/Science/326516_a_327845]
-
un număr mare de aplicații. Datorita prezentei memoriei de pe cip se facilitează accesul co procesorului și nu este restrâns la numărul de pini de intrare/ieșire prezenți pe dispozitiv. Mai mult, memoria este într-o relație de cuplare puternica cu logica algoritmului și din acest motiv nu trebuie memorie de viteza mare de tip cache. Astfel evitam rezolvarea coerentei cache-ului care era consumatoare de putere. Folosirea memoriei interne înseamna de asemenea ca nu exista pini în plus necesari pentru mărirea cantității
Prelucrare paralela cu FPGA-uri () [Corola-website/Science/326516_a_327845]
-
biți pe un modul DIMM. Formatul DIMM permite o arhitectura foarte compacta, ceea ce este important pentru conectarea modulelor într-un mod optim pe magistrala. Fiecare modul FPGA are o adresa unica hardware, care este generate prin GAL(Generic Array Logic, logica vectoriala generic) fiecărui socket DIMM. Astfel toate corurile FPGA-urilor pot avea aceeași configurație și toate modulele FPGA pot avea același layout. Pot fi ușor înlocuite dacă se strica ceva.
Prelucrare paralela cu FPGA-uri () [Corola-website/Science/326516_a_327845]
-
construită prin aproximări succesive plecând de la un comportament inițial ⊥ utilizând o funcție comportamentală de aproximare progession pentru a construi o denotare a lui S: În acest fel, S poate fi caracterizat matematic în funcție de toate comportamentele sale posibile. Diferite tipuri de logică temporală pot fi folosite pentru a trata problema sistemelor concurente. Unele dintre aceste logici, cum ar fi logica temporală liniară și logica bazată pe arbori computaționali de timp (o logică în care modelul timpului este o structură de tip arbore
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
aproximare progession pentru a construi o denotare a lui S: În acest fel, S poate fi caracterizat matematic în funcție de toate comportamentele sale posibile. Diferite tipuri de logică temporală pot fi folosite pentru a trata problema sistemelor concurente. Unele dintre aceste logici, cum ar fi logica temporală liniară și logica bazată pe arbori computaționali de timp (o logică în care modelul timpului este o structură de tip arbore în care viitorul nu este determinat), permit specificarea secvențelor de stări prin care un
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
construi o denotare a lui S: În acest fel, S poate fi caracterizat matematic în funcție de toate comportamentele sale posibile. Diferite tipuri de logică temporală pot fi folosite pentru a trata problema sistemelor concurente. Unele dintre aceste logici, cum ar fi logica temporală liniară și logica bazată pe arbori computaționali de timp (o logică în care modelul timpului este o structură de tip arbore în care viitorul nu este determinat), permit specificarea secvențelor de stări prin care un sistem concurent poate trece
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
lui S: În acest fel, S poate fi caracterizat matematic în funcție de toate comportamentele sale posibile. Diferite tipuri de logică temporală pot fi folosite pentru a trata problema sistemelor concurente. Unele dintre aceste logici, cum ar fi logica temporală liniară și logica bazată pe arbori computaționali de timp (o logică în care modelul timpului este o structură de tip arbore în care viitorul nu este determinat), permit specificarea secvențelor de stări prin care un sistem concurent poate trece. Altele, cum ar fi
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
caracterizat matematic în funcție de toate comportamentele sale posibile. Diferite tipuri de logică temporală pot fi folosite pentru a trata problema sistemelor concurente. Unele dintre aceste logici, cum ar fi logica temporală liniară și logica bazată pe arbori computaționali de timp (o logică în care modelul timpului este o structură de tip arbore în care viitorul nu este determinat), permit specificarea secvențelor de stări prin care un sistem concurent poate trece. Altele, cum ar fi logica bazată pe arbori computaționali de acțiuni, logica
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
bazată pe arbori computaționali de timp (o logică în care modelul timpului este o structură de tip arbore în care viitorul nu este determinat), permit specificarea secvențelor de stări prin care un sistem concurent poate trece. Altele, cum ar fi logica bazată pe arbori computaționali de acțiuni, logica Hennessy-Milner și logica temporală de acțiuni a lui Lamport (care combină logica temporală cu logica acțiunilor) primesc informația prin secvențe de "acțiuni" (schimbări de stare). Principala utilizare a acestor logici este definirea specificațiilor
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
logică în care modelul timpului este o structură de tip arbore în care viitorul nu este determinat), permit specificarea secvențelor de stări prin care un sistem concurent poate trece. Altele, cum ar fi logica bazată pe arbori computaționali de acțiuni, logica Hennessy-Milner și logica temporală de acțiuni a lui Lamport (care combină logica temporală cu logica acțiunilor) primesc informația prin secvențe de "acțiuni" (schimbări de stare). Principala utilizare a acestor logici este definirea specificațiilor pentru sisteme concurente . Programarea concurentă cuprinde limbaje
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
modelul timpului este o structură de tip arbore în care viitorul nu este determinat), permit specificarea secvențelor de stări prin care un sistem concurent poate trece. Altele, cum ar fi logica bazată pe arbori computaționali de acțiuni, logica Hennessy-Milner și logica temporală de acțiuni a lui Lamport (care combină logica temporală cu logica acțiunilor) primesc informația prin secvențe de "acțiuni" (schimbări de stare). Principala utilizare a acestor logici este definirea specificațiilor pentru sisteme concurente . Programarea concurentă cuprinde limbaje de programare și
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
care viitorul nu este determinat), permit specificarea secvențelor de stări prin care un sistem concurent poate trece. Altele, cum ar fi logica bazată pe arbori computaționali de acțiuni, logica Hennessy-Milner și logica temporală de acțiuni a lui Lamport (care combină logica temporală cu logica acțiunilor) primesc informația prin secvențe de "acțiuni" (schimbări de stare). Principala utilizare a acestor logici este definirea specificațiilor pentru sisteme concurente . Programarea concurentă cuprinde limbaje de programare și algoritmi utilizați în implementarea sistemelor concurente. Programarea concurentă este
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
este determinat), permit specificarea secvențelor de stări prin care un sistem concurent poate trece. Altele, cum ar fi logica bazată pe arbori computaționali de acțiuni, logica Hennessy-Milner și logica temporală de acțiuni a lui Lamport (care combină logica temporală cu logica acțiunilor) primesc informația prin secvențe de "acțiuni" (schimbări de stare). Principala utilizare a acestor logici este definirea specificațiilor pentru sisteme concurente . Programarea concurentă cuprinde limbaje de programare și algoritmi utilizați în implementarea sistemelor concurente. Programarea concurentă este de obicei considerată
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
cum ar fi logica bazată pe arbori computaționali de acțiuni, logica Hennessy-Milner și logica temporală de acțiuni a lui Lamport (care combină logica temporală cu logica acțiunilor) primesc informația prin secvențe de "acțiuni" (schimbări de stare). Principala utilizare a acestor logici este definirea specificațiilor pentru sisteme concurente . Programarea concurentă cuprinde limbaje de programare și algoritmi utilizați în implementarea sistemelor concurente. Programarea concurentă este de obicei considerată a fi mai generală decât programarea paralelă, deoarece aceasta poate implica modele arbitrare și dinamice
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
Vulcanienii reprezintă o specie extraterestră umanoidă din universul Star Trek, care a evoluat pe planeta Vulcan; ei sunt remarcați pentru încercarea lor de a trăi prin rațiune și logică, fără niciun amestec de emoție. Au fost prima specie extraterestră din universul Star Trek care au avut Primul contact cu oamenii. Vulcanienii au ajutat foarte mult Pământul devastat de un al treilea război mondial, ajutând oamenii să elimine sărăcia, bolile
Vulcan (Star Trek) () [Corola-website/Science/326589_a_327918]
-
vremea lui Petru Rareș prin luciditate diplomatică și dârzenie ostășească” (confuzia cu Anastasie este evidentă) este numit Ilarie-Ion. Certitudini documentare pentru a susține prezența episcopului polinominalizat (Layr Iowan, Ilarion, Larion, Ion, Ilarie, Ioan) nu există, jocul ipotezelor, oricâtă emergie și logică ar consuma, putând da câștig de cauză și celor care văd în el primul episcop de Vad nominal cunoscut și celor care-i refuză calitatea, considerându-l episcop de Bistrița. Firește discuția trebuie să țină seamă de faptul că jurisdicția
Biserica Adormirea Maicii Domnului din Vad () [Corola-website/Science/326716_a_328045]
-
și informatică. A fost profesor la Facultatea de Matematică și Informatică a Universității din București. Într-o discuție cu academicianul Grigore C. Moisil, tânărul inginer Leon Livovski i-a atras atenția asupra unor articole din revista sovietică „Electricestvo", privind utilizarea logicii matematice clasice în studiul circuitelor de comutație. În felul acesta, academicianul Moisil a luat cunoștință, în jurul anilor 1950, cu cercetările sovietice (în special ale lui Șestakov și Gavrilov) privind aplicațiile logicii matematice în tehnică. a utilizat primul, pe plan mondial
Leon Livovschi () [Corola-website/Science/326819_a_328148]