1,859 matches
-
depinde de aceste îmbunătățiri poate să nu funcționeze în Maxima, și bug-urile care au fost rezolvate în Macsyma pot fi încă prezente în Maxima, și vice-versa. Maxima include un limbaj de programare complet asemănător ca sintaxa cu ALGOL dar ca semantica se aseamănă cu Lisp. Este scris în Common Lisp, și poate fi accesat din punct de vedere al programării dar și extins, astfel încât ,la bază, Lisp poate fi apelat din Maxima. Maxima folosește Gnuplot pentru desenarea graficelor. Maxima este un
Maxima (software) () [Corola-website/Science/315699_a_317028]
-
Introducere în epistemologie" este prima carte de acest tip care a avut un nivel european, după perioada în care epistemologia a fost „gnoseologie” marxist-leninistă. Este încă cea mai bună introducere autohtonă disponibilă. Studiile sale de filosofie a științei ("Teoria științifică", "Semantica și logica științei") au pus accent mai mult pe instrumentele pe atunci contemporane de analiză a teoriilor științifice. Pârvu poate fi considerat ca aparținând curentului structuralism din filosofia științei, urmându-i pe J. Sneed, W. Stegmüller, C. U. Moulines, W
Filosofie românească () [Corola-website/Science/318807_a_320136]
-
xx, xx). Ca și celelalte semne de punctuație, rolul virgulei este de a evidenția structura unei propoziții, ușurând astfel cititul. Totodată, virgula ajută la clarificarea înțelesului frazei, evitându-se ambiguitățile. De exemplu, în frazele următoare, prezența virgulei schimbă cu totul semantica, cele două având chiar înțelesuri opuse: Virgula apare adesea în propoziție și în frază când se face o pauză în vorbire. Amplasarea sa nu este determinată de fonetică, ci de o serie de reguli gramaticale. Virgula se folosește în următoarele
Virgula în limba română () [Corola-website/Science/316214_a_317543]
-
HISTORY și COPYRIGHT. Sub Linux și Mac OS X două pachete macro groff sunt disponibile pentru editarea paginilor de manul, "mân" și "mdoc". Pachetul "mân" este mai vechi, "mdoc" este o variantă nouă și oferă un suport îmbunătățit pentru structurarea semantica a documentelor. Documentația acestor pachete macro se obține cu ajutorul comenzilor "mân groff man" și "mân groff mdoc". Paginile pot fi inspectate și direct, de obicei fișierele se află în directorul "/usr/share/mân". Locul exact variază de la sistem la sistem, si poate
Man (Unix) () [Corola-website/Science/320102_a_321431]
-
1948) (titlu original "The World of Null-A"), scris de obicei Lumea Ă, este un roman science fiction scris de A. E. van Vogt. Acesta a fost inițial serializat în trei numere din Astounding Stories în 1945. Romanul încorporează concepte din semantica generală a lui Alfred Korzybski și se referă la logica non-aristoteliană. "" a fost publicat inițial în 1945 sub forma unui serial în revista "Astounding Science Fiction", editată de John W. Campbell, Jr.. Pentru lansarea în volum care a avut loc
Lumea non-A () [Corola-website/Science/321516_a_322845]
-
Vogt. Inițial, a fost serializat în "Astounding Stories" între octombrie 1948 și ianuarie 1949 sub tiltul The Players of Ă, ceea ce a condus la ideea greșită că apariția cărții datează din 1948, datorită mențiunii copyright-ului. Cartea încorporează concepte din semantica generală a lui Alfred Korzybski și face referire la logica non-aristoteliană. Ea prezintă continuarea aventurilor lui Gilbert Gosseyn din "Lumea non-A", detaliind eventimentele la scară galactică a căror desfășurare a condus la evenimentele interplanetare din precedenta carte. În 1966
Jucătorii non-A () [Corola-website/Science/321534_a_322863]
-
constituției RFG (1949), nu conferă landurilor respective niciun statut special pe plan republican, formațiunile statale care alcătuiesc republica federală nedeosebindu-se între ele din punct de vedere al dreptului constituțional, ele având aceeași orânduire democratică parlamentară. Un termen alternativ, cu semantică similară, este "Volksstaat" („stat al poporului”). A fost folosit după 1918 de unele state germane ca alternativă la denumirile "Freistaat" și "Republik".
Freistaat () [Corola-website/Science/321957_a_323286]
-
nouă dimensiune după Al Doilea Război Mondial. Van Vogt a fost întotdeauna interesat de ideea unor sisteme de cunoaștere atotcuprinzătoare (similar meta-sistemelor actuale) - personajele din prima lui povestire folosesc un sistem numit 'Nexialism' pentru a analiza comportamentul extraterestru - și de semantica generală a lui Alfred Korzybski. Pornind de la aceste concepte, van Vogt a scris trei romane: "Lumea non-A" și "Jucătorii non-A" în anii '40 și "Sfârșitul non-A" în anii '80. "Non-A", sau logica non-aristoteliană se referă la
A. E. van Vogt () [Corola-website/Science/321363_a_322692]
-
trei rase extraterestre diferite, câștigând tot mai multă putere cu fiecare întâlnire și aflând tot mai multe despre adevărata natură a Silkie-lor și a universului. La fel cu alte opere ale lui van Vogt, romanul introduce un element psihologic similar semanticii generale. Aici, Silkie-ii folosesc așa numitele "niveluri ale logicii". În locul dihotomiei simbol/realitate din semantica generală, nivelurile logicii înlocuiesc conceptele de comportament și instinct cu structuri neurologice complexe și bucle de răspuns, nivelurile simple fiind construite pe baza unora mai
Silkie () [Corola-website/Science/321469_a_322798]
-
mai multe despre adevărata natură a Silkie-lor și a universului. La fel cu alte opere ale lui van Vogt, romanul introduce un element psihologic similar semanticii generale. Aici, Silkie-ii folosesc așa numitele "niveluri ale logicii". În locul dihotomiei simbol/realitate din semantica generală, nivelurile logicii înlocuiesc conceptele de comportament și instinct cu structuri neurologice complexe și bucle de răspuns, nivelurile simple fiind construite pe baza unora mai complexe. Manipulând aceste complexe cu ajutorul puterilor de care dispun, Silkie-ii își pot învinge adversarii, care
Silkie () [Corola-website/Science/321469_a_322798]
-
eventual, chiar sau diminuată, mai degrabă decât augmentată) de către un calculator. Ca rezultat, funcțiile tehnologiei de percepția creșterii curentă a realității. Prin contrast, realitatea virtuală înlocuiește lumea reală, cu una simulata. Mărirea este convențională, în timp real și, în context, semantica, cu elemente de mediu, cum ar fi scoruri sportive la TV în timpul unui meci. Cu ajutorul tehnologiei avansate AR (de exemplu, adăugarea de viziune pe calculator și recunoașterea obiectului), informațiile despre lumea reală înconjurătoare de utilizator devine digitală interactivă și manevrabila
Realitate augmentată () [Corola-website/Science/325495_a_326824]
-
uneori folosit ca sinonim pentru web semantic, este un "web de date", care permite calculatoarelor să înțeleagă semantica, sau sensul, de informații pe World Wide Web. <br> extinde rețeaua resurselor existente pe internet (pagini web, documente text și multimedia, baze de date, servicii etc), care pot fi citite de către utilizatori. Aceasta se realizează prin adăugarea unor extensii, numite
Web 3.0 () [Corola-website/Science/323064_a_324393]
-
concurente. Proliferarea diferitelor modele de concurență a motivat unii cercetători să dezvolte moduri de a unifica aceste modele teoretice. De exemplu, Lee și Sangiovanni-Vincentelli au demonstrat că modelul "tagged-semnal" poate fi folosit pentru a oferi un cadru comun pentru definirea semanticii denotaționale a unei varietăți de modele diferite de concurență, în timp ce Nielsen, Sassone și Winskel au demonstrat că "teoria categoriilor" poate fi folosită pentru a oferi o înțelegere unificată diferitor modele. Teorema de reprezentare computațională din modelul Actor oferă o modalitate
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
Moscova) (Международная Академия Наук Педагогического Образования).<br> Membru al Uniunii Compozitorilor și Muzicologilor din Moldova. Cursuri universitare conceptualizate, elaborate și predate de autor: Filosofia muzicii, Psihologia muzicii, Introducere în muzicologia dinamică, Teoria și metodologia educației muzicale, Audiții muzicale comentate, Epistemologie, Semantica muzicală.
Ion Gagim () [Corola-website/Science/324837_a_326166]
-
alocate dinamic - utilizând instrucțiunea new - deoarece memoria va fi eliberată atunci cand obiectul RÂII va fi distrus. Pentru acest scop, sunt incluși în TR1 (și marcați pentru a fi incluși în următorul standard C++0x), [ tip smart pointer ce au implementată semantica de memorie comun alocată (shared-memory). Pe scurt, pointerii partajați sunt obiecte C++ ce simulează comportamentul pointerilor clasici, prin suprascrierea operatorilor -> și *, împreună cu o serie de alte instrucțiuni. Pentru a exemplifică implementarea standard, ne vom referii la clasa shared ptr, așa cum este
RAII () [Corola-website/Science/322811_a_324140]
-
de comunicație, comunicând printr-o rețea de înaltă performanță." De atunci, evoluția concurenței masive prin arhitecturi de calculatoare multi-core a retrezit interesul în modelul Actor. Urmând publicația din 1973 a lui Hewitt, Bishop, și Steiger, Irene Greif a dezvoltat o semantică operațională pentru modelul Actor ca parte a cercetării sale doctorale. Doi ani mai târziu, Henry Baker și Hewitt au publicat un set de legi axiomatice pentru sistemele Actor. Alte momente majore în istorie includ dizertația lui William Clinger's, în
Modelul Actor () [Corola-website/Science/322835_a_324164]
-
Actor ca parte a cercetării sale doctorale. Doi ani mai târziu, Henry Baker și Hewitt au publicat un set de legi axiomatice pentru sistemele Actor. Alte momente majore în istorie includ dizertația lui William Clinger's, în 1981, introducând o semantică denotațională bazată pe domenii de putere și dizertația lui Gul Agha din 1985 care a dezvoltat mai departe modelul semantic complementar modelui lui Clinger. </ref> Aceasta a rezultat în dezvoltarea completă a teoriei modelului Actor. Însă cea mai importantă implementare
Modelul Actor () [Corola-website/Science/322835_a_324164]
-
includ: Există de asemenea și formalisme care nu sunt compatibile total cu modelul Actor prin faptul că nu formalizează expedierea garantată a mesajelor incluzând următoarele ( Vedeți Attempts to relate Actor semantics to algebra and linear logic) (Încercări de a relaționa semantica modelului Actor cu algebra și logica liniară): Modelul actor poate fi folosit ca un framework pentru modelare, înțelegerea și gândire despre o mare arie de sisteme concurente. De exemplu: Modelul actor se bazează pe modele anterioare de calcul. Calculul Lambda
Modelul Actor () [Corola-website/Science/322835_a_324164]
-
între numărul de Actori, threaduri, lockuri, relație care ar putea fi implicată în calcul. Implementările modelului Actor sunt libere să folosească threaduri și lockuri în orice fel este dorit și este compatibil cu legile pentru Actori. Modelul Actor este despre semantica transmiterii mesajelor. Primele programe concurente au fost interrupt handlers. În timpul operării normale, un calculator trebuie să primească informație din exterior (caractere de la tastatură, pachete din rețea, "etc".). Și când informația ajunge, execuția calculatorului este "întreruptă" și codul special chemat handler
Modelul Actor () [Corola-website/Science/322835_a_324164]
-
oboselii, Dumitru adoarme. Discuțiile continuă în jurul lui, iar sarcasticul Lucio, un component al grupului, afirmă că românul "„a abandonat Natura și s-a îndreptat spre Cultură”", plecând dintr-un spațiu arhaic pentru a ajunge în America ca să se mântuiască prin "„semantică, sociologie și zen”". Într-un final, cineva înțelege esența miracolului și, în condițiile în care Dugay afirmă că nu are niciun amestec, grupul de tineri consideră că miracolul a fost săvârșit, în mod inconștient, chiar de Dumitru. Lucio îl ironizează
O fotografie veche de 14 ani () [Corola-website/Science/327266_a_328595]
-
o "„credință naivă, idolatră și vană”". Imigrarea românului este o considerată o evoluție de la Natură spre Cultură prin intermediul unei limbi universale care urma să-l aducă la cunoașterea Spiritului universal. Tinerii consideră că accesul la Cultură se poate realiza prin "„semantică, sociologie și zen”". Miracolul vindecării și întinerii soției lui Dumitru nu este însă consecința vocației de mare predicator și taumaturg a falsului doctor Martin (în realitate un impostor pe nume Dugay), ci efectul credinței necondiționate a românului în Dumnezeul cel
O fotografie veche de 14 ani () [Corola-website/Science/327266_a_328595]
-
(n. 25 ianuarie 1910, Płock - d. 6 septembrie 1988, Londra) a fost un artist avangardist, prozator, poet, eseist, filosof, regizor și compozitor, creator al conceptului de poezie semantica. Scria în trei limbi: polona, franceza și engleză. S-a născut în Płock, într-o familie de medici (tatăl lui a fost Mieczysław Themerson, unul dintre colaboratorii lui Aleksander Maciesza). Între anii 1914-1918 a trăit cu părinții săi în Rusia
Stefan Themerson () [Corola-website/Science/330719_a_332048]
-
În 1948, împreună cu soția sa, a înființat editură Gaberbocchus Press, având ca scop publicarea așa ziselor "bestlookers" - cărți cu design grafic original; a fost director până în 1979. În 1948, într-un român scurt, Bayamus a elaborat unică teorie de poezie semantica, fiind un rezultat al experimentelor lui cu notația grafică nelineară care conducea la înlocuirea cuvintelor cu definițiile lor. A câștigat recunoaștere internațională că autor de române, române scurte și eseuri, amestecând grotescul cu filosofia și depășind ușor limitele genurilor literare
Stefan Themerson () [Corola-website/Science/330719_a_332048]
-
suită de termeni care se apropie poate și mai mult de bazele operei în discuție. Plecăm de la „găvanele“ primei personale, din 1985 (vezi definiția într-un vechi dicționar, copiată integral de autor pe o foaie de hârtie, cu toată bogația-i semantica), de la ansamblul „megalitic” de la Scânteia, ajungem la cupolele din elemente cioplite în lemn, la structurile împletite din nuiele, la proiectul ceaunului metalic plutitor (fotografie & intervenție pictată, refăcut mai tarziu pe calculator), ni se aduce aminte - vezi același vechi dicționar - că
Romelo Pervolovici () [Corola-website/Science/329076_a_330405]
-
și, deși permise în conformitate cu Șaria, au dispărut din societățile musulmane. Spre deosebire de "hijab", nu se află în rândul obiceiurilor asupra cărora insistă musulmanii de astăzi. Protejarea familiei patriarhale și a simbolismului pe care îl deține virtutea feminină este puternic înrădăcinată în semantica islamului: cuvântul "haram" (sacru, interzis, tabu) are aceeași rădăcină ca și "harim" - partea de locuință rezervată femeilor - și "mahram" - grupul de rude cu care relațiile sexuale ale unei femei sunt interzise prin lege și cu care ea este liberă să
Condiția femeii în islam () [Corola-website/Science/329070_a_330399]