2,965 matches
-
devine interesat de logica matematică. Ulterior avea să declare că acest domeniu este „"o știință deasupra tuturor, care conține ideile și principiile care stau la baza tuturor științelor"”. Gödel are cercetări fundamentale în matematică și logică: teorema completitudinii calculului cu predicate, metoda aritmetizării meta-matematicii, teorema incompletitudinii sistemelor formale, teorema imposibilității demonstrării necontradicției sistemelor formale cu mijloacele sistemului însuși, prima definiție a funcției recursive generale. Aceste teoreme au fost inspirate din opera logică a lui Leibniz și au arătat că rolul formalizării
Kurt Gödel () [Corola-website/Science/314206_a_315535]
-
proces înghețat în timp. olfactiv (engl. olfactory) = referitor la miros și la simțul mirosului. operatori modali (engl. modal operators) = distincții lingvistice ale meta-modelului care indică "modalitatea" prin care "operează" o persoană: modalitatea necesității, a posibilității, a dorinței, a obligației, etc. Predicatele (pot, nu pot, posibil, imposibil, a trebui să, a trebui neapărat să, etc.) pe care le utilizăm pentru a ne motiva. părți (engl. parts) = 1. un mod metaforic de a vorbi despre programe și strategii independente de comportament. Programele sau
Glosar de termeni folosiți în NLP () [Corola-website/Science/313279_a_314608]
-
înșine și ceilalți dintr-o perspectivă disociată. 2. punctul nostru de vedere; una dintre cele trei poziții mentale adoptate (prima poziție - asociat în propria ființă; a doua poziție - din perspectiva celuilalt; a treia poziție - dintr-o poziție în afara celor implicați). predicate (engl. predicates) = 1. cuvinte referitoare la proces (precum verbe, adverbe și adjective) pe care o persoană le selectează pentru a descrie un subiect. Predicatele sunt folosite în NLP pentru a identifica sistemul de reprezentare pe care îl folosește o persoană
Glosar de termeni folosiți în NLP () [Corola-website/Science/313279_a_314608]
-
ființă; a doua poziție - din perspectiva celuilalt; a treia poziție - dintr-o poziție în afara celor implicați). predicate (engl. predicates) = 1. cuvinte referitoare la proces (precum verbe, adverbe și adjective) pe care o persoană le selectează pentru a descrie un subiect. Predicatele sunt folosite în NLP pentru a identifica sistemul de reprezentare pe care îl folosește o persoană pentru a procesa informațiile. 2. ceea ce afirmăm sau formulăm în legătură cu un anumit subiect, termeni cu specific senzorial ce indică un anumit sistem de reprezentare
Glosar de termeni folosiți în NLP () [Corola-website/Science/313279_a_314608]
-
sunt folosite în NLP pentru a identifica sistemul de reprezentare pe care îl folosește o persoană pentru a procesa informațiile. 2. ceea ce afirmăm sau formulăm în legătură cu un anumit subiect, termeni cu specific senzorial ce indică un anumit sistem de reprezentare (predicate vizuale, auditive, kinestezice, nespecificate). presupoziții (engl. presuppositions) = idei sau presupuneri pe care le luăm drept bune sau le considerăm ca fiind adevărate pentru a da un sens comunicării. prima poziție (engl. first position) = perceperea lumii din propriul punct de vedere
Glosar de termeni folosiți în NLP () [Corola-website/Science/313279_a_314608]
-
la limbajul folosit de aceasta, la crezurile, valorile, experiența sa curentă etc.; aspect crucial pentru stabilirea raportării. semnale (engl. cues) = informațiile care ne furnizează indicii referitoare la structura subiectivă a unei alte persoane, cum ar fi: semnalele de accesare vizuală, predicatele, poziția corpului, gesturile, tonul vocii, tonalitatea, etc. semnale de accesare vizuală (engl. eye accessing cues) = mișcări ale ochilor în diverse direcții, indicând o gândire (procesare) de tip vizual, auditiv sau kinestezic. semnale de accesare accessing cues 1. Comportamente subtile care
Glosar de termeni folosiți în NLP () [Corola-website/Science/313279_a_314608]
-
T.O.T.E. (engl. T.O.T.E.) =dezvoltat de Miller, Galanter și Pribram, termenul definește secvența Test-Operare-Test-Evacuare, care descrie circuitul de bază al răspunsului folosit pentru a ghida toate comportamentele. translatare (engl. translating) = procesul de reformulare a unei fraze înlocuind predicatele specifice unui sistem de reprezentare în predicate corespunzătoare altui sistem. uptime (engl. uptime) = o stare în cazul căreia atenția și simțurile sunt direcționate în exterior, către mediul înconjurător, toate canalele senzoriale sunt deschise și în alertă. utilizare (engl. utilisation) = o
Glosar de termeni folosiți în NLP () [Corola-website/Science/313279_a_314608]
-
dezvoltat de Miller, Galanter și Pribram, termenul definește secvența Test-Operare-Test-Evacuare, care descrie circuitul de bază al răspunsului folosit pentru a ghida toate comportamentele. translatare (engl. translating) = procesul de reformulare a unei fraze înlocuind predicatele specifice unui sistem de reprezentare în predicate corespunzătoare altui sistem. uptime (engl. uptime) = o stare în cazul căreia atenția și simțurile sunt direcționate în exterior, către mediul înconjurător, toate canalele senzoriale sunt deschise și în alertă. utilizare (engl. utilisation) = o tehnică în care o secvență de strategie
Glosar de termeni folosiți în NLP () [Corola-website/Science/313279_a_314608]
-
Construcție adverbială în ebraică și arabă), publicată în 1977 discută propozițiile care se deschid printr-o construcție adverbială despărțită de restul propoziției printr-o conjuncție sau printr-o prepoziție. La origine aceste construcții adverbiale servesc drept subiecte (uneori și ca predicate) psihologice, al căror statut special este însemnat de o conjuncție/prepoziție. Însă in unele cazuri adverbul se unește cu conjuncția/prepoziția și în felul acesta dispare însemnarea diviziunii propoziției în părțile ei psihologice. Cercetarea „On Polyphony in Biblical Hebrew” din
Yehoshua Blau () [Corola-website/Science/314864_a_316193]
-
locuțiuni prepoziționale; ● Interjecția: interjecții proprii (care exprimă uimirea, bucuria, amenințarea, îndemnul, regretul, indignarea): ah, eh, ih, oh, ahi, beh, uffa, ahime; interjecții improprii bravo, coraggio, avanti, via, su, forza, guai, peccato; locuțiuni; ● Sintaxa: Propoziția simplă; Părți principale de propoziție (Subiectul; Predicatul); Părți secundare de propoziție (Atributul; Complementul direct și indirect; Complemente circumstanțiale: de loc, de timp, de mod, de cauză, de scop, concesie, opoziție); Sintaxa frazei: Propoziția simplă; Propoziția condițională și fraza ipotetică; Concordanța în indicativ și conjunctiv. 1.3 identificarea
ANEXE din 29 august 2014 la Ordinul ministrului educaţiei naţionale nr. 4.430/2014 privind organizarea şi desfăşurarea examenului de bacalaureat naţional - 2015. In: EUR-Lex () [Corola-website/Law/265833_a_267162]
-
număr real, aproximări prin lipsă sau prin │ │ale numerelor, a estimărilor și aproximărilor în │adaos, partea întreagă, partea fracționară a unui│ │contexte variate │număr real; operații cu intervale de numere reale│ │3. Alegerea formei de reprezentare a unui număr Propoziție, predicat, cuantificatori │ │real și utilizarea unor algoritmi pentru ● Modalități de a defini un șir, șiruri │ │2. Utilizarea unor modalități variate de descriere │mărginite, șiruri monotone │ │a funcțiilor în scopul caracterizării acestora Șiruri particulare: progresii aritmetice, │ │3. Descrierea unor șiruri/funcții utilizând
ANEXE din 29 august 2014 la Ordinul ministrului educaţiei naţionale nr. 4.430/2014 privind organizarea şi desfăşurarea examenului de bacalaureat naţional - 2015. In: EUR-Lex () [Corola-website/Law/265833_a_267162]
-
număr real, aproximări prin lipsă sau prin │ │ale numerelor, a estimărilor și aproximărilor în │adaos, partea întreagă, partea fracționară a unui│ │contexte variate │număr real; operații cu intervale de numere reale│ │3. Alegerea formei de reprezentare a unui număr Propoziție, predicat, cuantificatori │ │real și utilizarea unor algoritmi pentru Redactarea rezolvării unei probleme, corelând │reducere la absurd │ │limbajul uzual cu cel al logicii matematice și al ● Modalități de a defini un șir, șiruri │ │2. Utilizarea unor modalități variate de descriere │mărginite, șiruri
ANEXE din 29 august 2014 la Ordinul ministrului educaţiei naţionale nr. 4.430/2014 privind organizarea şi desfăşurarea examenului de bacalaureat naţional - 2015. In: EUR-Lex () [Corola-website/Law/265833_a_267162]
-
logicii Reprezentarea adecvată a mulțimilor și a │modulul unui număr real, aproximări prin lipsă │ │operațiilor logice în scopul identificării unor │sau prin adaos; operații cu intervale de numere │ │proprietăți ale acestora │reale │ │3. Alegerea și utilizarea de algoritmi pentru ● Propoziție, predicat, cuantificatori │ │efectuarea unor operații cu numere reale, cu ● Modalități de a descrie un șir; șiruri │ │2. Calcularea valorilor unor șiruri care modelează │particulare: progresii aritmetice, progresii │ │situații practice în scopul caracterizării acestora│geometrice, determinarea termenului general al │ │3. Alegerea și
ANEXE din 29 august 2014 la Ordinul ministrului educaţiei naţionale nr. 4.430/2014 privind organizarea şi desfăşurarea examenului de bacalaureat naţional - 2015. In: EUR-Lex () [Corola-website/Law/265833_a_267162]
-
mai folosite forme ale verbelor poloneze, care sunt distribuite în șase clase de conjugare. Deși limba poloneză este de tip SVO, totuși, fiindcă este bogată în morfeme, ordinea cuvintelor în propoziție este variabilă, iar subiectul, complementul direct sau uneori chiar predicatul pot fi omise, dacă se subînțeleg din context. Topica poate fi folosită pentru a accentua una sau alta dintre părțile de propoziție. Exemplu: Doar primele trei exemple sunt comune. Celelalte sunt folosite pentru accentuări speciale sau în poezie. Toate exemplele
Limba poloneză () [Corola-website/Science/296627_a_297956]
-
este folosit și față de colegii mai mari, chiar și cînd diferența de an școlar este minimă. Gramatical acest mod se obține prin aducerea verbelor predicative la forma așa-numită "-masu". De exemplu verbul 行く "iku" (merg) devine 行きます "ikimasu". Cînd predicatul este exprimat printr-un adjectiv "-i" sau este format copulativ printr-un adjectiv "-na" sau un substantiv, în modul acesta de politețe se adaugă cuvîntul です "desu" care este varianta de politețe a copulei だ "da" echivalentă cu "a fi
Limba japoneză () [Corola-website/Science/296903_a_298232]
-
propoziție, ci caracterizează atitudinea vorbitorului față de conținutul întregului enunț în care este folosit. Asemenea cuvinte sunt: "talán" „poate”, "valószínűleg" „probabil”, "esetleg" „eventual”, "állítólag" „zice-se” etc. Prezentăm sintaxa limbii maghiare cu ajutorul terminologiei maghiare traduse în română. Părțile de propoziție sunt predicatul, subiectul, obiectul, complementul de loc, de timp, numeric, de stare, de origine, de rezultat, sociativ, de mod, de cauză, de scop, de relație, de grad/măsură, instrumental, de atribuire și de comparație, complementele asemantice (sau permanente) și atributul. În privința atributului
Limba maghiară () [Corola-website/Science/297059_a_298388]
-
definit numărul natural numai prin concepte logice. Pe această bază a încercat să deducă aritmetica din logică inițiând astfel logicismul. Elaborând primul sistem axiomatic al calculului propzițional, Frege a dat o analiză strictă a funcțiilor propoziționale, a problematicii calculului cu predicate și a definit precis conceptele fundamentale ale logicii simbolice. A dezvoltat o teorie sistematică a semnificației. Constituirea logicii matematice David Hilbert (1862-1943) S-a preocupat de fundamentele logice ale matematicii, de natura sistemelor formalizate ale logicii și matematicii. A perfecționat
Logică () [Corola-website/Science/297515_a_298844]
-
David Hilbert (1862-1943) S-a preocupat de fundamentele logice ale matematicii, de natura sistemelor formalizate ale logicii și matematicii. A perfecționat alături de P. Bernais, sistemul axiomatic expus de Bertand Russel și A.N. Whitehead în opera ,Principia Mathematica, Formularea logicii predicatelor așa cum este aceasta utilizată astăzi este logica de ordinul I prezentată în lucrarea lui David Hilbert și Wilhelm Ackermann, Principles of Theoretical Logic[1] (1928). Generalitatea analitică a logicii predicatelor a permis formalizarea matematicii și a dus la dezvoltarea teoriei
Logică () [Corola-website/Science/297515_a_298844]
-
și A.N. Whitehead în opera ,Principia Mathematica, Formularea logicii predicatelor așa cum este aceasta utilizată astăzi este logica de ordinul I prezentată în lucrarea lui David Hilbert și Wilhelm Ackermann, Principles of Theoretical Logic[1] (1928). Generalitatea analitică a logicii predicatelor a permis formalizarea matematicii și a dus la dezvoltarea teoriei modelelor de către Alfred Tarski; logica predicatelor constituie fundamentul logicii matematice moderne. Marea diferență dintre logica silogistică aristoteliciană și logica predicatelor constă în capacitatea acesteia din urmă de a pătrunde în
Logică () [Corola-website/Science/297515_a_298844]
-
este logica de ordinul I prezentată în lucrarea lui David Hilbert și Wilhelm Ackermann, Principles of Theoretical Logic[1] (1928). Generalitatea analitică a logicii predicatelor a permis formalizarea matematicii și a dus la dezvoltarea teoriei modelelor de către Alfred Tarski; logica predicatelor constituie fundamentul logicii matematice moderne. Marea diferență dintre logica silogistică aristoteliciană și logica predicatelor constă în capacitatea acesteia din urmă de a pătrunde în structura fiecărei propoziții, în vreme ce silogistica trata exclusiv relația dintre propoziții. Odată cu apariția logicii predicatelor logicienii au
Logică () [Corola-website/Science/297515_a_298844]
-
Principles of Theoretical Logic[1] (1928). Generalitatea analitică a logicii predicatelor a permis formalizarea matematicii și a dus la dezvoltarea teoriei modelelor de către Alfred Tarski; logica predicatelor constituie fundamentul logicii matematice moderne. Marea diferență dintre logica silogistică aristoteliciană și logica predicatelor constă în capacitatea acesteia din urmă de a pătrunde în structura fiecărei propoziții, în vreme ce silogistica trata exclusiv relația dintre propoziții. Odată cu apariția logicii predicatelor logicienii au putut să ia în considerație cuantorii ca instrumente apte pentru exprimarea tuturor argumentelor care
Logică () [Corola-website/Science/297515_a_298844]
-
Tarski; logica predicatelor constituie fundamentul logicii matematice moderne. Marea diferență dintre logica silogistică aristoteliciană și logica predicatelor constă în capacitatea acesteia din urmă de a pătrunde în structura fiecărei propoziții, în vreme ce silogistica trata exclusiv relația dintre propoziții. Odată cu apariția logicii predicatelor logicienii au putut să ia în considerație cuantorii ca instrumente apte pentru exprimarea tuturor argumentelor care apar în limbajul natural. Bertrand Russell (1872-1970) Succesiunea lucrărilor de logică matematică ale acestui logician este următoarea: 1903, Londra ,Principles of mathematics, - ,Principiile matematicilor
Logică () [Corola-website/Science/297515_a_298844]
-
dintr-una negativă obținem una afirmativă. Exemplu: Simbolic și general: „S este P” → «S nu este non-P». Natural și concret : „Omul este spiritual” implică „Omul nu este nespiritual”. Conversiunea Conversiunea este obținerea unei judecăți noi, al cărei subiect logic este predicatul logic al judecății inițiale și al cărei predicat logic este subiectul judecății inițiale. Exemplu: Simbolic și general: „Toți S sunt P” → „Unii P, și numai unii P sunt S”. Natural și concret: „Toți consecvenții sunt oameni” implică „Unii oameni și
Logică () [Corola-website/Science/297515_a_298844]
-
și general: „S este P” → «S nu este non-P». Natural și concret : „Omul este spiritual” implică „Omul nu este nespiritual”. Conversiunea Conversiunea este obținerea unei judecăți noi, al cărei subiect logic este predicatul logic al judecății inițiale și al cărei predicat logic este subiectul judecății inițiale. Exemplu: Simbolic și general: „Toți S sunt P” → „Unii P, și numai unii P sunt S”. Natural și concret: „Toți consecvenții sunt oameni” implică „Unii oameni și numai unii oameni sunt consecvenți”. Inferența mediată (mijlocită
Logică () [Corola-website/Science/297515_a_298844]
-
adjective. În franceză, toate atributele substantivale și pronominale, precum și toate complementele exprimate prin substantiv sau pronume accentuat sunt formate cu prepoziții, înlocuind complet declinarea. Conjuncțiile și locuțiunile conjuncționale subordonatoare sunt asociate cu un anumit mod verbal la care se folosește predicatul propoziției subordonate circumstanțiale. Pentru limba franceză este caracteristic faptul că în grupul substantival poate fi folosit un singur determinant abstract dintre articole (nehotărât, hotărât, partitiv) sau dintre adjectivele posesiv, demonstrativ și interogativ. Numai determinantul numeral și anumite adjective nehotărâte pot
Limba franceză () [Corola-website/Science/296698_a_298027]