Descarcă aplicația
educalingo
Caută

Înțelesul "realisable" în dicționarul Engleză

Dicționar
DICȚIONAR
section

PRONUNȚIA REALISABLE ÎN ENGLEZĂ

realisable  [ˈrɪəˌlaɪzəbəl] play
facebooktwitterpinterestwhatsapp

CATEGORIA GRAMATICALĂ A REALISABLE

substantiv
adjectiv
verb
adverb
pronume
prepoziție
conjuncție
determinant
exclamație

CE ÎNSEAMNĂ REALISABLE ÎN ENGLEZĂ?

Apasă pentru a vedea definiția originală «realisable» în dicționarul Engleză dictionary.
Apasă pentru a vedea traducerea automată a definiției în Română.

Realizability

Realizability

În logica matematică, realizabilitatea este o colecție de metode în teoria probelor utilizate pentru a studia dovezile constructive și a extrage informații suplimentare de la ei. Formulele dintr-o teorie formală sunt "realizate" de obiecte, cunoscute ca "realizatori", într-un mod în care cunoașterea realizatorului dă cunoștințe despre adevărul formulării. Există multe variații de realizabilitate; exact ce clasă de formule este studiată și care obiecte sunt realizatori diferă de la o variantă la alta. Realizabilitatea poate fi văzută ca o formalizare a interpretării BHK a logicii intuitioniste; în realizabilitate noțiunea de "dovadă" este înlocuită cu o noțiune formală de "realizator". Cele mai multe variante de realizabilitate încep cu o teoremă că orice declarație care este probabilă în sistemul formal care este studiată este realizabilă. Realizatorul, de obicei, oferă mai multe informații despre formula decât o dovadă formală care ar oferi direct. Dincolo de a da dovadă de probabilitate intuiționistă, realizabilitatea poate fi aplicată pentru a dovedi proprietățile de disjuncție și existență pentru teoriile intuiționiste și pentru a extrage programe provenite de la dovezi, ca și în mineritul de probe. In mathematical logic, realizability is a collection of methods in proof theory used to study constructive proofs and extract additional information from them. Formulas from a formal theory are "realized" by objects, known as "realizers", in a way that knowledge of the realizer gives knowledge about the truth of the formula. There are many variations of realizability; exactly which class of formulas is studied and which objects are realizers differ from one variation to another. Realizability can be seen as a formalization of the BHK interpretation of intuitionistic logic; in realizability the notion of "proof" is replaced with a formal notion of "realizer". Most variants of realizability begin with a theorem that any statement that is provable in the formal system being studied is realizable. The realizer, however, usually gives more information about the formula than a formal proof would directly provide. Beyond giving insight into intuitionistic provability, realizability can be applied to prove the disjunction and existence properties for intuitionistic theories and to extract programs from proofs, as in proof mining.

Apasă pentru a vedea definiția originală «realisable» în dicționarul Engleză dictionary.
Apasă pentru a vedea traducerea automată a definiției în Română.

CUVINTE ÎN ENGLEZĂ CARE RIMEAZĂ CU REALISABLE


advisable
ədˈvaɪzəbəl
amortizable
əˈmɔːˌtaɪzəbəl
exercisable
ˈeksəˌsaɪzəbəl
generalizable
ˈdʒɛnrəˌlaɪzəbəl
hydrolysable
ˈhaɪdrəˌlaɪzəbəl
hydrolyzable
ˈhaɪdrəˌlaɪzəbəl
ionizable
ˈaɪəˌnaɪzəbəl
localizable
ˈləʊkəˌlaɪzəbəl
metabolizable
meˈtæbəˌlaɪzəbəl
oxidizable
ˈɒksɪˌdaɪzəbəl
polarizable
ˈpəʊləˌraɪzəbəl
realizable
ˈrɪəlaɪzəbəl
recognizable
ˌrɛkəɡˈnaɪzəbəl
revisable
rɪˈvaɪzəbəl
sizable
ˈsaɪzəbəl
sizeable
ˈsaɪzəbəl
unrecognisable
ʌnˈrɛkəɡnaɪzəbəl
unrecognizable
ʌnˈrɛkəɡˌnaɪzəbəl
utilisable
ˈjuːtɪˌlaɪzəbəl
utilizable
ˈjuːtɪˌlaɪzəbəl

CUVINTE ÎN ENGLEZĂ CARE ÎNCEP CA REALISABLE

realia
realign
realignment
realisability
realisably
realisation
realise
realiser
realism
realist
realistic
realistically
realities
reality
reality check
reality fiction
reality principle
reality show
reality TV
realizability

CUVINTE ÎN ENGLEZĂ CARE SE SFÂRȘESC CA REALISABLE

able
addressable
closable
collapsable
conversable
decomposable
disable
disposable
focusable
indispensable
inexcusable
kissable
licensable
passable
processable
releasable
reusable
sable
unsurpassable
unusable
usable

Sinonimele și antonimele realisable în dicționarul de sinonime Engleză

