What is the translation of " COMPUTABILITY " in Romanian?

• calculabilității
• computabilității
• computability
• calculabilitate
• calculabilitatea

Examples of using Computability in English and their translations into Romanian

Association Computability in Europe.
Asociația Computability in Europe⁠.

Generalizations of Turing computability.
Generalizări ale calculabilității Turing.

Relative computability and the Turing degrees.
Calculabilitate relativă și grade Turing.

Relationships between definability, proof and computability.
Relațiile dintre definibilitate, demonstrație și calculabilitate.

Robert Soare,"Computability and recursion", Bull.
Robert Soare,"Computability și recursivitate", Bull.

Similarly, Tarski's indefinability theorem can be interpreted both in terms of definability and in terms of computability.
În mod similar, teorema indefinibilității a lui Tarski⁠(d) poate fi interpretată atât în termeni de definibilitate cât și în termeni de calculabilitate.

Computability theory for digital computation is well developed.
Teoria calculabilității pentru calculul numeric este bine dezvoltată.

Theory of Computation at MIT Theory of Computation at Harvard Computability Logic- A theory of interactive computation.
Theory of Computation la MIT Theory of Computation la Harvard Logica computabilității- o teoria a calculului interactiv.

Books on computability theory from the(wider) mathematical perspective.
Cărți de teoria computabilității din perspectivă matematică(mai largă).

Tarski has stressed in his lecture(and I think justly) the great importance of the concept of general recursiveness(or Turing's computability).
Tarski a subliniat în prelegerea sa(și cred că pe bună dreptate) marea importanță a conceptului general de recursivitate(sau calculabilitatea lui Turing).

Much of computability theory builds on the halting problem result.
Mare parte din teoria calculabilității se bazează pe rezultatul problemei opririi.

This contrasts with the theory of subrecursive hierarchies, formal methods and formal languages that is common in the study of computability theory in computer science.
Acest lucru contrastează cu teoria ierarhiilor subrecursive, cu metodele formale și cu limbajele formale, care sunt comune în studiul de teoriei calculabilității în informatică.

Computability, An introduction to recursive function theory, Cambridge University Press.
Computability, O introducere în teoria funcțiilor recursive, Cambridge University Press.

The field of mathematical logic dealing with computability and its generalizations has been called"recursion theory" since its early days.
Domeniul din logica matematică ce se ocupă cu calculabilitatea și generalizările ei a fost numit„teoria recursivității” la începuturile sale.

Computability theory deals primarily with the question of the extent to which a problem is solvable on a computer.
Teoria calculabilității se ocupă în principal cu întrebarea dacă o problemă este rezolvabilă de un calculator.

Recursion theorists in mathematical logic often study the theory of relative computability, reducibility notions and degree structures described in this article.
Teoreticienii calculabilității din logica matematică studiază adesea teoria calculabilității relative, noțiunile de reductibilitate structurile pe grade descrise în acest articol.

The management of the various information technologies and their formal problems of development: Artificial Intelligence, semantic web, computability, etc.
Managementul diferitelor tehnologii informaționale și problemele lor de dezvoltare formale: Inteligenta Artificiala, semantic web, calculabilitate, etc. De asemenea, ca și pentru dezvoltarea logicile clasice și non-clasice.

The main form of computability studied in recursion theory was introduced by Turing(1936).
Principala formă de calculabilitate studiată în teoria calculabilității este cea introdusă de Turing(1936).

This new simulation technique is based on recent results obtained in membrane based computability and is going to complement the cell simulation methods used at this time.
Aceasta noua tehnica de simulare este bazata pe rezultatele recente obtinute in Computabilitatea bazata pe membrane si va complementa metodele de simulare de celula folosite in acest moment.

Computability theory, also called recursion theory, is a branch of mathematical logic, of computer science, and of the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees.
Teoria calculabilității este o ramură a logicii matematice, a informaticii și a teoriei computației, care își are originea în anii 1930, cu studiul funcțiilor calculabile și al gradelor Turing.

Recursion theory in mathematical logic has traditionally focused on relative computability, a generalization of Turing computability defined using oracle Turing machines, introduced by Turing(1939).
Teoria calculabilității din logica matematică s-a concentrat în mod tradițional pe calculabilitatea relativă, o generalizare a calculabilității Turing definită folosind mașini Turing cu oracol(d), concept introdus de Turing(1939).

Computability theory is less well developed for analog computation that occurs in analog computers, analog signal processing, analog electronics, neural networks and continuous-time control theory, modelled by differential equations and continuous dynamical systems(Orponen 1997; Moore 1996).
Teoria calculabilității este mai puțin dezvoltată pentru calculul analogic care apare în calculatoarele analogice, în prelucrarea semnalelor analogice, electronica analogică, rețele neurale și teoria controlului în timp continuu, modelate prin ecuații diferențiale și sisteme dinamice continue(Orponen 1997; Moore, 1996).

The statement that the halting problem cannot be solved by a Turing machine[7] is one of the most important results in computability theory, as it is an example of a concrete problem that is both easy to formulate and impossible to solve using a Turing machine.
Afirmația că problema opririi nu poate fi rezolvată de către o mașină Turing[7] este unul dintre cele mai importante rezultate din teoria calculabilității, un exemplu de problemă concretă, care este atât de ușor de formulat, dar imposibil de rezolvat folosind o mașină Turing.

Another important step in computability theory was Rice's theorem, which states that for all non-trivial properties of partial functions, it is undecidable whether a Turing machine computes a partial function with that property.[8].
Un alt pas important în teoria calculabilității a fost teorema lui Rice, care prevede că pentru toate proprietățile netriviale ale funcțiilor parțiale, este indecidabil dacă o mașină Turing calculează o funcție parțială cu acea proprietate.[8].

Not all researchers have been convinced, however, as explained by Fortnow[6] and Simpson.[7] Some commentators argue that both the names recursion theory and computability theory fail to convey the fact that most of the objects studied in recursion theory are not computable.[8].
Nu toți cercetătorii au fost însă convinși, după cum au explicat Fortnow[6] și Simpson.[7] Unii comentatori susțin că atât numele de teoria recursivității cât și cel de teoria calculabilității nu reușesc să transmită că cele mai multe dintre obiectele studiate în teoria calculabilității nu sunt calculabile.[8].

Computability theory is closely related to the branch of mathematical logic called recursion theory, which removes the restriction of studying only models of computation which are reducible to the Turing model.[9] Many mathematicians and computational theorists who study recursion theory will refer to it as computability theory.
Teoria calculabilității este strâns legată de ramura logicii matematice denumită teoria recursivității, care elimină restricția de a studia numai modele de calcul, reductibile la modelul Turing.[9] Mulți matematicieni și teoreticieni ai calculabilității care studiază teoria recursivității o denumesc și pe ea„teoriacalculabilității”.

Karp For his continuing contributions to the theory of algorithms including the development of efficient algorithms for network flow and other combinatorial optimization problems, the identification of polynomial-time computability with the intuitive notion of algorithmic efficiency, and, most notably, contributions to the theory of NP-completeness.
Karp Pentru contribuțiile sale continue în domeniul teoriei algoritmilor, inclusiv pentru dezvoltarea de algoritmi eficienți pentru fluxurile de rețea și alte probleme de optimizare combinatorică, identificarea calculabilității în timp polinomial cu noțiunea intuitivă de eficiență algoritmică și, mai ales, pentru contribuții la teoria NP-completitudinii.