Scarica l'app
educalingo
Cercare

Significato di "realisable" sul dizionario di inglese

Dizionario
DIZIONARIO
section

PRONUNCIA DI REALISABLE IN INGLESE

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

CATEGORIA GRAMMATICALE DI REALISABLE

sostantivo
aggettivo
verbo
avverbio
pronome
preposizione
congiunzione
determinante
esclamazione
Realisable è un aggettivo.
L'aggettivo è la parola che accompagna il nome per determinarlo o qualificarlo.

CHE SIGNIFICA REALISABLE IN INGLESE

Clicca per vedere la definizione originale di «realisable» nel dizionario inglese.
Clicca per vedere la traduzione automatica della definizione in italiano.

realizzabilità

Realizability

Nella logica matematica, la realizzabilità è una raccolta di metodi nella teoria della prova utilizzata per studiare prove costruttive ed estrarre informazioni aggiuntive da loro. Le formule di una teoria formale sono "realizzate" da oggetti, noti come "realizzatori", in modo che la conoscenza del realizzatore dà conoscenza sulla verità della formula. Ci sono molte varianti di realizzabilità; Esattamente quale classe di formule è studiata e quali oggetti sono realizzatori differiscono da una variazione all'altra. La realizzabilità può essere considerata come una formalizzazione dell'interpretazione BHK della logica intuizionistica; Nella realizzabilità la nozione di "prova" viene sostituita da una nozione formale di "realizzatore". La maggior parte delle varianti di realizzabilità inizia con un teorema che è possibile realizzare qualsiasi affermazione dimostrabile nel sistema formale oggetto di studio. Il realizzatore, tuttavia, fornisce solitamente più informazioni sulla formula che una prova formale fornisca direttamente. Oltre a dare un'idea di una provvidenza intuizionistica, la realizzabilità può essere applicata per dimostrare le proprietà di disgiunzione e di esistenza per le teorie intuitive e per estrarre i programmi dalle prove, come nella dimostrazione mineraria. 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.

Clicca per vedere la definizione originale di «realisable» nel dizionario inglese.
Clicca per vedere la traduzione automatica della definizione in italiano.

PAROLE IN INGLESE CHE FANNO RIMA CON 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

PAROLE IN INGLESE CHE COMINCIANO COME 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

PAROLE IN INGLESE CHE FINISCONO COME REALISABLE

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

Sinonimi e antonimi di realisable sul dizionario inglese di sinonimi

SINONIMI

PAROLE IN INGLESE ASSOCIATE CON «REALISABLE»

realisable assets meaning property value crossword clue asset mathematical logic realizability collection methods proof theory used study constructive proofs extract additional information from them formulas formal sage integration solutions iman software realisable focussed providing flexible company founded create solution breaks ideas ized comprehend completely correctly bring into reality make finally lifelong ambition define realize realise when take clause object become conscious aware something often passive plan wiktionary jump navigation search comparative superlative collins always dream last looked politically minded koreans ditching grandiose favour working group wordweb adjective usage brit amer happiness setting goals accomplishable achievable doable

Traduzione di realisable in 25 lingue

TRADUTTORE
online translator

TRADUZIONE DI REALISABLE

Conosci la traduzione di realisable in 25 lingue con il nostro traduttore inglese multilingue.
Le traduzioni di realisable verso altre lingue presenti in questa sezione sono il risultato di una traduzione automatica statistica; dove l'unità essenziale della traduzione è la parola «realisable» in inglese.

Traduttore italiano - cinese

可变现
1 325 milioni di parlanti

Traduttore italiano - spagnolo

realizable
570 milioni di parlanti

inglese

realisable
510 milioni di parlanti

Traduttore italiano - hindi

वसूली
380 milioni di parlanti
ar

Traduttore italiano - arabo

للتحقيق
280 milioni di parlanti

Traduttore italiano - russo

реализуемы
278 milioni di parlanti

Traduttore italiano - portoghese

realizável
270 milioni di parlanti

Traduttore italiano - bengalese

আদায়-যোগ্য
260 milioni di parlanti

Traduttore italiano - francese

réalisable
220 milioni di parlanti

Traduttore italiano - malese

Boleh direalisasikan
190 milioni di parlanti

Traduttore italiano - tedesco

realisierbar
180 milioni di parlanti

Traduttore italiano - giapponese

実現可能な
130 milioni di parlanti

Traduttore italiano - coreano

실현
85 milioni di parlanti

Traduttore italiano - giavanese

Realizable
85 milioni di parlanti
vi

Traduttore italiano - vietnamita

thực hiện
80 milioni di parlanti

Traduttore italiano - tamil

கொடுக்கப்பெறக்கூடிய
75 milioni di parlanti

Traduttore italiano - marathi

वसूल करण्यायोग्य
75 milioni di parlanti

Traduttore italiano - turco

gerçekleştirilebilir
70 milioni di parlanti

Traduttore italiano - italiano

realizzo
65 milioni di parlanti

Traduttore italiano - polacco

możliwa do uzyskania
50 milioni di parlanti

Traduttore italiano - ucraino

реалізовані
40 milioni di parlanti

Traduttore italiano - rumeno

realizabil
30 milioni di parlanti
el

Traduttore italiano - greco

ρευστοποιήσιμη
15 milioni di parlanti
af

Traduttore italiano - afrikaans

realiseerbare
14 milioni di parlanti
sv

Traduttore italiano - svedese

realiserbar
10 milioni di parlanti
no

Traduttore italiano - norvegese

realiserbar
5 milioni di parlanti

Tendenze d'uso di realisable

TENDENZE

TENDENZE D'USO DEL TERMINE «REALISABLE»

Il termine «realisable» si utilizza regolarmente e occupa la posizione 56.847 del nostro elenco di termini più utilizzati del dizionario di inglese.
0
100%
FREQUENZA
Regolarmente usato
74
/100
Nella mappa precedente si riflette la frequenza di suo del termine «realisable» nei diversi paesi.
Principali tendenze di ricerca e usi comuni di realisable
Elenco delle principali ricerche fatte dagli utenti per accedere al nostro dizionario di inglese online ed espressioni più utilizzate con la parola «realisable».

FREQUENZA D'USO DEL TERMINE «REALISABLE» NEL TEMPO

Il grafico rappresenta l'evoluzione annuale della frequenza d'uso della parola «realisable» negli ultimi 500 anni. La sua implementazione si basa sull'analisi della frequenza della comparsa del termine «realisable» nelle fonti stampate digitalizzate dalle inglese pubblicate dal 1500 ad oggi.

Citazioni, bibliografia in inglese e attualità su realisable

ESEMPI

10 LIBRI IN INGLESE ASSOCIATI CON «REALISABLE»

Scopri l'uso di realisable nella seguente selezione bibliografica. Libri associati con realisable e piccoli estratti per contestualizzare il loro uso nella letteratura.
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

10 NOTIZIE DOVE SI INCLUDE IL TERMINE «REALISABLE»

Vedi di che si parla nei media nazionali e internazionali e come viene utilizzato il termine ino realisable nel contesto delle seguenti notizie.
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, lug 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, lug 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, lug 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, gen 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, lug 13»

RIFERIMENTO
« EDUCALINGO. Realisable [in linea]. Disponibile <https://educalingo.com/it/dic-en/realisable>. Mag 2024 ».
Scarica l'app educalingo
en
dizionario inglese
Scopri tutto ciò che è nascosto nelle parole su
indice
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