SINONIME

Traducerea «realisable» în 25 de limbi

TRADUCĂTOR
online translator

TRADUCEREA REALISABLE

Găsește traducerea realisable în 25 de limbi cu traducătorul nostru multilingv înEngleză.
Traducerile realisable din Engleză în alte limbi prezentate în prezenta secțiune au fost obținute prin traducerea statistică automată; unde unitatea esențială a traducerii este cuvântul «realisable» în Engleză.

Traducător din Engleză - Chineză

可变现
1,325 milioane de vorbitori

Traducător din Engleză - Spaniolă

realizable
570 milioane de vorbitori

Engleză

realisable
510 milioane de vorbitori

Traducător din Engleză - Hindi

वसूली
380 milioane de vorbitori
ar

Traducător din Engleză - Arabă

للتحقيق
280 milioane de vorbitori

Traducător din Engleză - Rusă

реализуемы
278 milioane de vorbitori

Traducător din Engleză - Portugheză

realizável
270 milioane de vorbitori

Traducător din Engleză - Bengali

আদায়-যোগ্য
260 milioane de vorbitori

Traducător din Engleză - Franceză

réalisable
220 milioane de vorbitori

Traducător din Engleză - Malaeză

Boleh direalisasikan
190 milioane de vorbitori

Traducător din Engleză - Germană

realisierbar
180 milioane de vorbitori

Traducător din Engleză - Japoneză

実現可能な
130 milioane de vorbitori

Traducător din Engleză - Coreeană

실현
85 milioane de vorbitori

Traducător din Engleză - Javaneză

Realizable
85 milioane de vorbitori
vi

Traducător din Engleză - Vietnameză

thực hiện
80 milioane de vorbitori

Traducător din Engleză - Tamilă

கொடுக்கப்பெறக்கூடிய
75 milioane de vorbitori

Traducător din Engleză - Marathi

वसूल करण्यायोग्य
75 milioane de vorbitori

Traducător din Engleză - Turcă

gerçekleştirilebilir
70 milioane de vorbitori

Traducător din Engleză - Italiană

realizzo
65 milioane de vorbitori

Traducător din Engleză - Poloneză

możliwa do uzyskania
50 milioane de vorbitori

Traducător din Engleză - Ucraineană

реалізовані
40 milioane de vorbitori

Traducător din Engleză - Română

realizabil
30 milioane de vorbitori
el

Traducător din Engleză - Greacă

ρευστοποιήσιμη
15 milioane de vorbitori
af

Traducător din Engleză - Afrikaans

realiseerbare
14 milioane de vorbitori
sv

Traducător din Engleză - Suedeză

realiserbar
10 milioane de vorbitori
no

Traducător din Engleză - Norvegiană

realiserbar
5 milioane de vorbitori

Direcții de utilizare a realisable

DIRECȚII

TENDINȚE DE FOLOSIRE A TERMENULUI «REALISABLE»

0
100%
FRECVENȚĂ
Întrebuințat în mod regulat
74
/100
Imaginea de mai sus arată frecvența de întrebuințare a termenului «realisable» în diferite țări.
Tendințele principale de căutare și întrebuințările obișnuite ale realisable
Lista principalelor căutări efectuate de utilizatori pentru accesarea dicționarului nostru online înEngleză și cele mai întrebuințate expresii cu cuvântul «realisable».

FRECVENȚA DE ÎNTREBUINȚARE A TERMENULUI «REALISABLE» DE-A LUNGUL TIMPULUI

Graficul exprimă evoluția anuală a frecvenței de întrebuințare a cuvântului «realisable» în ultimii 500 de ani. Implementarea acestuia se bazează pe analizarea frecvenței de apariție a termenului «realisable» în sursele digitalizate tipărite în Engleză între anul 1500 și până în prezent.

Exemple de întrebuințări în literatura, citatele și știrile în Engleză despre realisable

EXEMPLE

CĂRȚI ÎN ENGLEZĂ ÎN LEGĂTURĂ CU «REALISABLE»

