915 matches
-
FP în prezentarea din 1977 de la decernarea Premiului Turing, prezentare intitulată Can Programming Be Liberated From the von Neumann Style? A Functional Style and its Algebra of Programs ("„Poate fi eliberată programarea de stilul Von Neumann? Un stil funcțional și algebra sa de programe”"). El definește programele funcționale ca fiind constituite într-o manieră ierarhică, prin utilizarea "formelor combinante" care permit o "algebră de programe"; în limbajul modern, aceasta înseamnă că programele funcționale respectă principiul compoziționalității. Lucrarea lui Backus a popularizat
Programare funcțională () [Corola-website/Science/308128_a_309457]
-
Style and its Algebra of Programs ("„Poate fi eliberată programarea de stilul Von Neumann? Un stil funcțional și algebra sa de programe”"). El definește programele funcționale ca fiind constituite într-o manieră ierarhică, prin utilizarea "formelor combinante" care permit o "algebră de programe"; în limbajul modern, aceasta înseamnă că programele funcționale respectă principiul compoziționalității. Lucrarea lui Backus a popularizat cercetarea în domeniul limbajelor funcționale, deși a pus accent pe programarea la nivel funcțional, și nu pe stilul calculului lambda, stil ce
Programare funcțională () [Corola-website/Science/308128_a_309457]
-
o instrucțiune pe 36 de biți. Zona de adresă, de 12 biți, putea accesa 4096 de adrese de memorie. Instrucțiunile erau cu două adrese. A fost utilizat cu succes în diferite lucrări de topometrie, inginerie termică și a apelor, construcții, algebră și geometrie vectorială. Calculatorul a fost în serviciu timp de 22 de ani. În prezent calculatorul poate fi văzut la Muzeul Banatului. MECIPT-2 încă mai este funcțional. Pe baza MECIPT-2 a fost construit calculatorul CENA-2M („mobil”), care a fost realizat
MECIPT () [Corola-website/Science/301553_a_302882]
-
forme finite a comunicării. Fie și la un mod extrem de simplist, putem privi prin această prismă a limbajului utilizat cele mai diverse item-uri ale comunicării din diferite domenii, de la Teorema lui Pitagora la Teoria relativității, de la formele simple ale algebrei la sofisticatele limbaje de programare din lumea computerelor, de la picturile rupestre din peștera Altamira la "Gioconda" lui Leonardo da Vinci, de la o casă din Muzeul Satului la palatul Versailles sau Catedrala San Pietro din Roma, de la o colindă românească la
Stilistică muzicală () [Corola-website/Science/300949_a_302278]
-
fenomen. Există numeroase aplicații ale grupurilor. Un punct de pornire îl reprezintă mulțimea Z a numerelor întregi împreună cu operația de adunare. Dacă se consideră în schimb operația de înmulțire, se obțin grupuri multiplicative, care sunt predecesoarele unor importante construcții din algebra abstractă. Grupurile au aplicații și în multe alte domenii matematice. Unele obiecte matematice pot fi examinate cu ajutorul grupurilor lor asociative. De exemplu, Henri Poincaré a pus bazele a ceea ce astăzi se numește topologie algebrică introducând noțiunea de grup fundamental. Cu ajutorul
Grup (matematică) () [Corola-website/Science/302726_a_304055]
-
satisfăcută. Numerele raționale (inclusiv 0) formează un grup cu operația de adunare. Combinarea înmulțirii și adunării dă structuri mai complicate, denumite inele și—dacă este posibilă împărțirea, cum e cazul cu mulțimea Q—corpuri, care ocupă o poziție centrală în algebra abstractă. Argumentele din teoria grupurilor stau la baza unor noțiuni din teoria acestor entități. Pentru orice număr prim "p", aritmetica modulară furnizează grupul multiplicativ al întregilor modulo "p". Elementele sale sunt numerele întregi nedivizibile cu "p", modulo "p", adică două
Grup (matematică) () [Corola-website/Science/302726_a_304055]
-
de grup Poincaré. Prin cele de mai sus, el joacă un rol esențial în teoria relativității restrânsă și, în teoriile câmpurilor cuantice. Simetriile care depind de poziție sunt centrale în descrierea modernă a interacțiunilor fizice cu ajutorul teoriei de scală. În algebra abstractă, sunt definite structuri mai generale prin relaxarea unora dintre axiomele de definiție ale grupurilor. De exemplu, dacă se renunță la condiția ca fiecare element să aibă un invers, structura algebrică rezultată se numește monoid. Mulțimea numerelor naturale N (inclusiv
Grup (matematică) () [Corola-website/Science/302726_a_304055]
-
Maxima este un sistem complet computer algebra system bazat pe versiunea din 1982 a Macsyma. El este scris în Common Lisp și rulează pe toate platformele POSIX cum ar fi Mac OS X, Unix, BSD, și Linux, dar si pe Microsoft Windows. El este software liber eliberat
Maxima (software) () [Corola-website/Science/315699_a_317028]
-
Constantinopolul a fost invadat în două etape, dar fara succes. Orașe precum Cordoba sau Bagdad devin centre culturale și științifice, unde se construiau biblioteci în care cărturarii preluau textele grecilor antici, dezvoltând ramuri ale medicinei, ingineriei, astronomiei și matematicii , creând algebra și numerele arabe pe care le utilizăm și in ziua de azi. Abbas Ibn Firnas, un inginer, fizician și poet din Cordoba, a fabricat un planor cu care a încercat să zboare. Islamul deschide un nou capitol în istoria omenirii
Istoria lumii () [Corola-website/Science/314038_a_315367]
-
A adus contribuții originale în domenii variate ale fizicii teoretice: "rezistența metalelor în câmp magnetic", "absorbția razelor corpusculare grele în materie", "teoria pozitronului și polarizarea vidului", "radiația electromagnetică multipolară", "termodinamică și mecanică statistică", "dezintegrarea pionilor în muoni și neutrini", "reprezentările algebrelor Lie ale grupurilor unitare și ortogonale". În colaborare cu Costin D. Nenițescu, a publicat și lucrări de cinetică chimică organică. Studiind mișcarea unui colectiv de particule punctuale încărcate cu sarcini electrice, aflate sub influența unor câmpuri electrice și magnetice create
Șerban Țițeica () [Corola-website/Science/304138_a_305467]
-
decenii, a ținut succesiv cursuri de "analiză matematică", "structura materiei", "mecanică analitică", "termodinamică și fizică statistică", "electrodinamică", "teorie cuantică veche", "mecanică cuantică". A inițiat cursuri speciale de fizică teoretică: "mecanică cuantică avansată", "teoria nucleului atomic", "elemente de teoria grupurilor și algebrelor Lie". A fost profesorul preferat al multor generații de studenți, îndrumătorul unor excelente teze de doctorat, mentorul admirat al unor fizicieni de valoare, fondatorul unei active și prestigioase școli românești de fizică teoretică. A fost ales membru titular al Academiei Române
Șerban Țițeica () [Corola-website/Science/304138_a_305467]
-
este considerat, de asemenea, fondatorul teoriei proiectării circuitelor digitale și calculatoarelor numerice încă din 1937, când, la vârsta de 21 de ani, fiind student la masterat la MIT, a scris o teză prin care demonstra că, cu ajutorul aplicațiilor electrice ale algebrei booleene, se poate construi și rezolva orice relație logică numerică. Aceasta este una dintre cele mai importante teze de masterat din toate timpurile. Shannon s-a născut în Petoskey, statul Michigan. Tatăl său, Claude Senior (1862-1934), descendent al primilor coloniști
Claude Shannon () [Corola-website/Science/312635_a_313964]
-
teorie a comutatoarelor electrice, bazată pe logica booleană cu puțin timp înaintea lui Shannon, în 1935, dar prima publicare a rezultatelor lui Șestakov a avut loc în 1941, după publicarea tezei lui Shannon. În această lucrare, Shannon a demonstrat că algebra booleană și aritmetica binară pot fi folosite pentru a simplifica aranjamentul releelor electromagnetice utilizate pe atunci în comutatoarele liniilor telefonice, apoi a realizat și abordarea inversă, demonstrând că este posibil să se folosească aranjamente de relee pentru a rezolva probleme
Claude Shannon () [Corola-website/Science/312635_a_313964]
-
și aritmetica binară pot fi folosite pentru a simplifica aranjamentul releelor electromagnetice utilizate pe atunci în comutatoarele liniilor telefonice, apoi a realizat și abordarea inversă, demonstrând că este posibil să se folosească aranjamente de relee pentru a rezolva probleme de algebră booleană. Exploatând această proprietate a comutatoarelor electrice de a efectua operații logice a devenit conceptul ce stă la baza tuturor calculatoarelor electronice digitale. Lucrarea lui Shannon a devenit baza proiectării practice a circuitelor digitale, când a devenit larg cunoscută printre
Claude Shannon () [Corola-website/Science/312635_a_313964]
-
la dizertația sa la Cold Spring Harbor Laboratory, finanțat de Institutul Carnegie condus de Bush, pentru a dezvolta relații matematice similare pentru genetica mendeliană, ceea ce a avut ca rezultat teza de doctorat a lui Shannon din 1940 de la MIT, "O algebră pentru genetica teoretică." În 1940, Shannon a devenit "National Research Fellow" la Institutul pentru Studii Avansate de la Princeton, New Jersey. La Princeton, Shannon a avut ocazia să discute despre ideile sale cu oameni de știință și matematicieni influenți, cum ar
Claude Shannon () [Corola-website/Science/312635_a_313964]
-
stins din viață în urma unui cancer cu evoluție foarte rapidă. După dorința să, a fost incinerat, iar urna a fost depusă la Cimitirul Bellu. Opera să se axează pe studiul unor probleme fundamentale de teoria funcțiilor de variabilă complexă, geometrie, algebra și topologie. Continuând tradiția marelui sau înaintaș Dimitrie Pompeiu, își începe activitatea de cercetare cu contribuții originale valoroase în teoria funcțiilor de variabilă complexă. Astfel teza să de doctorat cît și primele lucrări publicate din 1928 privesc teoria funcțiilor poligene
Gheorghe Călugăreanu () [Corola-website/Science/307148_a_308477]
-
despre sistemul de numerație binar. În sistemul său, valorile unu și zero reprezintă valorile adevărat și fals (true și false) sau pornit/oprit (on/off). Dar a fost nevoie de mai bine de un secol pentru ca George Boole să publice algebra booleană în 1854 cu un sistem complet care permite proceselor de calcul să fie modelate matematic. (Algebra booleană este o algebră formată din: elementele {0,1}; două operații binare numite SAU și SI, notate simbolic cu + sau Ú și × sau
Istoria informaticii () [Corola-website/Science/323134_a_324463]
-
true și false) sau pornit/oprit (on/off). Dar a fost nevoie de mai bine de un secol pentru ca George Boole să publice algebra booleană în 1854 cu un sistem complet care permite proceselor de calcul să fie modelate matematic. (Algebra booleană este o algebră formată din: elementele {0,1}; două operații binare numite SAU și SI, notate simbolic cu + sau Ú și × sau U; și o operație unară numită NU (negație), notată simbolic 0 sau O. În această perioadă, au
Istoria informaticii () [Corola-website/Science/323134_a_324463]
-
pornit/oprit (on/off). Dar a fost nevoie de mai bine de un secol pentru ca George Boole să publice algebra booleană în 1854 cu un sistem complet care permite proceselor de calcul să fie modelate matematic. (Algebra booleană este o algebră formată din: elementele {0,1}; două operații binare numite SAU și SI, notate simbolic cu + sau Ú și × sau U; și o operație unară numită NU (negație), notată simbolic 0 sau O. În această perioadă, au fost inventate primele dispozitive
Istoria informaticii () [Corola-website/Science/323134_a_324463]
-
cu teza "Asupra proprietăților generale ale variabilelor statistice independente". Din comisia de doctorat au făcut parte Dimitrie Pompeiu, președinte, Anton Davidoglu și Octav Onicescu. Începând din 1937, Mihoc a devenit asistentul lui Octav Onicescu, mai întâi în mecanică, apoi în algebră și calculul probabilităților. Între 1942 și 1946 a fost conferențiar de matematici generale la Facultatea de fizică-chimie. În 1946 a fost numit profesor de matematică financiară la Academia comercială din București (1946-1949). În 1948, după reforma educației, a fost numit
Gheorghe Mihoc () [Corola-website/Science/306670_a_307999]
-
importanță centrală a acestei cărți constă în foarte clară înțelegere pa care autorul, , o are despre natura fundamentală a astrologiei și în importantă pe care el o acordă înțelegerii bazelor sale simbolice și formale. Viziunea lui Rudhyar asupra astrologiei că «algebra a vietii», al cărei scop îl reprezintă «alchimia personalității», revelează astrologia ca fiind, în primul rând, nu un copr tradițional de cunoaștere empirica, așa cum este înfățișata atât de des, ci un sistem de logică simbolică, baza pe principii primordiale."” (Sebastian
Dane Rudhyar () [Corola-website/Science/326352_a_327681]
-
(n. 21 august 1789, Paris - d. 23 mai 1857, Sceaux, Hauts-de-Seine) a fost unul dintre cei mai importanți matematicieni francezi. A demarat un proiect important de reformulare și demonstrare riguroasă a teoremelor de algebră, a fost unul dintre pionierii analizei matematice și a adus o serie de contribuții și în domeniul fizicii. Datorită perspicacității și rigurozității metodelor sale, Cauchy a avut o influență extraordinară asupra contemporanilor și succesorilor săi. Catolic și monarhist fervent, a
Augustin Louis Cauchy () [Corola-website/Science/309624_a_310953]
-
precum și a altor instituții străine. Cauchy a lăsat posterității un număr enorm de lucrări matematice care au fost publicate din 1882 pâna în 1974 în "Opere complete". Este vorba de 27 volume ce cuprind circa 800 de articole din domeniile: algebră, analiză matematică, mecanică și teoria probabilităților. Cauchy dă o fundamentare nouă analizei matematice. Definește riguros infinitul mic prin trecere la limită. A dat definiția continuității funcției și a studiat funcțiile cu variabile complexe. Contribuțiile lui Cauchy în domeniul analizei matematice
Augustin Louis Cauchy () [Corola-website/Science/309624_a_310953]
-
a perturbației variaționale" oferă în prezent cea mai acurată abordare a exponenților critici observabili aproape de tranzițiile de fază de ordinul doi, după cum se confirmă pentru heliul superfluid în experimentele din sateliți . În domeniul teoriei cuantice a quarcilor a găsit originea algebrei residuurilor Regge conjecturate de N. Cabibbo, L. Horwitz, și Y. Ne'eman (vezi p.232 în Ref.). Împreună cu K. Maki a clarificat structura fazei icosaedrale (icosahedral phase) a quasicristalelor . Pentru superconductori el a prezis în 1982 un punct tricritic în
Hagen Kleinert () [Corola-website/Science/311795_a_313124]
-
de comportarea la nivel atomic si nuclear. , cu precădere dinamica fluidelor, constituie un domeniu de cercetare activ cu multe probleme nerezolvate sau rezolvate parțial. Mecanica fluidelor poate fi formulată printr-un formalism matematic avansat bazat pe teoria ecuațiilor diferențiale și algebra complexă. Modelul matematic este obținut și prin întrebuințarea calculului numeric implementabil pe diverse programe CAE de simulare. De asemenea, folosind proprietatea vizibilității deosebite a curgerii, fluidele pot fi analizate comportamental prin metoda vizualizării traiectoriilor particulelor. Studiul mecanicii fluidelor datează încă
Mecanica fluidelor () [Corola-website/Science/309561_a_310890]