Завантажити застосунок
educalingo
Пошук

Значення "realisable" у англійська словнику

Словник
СЛОВНИК
section

ВИМОВА REALISABLE У АНГЛІЙСЬКА

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

ГРАМАТИЧНА КАТЕГОРІЯ REALISABLE

noun
прикметник
дієслово
прислівник
займенник
прийменник
сполучник
означальне слово
вигук

ЩО REALISABLE ОЗНАЧАЄ У АНГЛІЙСЬКА?

Натисніть, щоб побачити визначення of «realisable» в англійська словнику.
Натисніть, щоб побачити автоматичний переклад визначення в українська.

Реалістичність

Realizability

У математичній логіці реалізація - це сукупність методів теорії доказів, що використовуються для вивчення конструктивних доказів та вилучення з них додаткової інформації. Формули з формальної теорії "реалізуються" об'єктами, відомими як "реалізатори", таким чином, що знання реалізатора дають знання про істинність формули. Існує багато варіантів реалізації; саме який клас формул вивчається і які об'єкти реалізатори відрізняються від однієї варіації до іншої. Реалізація можна розглядати як формалізацію інтерпретації інтуїціоністської логіки БГК; в реалістичності поняття "доказ" замінюється формальним поняттям "реалізатор". Більшість варіантів реалізації починаються з теореми, що будь-яке твердження, що доказується в досліджуваній формальної системі, реалізується. Однак реалізатор, як правило, дає більше інформації про формулу, ніж формальний доказ, який би прямо надавав. Окрім надання розуміння інтуїціоністської доказуемости, реалізація може бути застосована для доведення диз'юнкції та властивостей існування для інтуїціоністських теорій і для вилучення програм з доказів, як для доказів видобутку. 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.

Натисніть, щоб побачити визначення of «realisable» в англійська словнику.
Натисніть, щоб побачити автоматичний переклад визначення в українська.

АНГЛІЙСЬКА СЛОВА, ЩО РИМУЮТЬСЯ ІЗ 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

АНГЛІЙСЬКА СЛОВА, ЩО ПОЧИНАЮТЬСЯ ТАК САМО ЯК 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

АНГЛІЙСЬКА СЛОВА, ЩО ЗАКІНЧУЮТЬСЯ ТАК САМО ЯК REALISABLE

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

Синоніми та антоніми realisable в англійська словнику синонімів

СИНОНІМИ

Переклад «realisable» на 25 мов

ПЕРЕКЛАДАЧ
online translator

ПЕРЕКЛАД REALISABLE

Дізнайтесь, як перекласти realisable на 25 мов за допомогою нашого англійська багатомовного перекладача.
Переклад слова realisable з англійська на інші мови, представлений в цьому розділі, було зроблено шляхом автоматичного статистичного перекладу; де основною одиницею перекладу є слово «realisable» в англійська.

Перекладач з англійська на китайська

可变现
1,325 мільйонів носіїв мови

Перекладач з англійська на іспанська

realizable
570 мільйонів носіїв мови

англійська

realisable
510 мільйонів носіїв мови

Перекладач з англійська на гінді

वसूली
380 мільйонів носіїв мови
ar

Перекладач з англійська на арабська

للتحقيق
280 мільйонів носіїв мови

Перекладач з англійська на російська

реализуемы
278 мільйонів носіїв мови

Перекладач з англійська на португальська

realizável
270 мільйонів носіїв мови

Перекладач з англійська на бенгальська

আদায়-যোগ্য
260 мільйонів носіїв мови

Перекладач з англійська на французька

réalisable
220 мільйонів носіїв мови

Перекладач з англійська на малайська

Boleh direalisasikan
190 мільйонів носіїв мови

Перекладач з англійська на німецька

realisierbar
180 мільйонів носіїв мови

Перекладач з англійська на японська

実現可能な
130 мільйонів носіїв мови

Перекладач з англійська на корейська

실현
85 мільйонів носіїв мови

Перекладач з англійська на яванська

Realizable
85 мільйонів носіїв мови
vi

Перекладач з англійська на в’єтнамська

thực hiện
80 мільйонів носіїв мови

Перекладач з англійська на тамільська

கொடுக்கப்பெறக்கூடிய
75 мільйонів носіїв мови

Перекладач з англійська на маратхі

वसूल करण्यायोग्य
75 мільйонів носіїв мови

Перекладач з англійська на турецька

gerçekleştirilebilir
70 мільйонів носіїв мови

Перекладач з англійська на італійська

realizzo
65 мільйонів носіїв мови

Перекладач з англійська на польська

możliwa do uzyskania
50 мільйонів носіїв мови

Перекладач з англійська на українська

реалізовані
40 мільйонів носіїв мови

Перекладач з англійська на румунська

realizabil
30 мільйонів носіїв мови
el

Перекладач з англійська на грецька

ρευστοποιήσιμη
15 мільйонів носіїв мови
af

Перекладач з англійська на африкаанс

realiseerbare
14 мільйонів носіїв мови
sv

Перекладач з англійська на шведська

realiserbar
10 мільйонів носіїв мови
no

Перекладач з англійська на норвезька

realiserbar
5 мільйонів носіїв мови

Тенденції використання realisable

ТЕНДЕНЦІЇ

ТЕНДЕНЦІЇ ВЖИВАННЯ ТЕРМІНУ «REALISABLE»

0
100%
ЧАСТОТА
Вживається постійно
74
/100
На наведеній вище мапі представлено частоту використання терміну «realisable» у різних країнах.
Основні тенденції пошуку та приклади звичайного вживання realisable
Перелік основних пошуків, здійснених користувачами для доступу до нашого англійська онлайн-словника, та найбільш широко вживаних виразів із словом «realisable».

ЗМІНИ У ЧАСТОТІ ВЖИВАННЯ ТЕРМІНУ «REALISABLE» ПРОТЯГОМ ПЕВНОГО ЧАСУ

На графіку представлено щорічні зміни у частоті вживання слова «realisable» протягом останніх 500 років. Його побудовано на аналізі того, як часто термін «realisable» траплявся у оцифрованих друкованих джерелах англійська у період між 1500 роком та сьогоденням.

Приклади вживання в англійська літературі, цитати та новини про realisable

ПРИКЛАДИ

10 АНГЛІЙСЬКА КНИЖКИ ПОВ'ЯЗАНІ ІЗ «REALISABLE»

Дізнайтеся про вживання realisable з наступної бібліографічної підбірки. Книжки пов'язані зі словом realisable та короткі уривки з них для забезпечення контексту його використання в англійська літературі.
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

НОВИНИ ІЗ ТЕРМІНОМ «REALISABLE»

Дізнайтеся, що обговорювала національна та міжнародна преса, і як термін realisable вживається в контексті наступних новин.
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, Липень 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, Липень 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, Липень 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, Квітень 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, Лютий 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, Січень 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, Квітень 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, Квітень 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, Лютий 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, Липень 13»

ПОСИЛАННЯ
« EDUCALINGO. Realisable [онлайн]. Доступно <https://educalingo.com/uk/dic-en/realisable>. Травень 2024 ».
Завантажити застосунок educalingo
en
англійська словник
Відкрийте все, що приховане в словах, скориставшись