Descoperă întrebuințarea realisable în următoarea selecție bibliografică. Cărți în legătură cu realisable și extrase din aceasta pentru a furniza contextul de întrebuințare al acestuia în literatura Engleză.
1
Inflation Accounting: An Introduction to the Debate
Although these various writers emphasise different reasons for using net realisable values, the broad case can be summarised as follows. Firstly, and probably most important, is the usefulness of current net realisable value as an indication of ...
Geoffrey Whittington, 1983
2
Modern Acc. Vol I, 2E
the net realisable value (NRV) is less than the cost of stock then the net realisable value is to be taken as the value of stock. In this respect, it should be noted that : Cost represents an appropriate combination of the (1) cost of purchase; (2) cost ...
Mohammed Hanif, 2000
3
Contemporary Auditing
Gupta. Net Realisable Value Net realisable value is the estimated selling price in the ordinary course of business less estimated costs of completion and estimated costs necessary to make the sale. This implies that if a finished product is ...
Gupta, 2004
4
Concepts-Based Introduction to Financial Accounting
IAS 2 requires inventory to be measured at the lower rof cost and net realisable value.8 Cost, as described earlier in this chapter, comprises all costs of purchase and other costs incurred in bringing the inventory to its present location and ...
David L. Kolitz, A. B. Quinn, Gavin McAllister, 2009
5
Financial Accounting
the materials are written down to net realisable value. In such circumstances, the replacement cost of the materials may be the best available measure of their net realisable value. Meaning of Historical Cost Historical Cost represents an ...
P.C. Tulsian, 2002
6
International Financial Reporting Standards (IFRS) 2011:
Wiley-VCH. produced during the period. The average may be calculated on a periodic basis, or as each additional shipment is received, depending upon the circumstances of the entity. Net realisable value 28 The cost of inventories may not ...
Wiley-VCH, 2011
7
Fund Of Acctg For Ca Cpt
The cost of inventories may also not be recoverable if the estimated costs of completion or the estimated costs necessary to make the sale have increased. The practice of writing down inventories below cost to net realisable value is consistent ...
Tulsian, 2007
8
Operational Semantics and Verification of Security Protocols
We call these patterns realisable patterns. Intuitively, we say that a pattern is realisable if for every event of the pattern that can only occur if the adversary knows all its “inputs”, the pattern also contains preceding events that generate the ...
Cas Cremers, Sjouke Mauw, 2012
9
International GAAP 2013: Generally Accepted Accounting ...
IAS 2 carries substantial guidance on the identification of net realisable value, where this is below cost and therefore inventory must be written down. The cost of inventory may have to be reduced to its net realisable value if it has become ...
Ernst & Young, 2013
10
Application and Theory of Petri Nets 1997: 18th ...
Definition 3.25: Given that <|>: N -» N' is marking-respecting, an abstract marking <jKM,) is potentially realisable as Mj by step Y if: (a) Vte Y:<t*t)eF (b) M2 = M1 + E+(Y)-E"(Y). Note: (a) Only component transitions of superplaces appear in Y.
Pierre Azema, Gianfranco Balbo

ȘTIRI NOI CARE INCLUD TERMENUL «REALISABLE»

Află ce ziare naționale și internaționale au scris despre și cum este întrebuințat termenul realisable în contextul următoarelor știri.
1
£21m pyramid scheme woman ordered to pay back just £1
"It is agreed between the parties that your realisable assets amount for the purposes of this amount to £1. "I therefore order confiscation in the order of £1 and £1 ... «BT.com, Iul 15»
2
2016 Census is not Realisable- NPC
Metro 2016 Census is not Realisable- NPC. Discussion in 'Metro News' started by Taibat Adeleke, Jul 10, 2015. Views count: 371. By Taibat Adeleke on Jul 10, ... «Nigerian Bulletin, Iul 15»
3
Kenny says Greece must make 'realisable' proposals
“If the euro zone is to support and encourage Greece to continue being a member then it [the Greek proposal] . . . has to be realisable and achievable,” he said. «Irish Times, Iul 15»
4
Vision 2020 Realisable – CBN
The Central Bank of Nigeria (CBN) has said that the vision 2020 for Nigeria was achievable if diligently pursued. The bank recommended that government ... «Leadership Newspapers, Apr 15»
5
Crowded House
They also discuss FCA's February 2015 Review of the regulatory regime for crowdfunding and the promotion of non-readily realisable securities by other media ... «Mondaq News Alerts, Feb 15»
6
Pension Schemes: Pension Protection Fund and Contingent Assets …
From 2015/16, trustees will be required to provide a statement as to the amount of the 'realisable recovery' amount and confirm that they are reasonably satisfied ... «Shoosmiths legal updates, Ian 15»
7
Grand convergence in global health is realisable
THE world is at a historical inflection point. By making today's medicines, vaccines, and other health tools universally available — and by stepping up research ... «BDlive, Apr 14»
8
PS 14/4: Linguistic Lunacy
The snappily-titled 'PS14/4 – The FCA's regulatory approach to crowdfunding over the internet, and the promotion of non-readily realisable securities by other ... «IFA Magazine, Apr 14»
9
Responsibility and progress: Making eco-friendly development …
Responsibility and progress: Making eco-friendly development realisable. Report launched by Climate Change Division sets forth project initiatives for an ... «The Express Tribune, Feb 14»
10
ERPVAR.com Partners with Realisable Software, Ltd. – Developer …
Realisable Software, Ltd. joins ERPVAR.com network of EPR consultants and ISVs (integrated software vendors) to showcase their IMan Integration Solutions ... «PR Web, Iul 13»

REFERINȚE
« EDUCALINGO. Realisable [online]. Disponibil <https://educalingo.com/ro/dic-en/realisable>. Mai 2024 ».
Descarcă aplicația educalingo
en
dicționar Engleză
Descoperă tot ce se ascunde în cuvinte pe
index
a b c d e f g h i j k l m n o p q r s t u v w x y z