Significado de "realizable" en el diccionario de inglés

PRONUNCIACIÓN DE REALIZABLE EN INGLÉS

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

CATEGORIA GRAMATICAL DE REALIZABLE

Realizable es un adjetivo.

El adjetivo es la palabra que acompaña al nombre para determinarlo o calificarlo.

QUÉ SIGNIFICA REALIZABLE EN INGLÉS

Realizabilidad

Realizability

En la lógica matemática, la realización es una colección de métodos en la teoría de la prueba utilizada para estudiar las pruebas constructivas y extraer información adicional de ellas. Las fórmulas de una teoría formal son "realizadas" por objetos, conocidos como "realizadores", de tal manera que el conocimiento del realizador da conocimiento sobre la verdad de la fórmula. Hay muchas variaciones de realizabilidad; Exactamente qué clase de fórmulas se estudia y qué objetos son realizadores difieren de una variación a otra. La realizabilidad puede ser vista como una formalización de la interpretación de la lógica intuicionista de BHK; En la realización la noción de "prueba" es reemplazada por una noción formal de "realizador". La mayoría de las variantes de realizabilidad comienzan con un teorema que cualquier declaración que sea demostrable en el sistema formal que se estudia es realizable. El realizador, sin embargo, generalmente da más información sobre la fórmula que una prueba formal proporcionaría directamente. Más allá de dar una idea de la demostración intuicionista, la realización puede aplicarse para probar las propiedades de disyunción y de existencia de las teorías intuicionistas y extraer programas de pruebas, como en la minería de pruebas.

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.

definición de realizable en el diccionario inglés

La definición de realizable en el diccionario es que si sus esperanzas u objetivos son realizables, existe la posibilidad de que sucedan las cosas que desea que ocurran. Otra definición de realizable es que la riqueza realizable es dinero que se puede obtener fácilmente vendiendo algo.

TRADUCCIÓN DE REALIZABLE

Conoce la traducción de realizable a 25 idiomas con nuestro traductor multilingüe.

Las traducciones de realizable presentadas en esta sección han sido obtenidas mediante traducción automática estadística a partir del idioma inglés.

• Traductor inglés - chino: > 可实现的
• Traductor inglés - español: alcanzable
• inglés: realizable
• Traductor inglés - hindi: वसूली
• Traductor inglés - árabe: للتحقيق
• Traductor inglés - ruso: реализуемы
• Traductor inglés - portugués: realizável
• Traductor inglés - bengalí: আদায়-যোগ্য
• Traductor inglés - francés: réalisable
• Traductor inglés - malayo: Boleh direalisasikan
• Traductor inglés - alemán: realisierbar
• Traductor inglés - japonés: 実現可能な
• Traductor inglés - coreano: 실현 가능한
• Traductor inglés - javanés: Realizable
• Traductor inglés - vietnamita: thực hiện
• Traductor inglés - tamil: கொடுக்கப்பெறக்கூடிய
• Traductor inglés - maratí: वसूल करण्यायोग्य
• Traductor inglés - turco: gerçekleştirilebilir
• Traductor inglés - italiano: realizzabile
• Traductor inglés - polaco: możliwa do uzyskania
• Traductor inglés - ucraniano: реалізовані
• Traductor inglés - rumano: realizabil
• Traductor inglés - griego: ρευστοποιήσιμη
• Traductor inglés - afrikáans: realiseerbare
• Traductor inglés - sueco: realiserbar
• Traductor inglés - noruego: realiserbar

10 LIBROS DEL INGLÉS RELACIONADOS CON «REALIZABLE»

Descubre el uso de realizable en la siguiente selección bibliográfica. Libros relacionados con realizable y pequeños extractos de los mismos para contextualizar su uso en la literatura.

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 NOTICIAS EN LAS QUE SE INCLUYE EL TÉRMINO «REALIZABLE»

Conoce de qué se habla en los medios de comunicación nacionales e internacionales y cómo se emplea el término realizable en el contexto de las siguientes noticias.

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, Jul 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, Jul 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, May 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, May 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, May 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, Abr 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, Abr 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»