Significato di "realizable" sul dizionario di inglese

PRONUNCIA DI REALIZABLE IN INGLESE

realizable  [ˈrɪəlaɪzəbəl]

CATEGORIA GRAMMATICALE DI REALIZABLE

Realizable è un aggettivo.

L'aggettivo è la parola che accompagna il nome per determinarlo o qualificarlo.

CHE SIGNIFICA REALIZABLE IN INGLESE

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.

definizione di realizable nel dizionario inglese

La definizione di realizzo nel dizionario è se le tue speranze o obiettivi sono realizzabili, c'è la possibilità che le cose che vuoi accadano accadano. Altra definizione di realizzo è la ricchezza realizzabile è denaro che può essere facilmente ottenuto vendendo qualcosa.

TRADUZIONE DI REALIZABLE

Conosci la traduzione di realizable in 25 lingue con il nostro traduttore inglese multilingue.

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

• Traduttore italiano - cinese: > 可实现的
• Traduttore italiano - spagnolo: alcanzable
• inglese: realizable
• Traduttore italiano - hindi: वसूली
• Traduttore italiano - arabo: للتحقيق
• Traduttore italiano - russo: реализуемы
• Traduttore italiano - portoghese: realizável
• Traduttore italiano - bengalese: আদায়-যোগ্য
• Traduttore italiano - francese: réalisable
• Traduttore italiano - malese: Boleh direalisasikan
• Traduttore italiano - tedesco: realisierbar
• Traduttore italiano - giapponese: 実現可能な
• Traduttore italiano - coreano: 실현 가능한
• Traduttore italiano - giavanese: Realizable
• Traduttore italiano - vietnamita: thực hiện
• Traduttore italiano - tamil: கொடுக்கப்பெறக்கூடிய
• Traduttore italiano - marathi: वसूल करण्यायोग्य
• Traduttore italiano - turco: gerçekleştirilebilir
• Traduttore italiano - italiano: realizzabile
• Traduttore italiano - polacco: możliwa do uzyskania
• Traduttore italiano - ucraino: реалізовані
• Traduttore italiano - rumeno: realizabil
• Traduttore italiano - greco: ρευστοποιήσιμη
• Traduttore italiano - afrikaans: realiseerbare
• Traduttore italiano - svedese: realiserbar
• Traduttore italiano - norvegese: realiserbar

10 LIBRI IN INGLESE ASSOCIATI CON «REALIZABLE»

Scopri l'uso di realizable nella seguente selezione bibliografica. Libri associati con realizable e piccoli estratti per contestualizzare il loro uso nella letteratura.

Realizable Ideals

This scarce antiquarian book is included in our special Legacy Reprint Series.

Theodore Roosevelt, 2009

Accounting: Concepts and Applications

This happens when the future value of the inventory is in doubt— when it is damaged, used, or obsolete, or when it can be replaced new at a price that is less than its original cost. lnventory Valued at Net Realizable Value When inventory is ...

W. Albrecht, James Stice, Earl Stice, 2010

Financial Accounting: An Introduction to Concepts, Methods ...

Net realizable value is the net cash (selling price less selling costs) that the firm would receive if it sold the asset today, in orderly fashion in an arm's-length transaction. Net realizable value is an example of an exit value, because it reflects a ...

Clyde Stickney, Roman Weil, Katherine Schipper, 2009

WILEY Interpretation and Application of International ...

APPENDIX NET REALIZABLE VALUE UNDER US GAAP In many jurisdictions, the term lower of cost or market is used, as contrasted to IAS 2's lower of cost or net realizable value. As a practical matter, this difference in terminology will have  ...

Barry J. Epstein, Eva K. Jermakowicz, 2010

Wiley CPA Exam Review 2008: Business Environment and Concepts

(c) The requirement is to determine how to allocate joint cost using the net realizable value (NRV) method when a by-product is involved. NRV is the predicted selling price in the ordinary course of business less reasonably predictable costs of ...

O. Ray Whittington, Patrick R. Delaney, 2007

Earnings Measurement, Determination, Management, and ...

