Descarga la app
educalingo
Buscar

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

Diccionario
DICCIONARIO
section

PRONUNCIACIÓN DE REALISABLE EN INGLÉS

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

CATEGORIA GRAMATICAL DE REALISABLE

sustantivo
adjetivo
verbo
adverbio
pronombre
preposición
conjunción
determinante
exclamación
Realisable es un adjetivo.
El adjetivo es la palabra que acompaña al nombre para determinarlo o calificarlo.

QUÉ SIGNIFICA REALISABLE EN INGLÉS

Pulsa para ver la definición original de «realisable» en el diccionario inglés.
Pulsa para ver la traducción automática de la definición en español.

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.

Pulsa para ver la definición original de «realisable» en el diccionario inglés.
Pulsa para ver la traducción automática de la definición en español.

PALABRAS DEL INGLÉS QUE RIMAN 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

PALABRAS DEL INGLÉS QUE EMPIEZAN COMO 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

PALABRAS DEL INGLÉS QUE TERMINAN COMO REALISABLE

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

Sinónimos y antónimos de realisable en el diccionario inglés de sinónimos

SINÓNIMOS

PALABRAS DEL INGLÉS RELACIONADAS 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 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

Traductor en línea con la traducción de realisable a 25 idiomas

TRADUCTOR
online translator

TRADUCCIÓN DE REALISABLE

Conoce la traducción de realisable a 25 idiomas con nuestro traductor multilingüe.
Las traducciones de realisable 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

可变现
1.325 millones de hablantes

Traductor inglés - español

realizable
570 millones de hablantes

inglés

realisable
510 millones de hablantes

Traductor inglés - hindi

वसूली
380 millones de hablantes
ar

Traductor inglés - árabe

للتحقيق
280 millones de hablantes

Traductor inglés - ruso

реализуемы
278 millones de hablantes

Traductor inglés - portugués

realizável
270 millones de hablantes

Traductor inglés - bengalí

আদায়-যোগ্য
260 millones de hablantes

Traductor inglés - francés

réalisable
220 millones de hablantes

Traductor inglés - malayo

Boleh direalisasikan
190 millones de hablantes

Traductor inglés - alemán

realisierbar
180 millones de hablantes

Traductor inglés - japonés

実現可能な
130 millones de hablantes

Traductor inglés - coreano

실현
85 millones de hablantes

Traductor inglés - javanés

Realizable
85 millones de hablantes
vi

Traductor inglés - vietnamita

thực hiện
80 millones de hablantes

Traductor inglés - tamil

கொடுக்கப்பெறக்கூடிய
75 millones de hablantes

Traductor inglés - maratí

वसूल करण्यायोग्य
75 millones de hablantes

Traductor inglés - turco

gerçekleştirilebilir
70 millones de hablantes

Traductor inglés - italiano

realizzo
65 millones de hablantes

Traductor inglés - polaco

możliwa do uzyskania
50 millones de hablantes

Traductor inglés - ucraniano

реалізовані
40 millones de hablantes

Traductor inglés - rumano

realizabil
30 millones de hablantes
el

Traductor inglés - griego

ρευστοποιήσιμη
15 millones de hablantes
af

Traductor inglés - afrikáans

realiseerbare
14 millones de hablantes
sv

Traductor inglés - sueco

realiserbar
10 millones de hablantes
no

Traductor inglés - noruego

realiserbar
5 millones de hablantes

Tendencias de uso de la palabra realisable

TENDENCIAS

TENDENCIAS DE USO ACTUALES DEL TÉRMINO «REALISABLE»

El término «realisable» se utiliza regularmente y ocupa la posición 56.847 de nuestra lista de términos más usados del diccionario de inglés.
0
100%
FRECUENCIA
Regularmente usado
74
/100
En el mapa anterior se refleja la frecuencia de uso del término «realisable» en los diferentes paises.
Principales tendencias de búsqueda y usos comunes de realisable
Listado de las príncipales búsquedas realizadas por los usuarios para acceder a nuestro diccionario de inglés en línea y expresiones más usadas con la palabra «realisable».

FRECUENCIA DE USO DEL TÉRMINO «REALISABLE» A LO LARGO DEL TIEMPO

El gráfico expresa la evolución anual de la frecuencia de uso de la palabra «realisable» en los últimos 500 años. Su implementación se basa en el análisis de la frecuencia de aparición del término «realisable» en las fuentes impresas digitalizadas del inglés publicadas desde el año 1500 hasta la actualidad.

Citas, bibliografía en inglés y actualidad sobre realisable

EJEMPLOS DE USO

10 LIBROS DEL INGLÉS RELACIONADOS CON «REALISABLE»

Descubre el uso de realisable en la siguiente selección bibliográfica. Libros relacionados con realisable y pequeños extractos de los mismos para contextualizar su uso en la literatura.
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 NOTICIAS EN LAS QUE SE INCLUYE EL TÉRMINO «REALISABLE»

Conoce de qué se habla en los medios de comunicación nacionales e internacionales y cómo se emplea el término realisable en el contexto de las siguientes noticias.
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, Jul 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, Jul 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, Jul 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, Abr 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, Ene 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, Abr 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, Abr 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, Jul 13»

REFERENCIA
« EDUCALINGO. Realisable [en línea] . Disponible en <https://educalingo.com/es/dic-en/realisable>. May 2024 ».
Descarga la app de educalingo
en
diccionario inglés
Descubre todo lo que esconden las palabras en
índice
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