General Price-Level- Adjusted, Net-Realizable-Value Accounting General price- level-adjusted, net-realizable-value accounting is characterized primarily by (1) the use of net realizable value as the attribute of the elements of financial ...

Ahmed Riahi-Belkaoui, 1999

A realizable Reynolds stress algebraic equation model

The invariance theory in continuum mechanics is applied to analyze Reynolds stresses in high Reynolds number turbulent flows.

Tsan-Hsing Shih, Jiang Zhu, John Leask Lumley, 1993

Intermediate Accounting: IFRS Edition

ILLUSTRATION 9-6 Income Statement Presentation—Cost-of- Goods-Sold and Loss Methods of Reducing Inventory to Net Realizable Value IFRS does not specify a particular account to debit for the write-down. We believe the loss method ...

Donald E. Kieso, Jerry J. Weygandt, Terry D. Warfield, 2010

Software Industry Accounting

trend, with declining revenue in the later years of the remaining straight-line life, it may be a more appropriate basis for the net realizable value test, rather than assuming an endless stream of enhancements and an ever-growing revenue trend ...

Joseph Morris, 2001

The Decision Usefulness Theory of Accounting: A Limited History

This book ties together selected contributions by George Staubus to the early development of the decision-usefulness theory of financial accounting--the theory that has become generally accepted accounting theory in the last half of the ...

George J. Staubus, 2013

10 NOTIZIE DOVE SI INCLUDE IL TERMINE «REALIZABLE»

Vedi di che si parla nei media nazionali e internazionali e come viene utilizzato il termine ino realizable nel contesto delle seguenti notizie.

FASB simplifies inventory measurement guidance

Inventory within the scope of the new guidance should be measured at the lower of cost and net realizable value. Net realizable value is the estimated selling ... «Journal of Accountancy, lug 15»

Pay Governance: SEC's New Pay-For-Performance Methodology is …

We have long-established methodologies such as realizable pay to compare how well the value of executive stock awards tracks company share price changes ... «Business Wire, lug 15»

Caunedo asegura que el PP presenta el único programa ´serio y …

EFE El alcalde de Oviedo y candidato del PP, Agustín Iglesias Caunedo, ha dicho hoy que su partido tiene el único programa "serio y realizable" de los ... «La Nueva España, mag 15»

Carmona asegura que su programa es "factible, honrado y realizable"

El candidato del PSOE al Ayuntamiento de Madrid, Antonio Miguel Carmona, ha afirmado hoy que su programa electoral "pone por delante los problemas de ... «eldiario.es, mag 15»

De la Serna afronta los comicios con un programa "realista y …

... a la Alcaldía de Santander, Iñigo de la Serna, afronta los próximos comicios del 24 de mayo con un programa electoral "muy meditado, realista y realizable", ... «Europa Press, mag 15»

Trabajo Garantizado: una propuesta necesaria y realizable

Los datos de la última Encuesta de Población Activa, relativos al primer trimestre de 2015, muestran un panorama desolador. En los tres primeros meses del ... «eldiario.es, apr 15»

Todo lo que se firmó en Terra Mítica era «coherente, realizable y …

El empresario Vicente Conesa, uno de los principales constructores durante la construcción del parque temático de Benidorm (Alicante), ha afirmado que ... «ABC.es, apr 15»

Vanessa Arauz: 'un sueño realizable' será levantar la Copa del Mundo

La estratega del combinado nacional cree que es un sueño realizable y manifestó su orgullo de estar al frente de las jugadoras que ya se alistan para la justa ... «La Hora, mar 15»

Imperial Tobacco - Realizable Upside Post-Reynolds/Lorillard (ITYBY)

Disclosure: The author has no positions in any stocks mentioned, and no plans to initiate any positions within the next 72 hours. (More...)The author wrote this ... «Seeking Alpha, mar 15»

UK Financial Conduct Authority (FCA) Reviews Regulatory Regime …

... Financial Conduct Authority (FCA) published a report in light of its review of the regulatory regime for crowdfunding and the promotion of non-readily realizable ... «The National Law Review, feb 15»