Znaczenie słowa "realizable" w słowniku

WYMOWA SŁOWA REALIZABLE

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

CO OZNACZA SŁOWO REALIZABLE

Realizowalność

Realizability

W logice matematycznej realizowalność to zbiór metod w teorii dowodów wykorzystywanych do badania konstruktywnych dowodów i wyciągania dodatkowych informacji z nich. Formuły z formalnej teorii są "realizowane" przez obiekty, znane jako "realizatorzy", w taki sposób, że wiedza realizatora daje wiedzę o prawdzie formuły. Istnieje wiele odmian możliwości realizacji; dokładnie jaką klasę wzorów jest badana, a które obiekty są realizatorami różnią się od jednej odmiany. Realizowalność można postrzegać jako formalizację interpretacji intuicyjnej logiki BHK; w wykonaniu pojęcie "dowodu" zastępuje formalne pojęcie "realizatora". Większość wariantów możliwości realizacji zaczyna się od twierdzenia, że ​​możliwe jest wykonanie jakiegokolwiek wyrażenia, które można udowodnić w badanym systemie formalnym. Wykonawca zazwyczaj podaje więcej informacji o formule, niż dostarczyłby to formalny dowód. Poza przedstawieniem intuicyjnej przewagi, można wykorzystać możliwość udowodnienia rozbieżności i właściwości istnienia intuitionistycznych teorii oraz wyciągania programów z dowodów, jak w przypadku eksploracji.

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.

Definicja słowa realizable w słowniku

Definicja możliwego do zrealizowania w słowniku to, czy twoje nadzieje lub cele są możliwe do zrealizowania, istnieje możliwość, że rzeczy, które chcesz osiągnąć, będą miały miejsce. Inną definicją możliwego do zrealizowania bogactwa jest pieniądz, który można łatwo uzyskać, sprzedając coś.

TŁUMACZENIE SŁOWA REALIZABLE

Poznaj tłumaczenie słowa realizable na 25 języków dzięki naszemu tłumaczowi wielojęzycznemu.

Tłumaczenie słowa realizable na inne języki w tej sekcji zostało uzyskane za pomocą automatycznego tłumaczenia statystycznego, gdzie podstawową jednostką tłumaczeniową jest słowo «realizable».

• Tłumacz angielski - chiński: > 可实现的
• Tłumacz angielski - hiszpański: alcanzable
• angielski: realizable
• Tłumacz angielski - hindi: वसूली
• Tłumacz angielski - arabski: للتحقيق
• Tłumacz angielski - rosyjski: реализуемы
• Tłumacz angielski - portugalski: realizável
• Tłumacz angielski - bengalski: আদায়-যোগ্য
• Tłumacz angielski - francuski: réalisable
• Tłumacz angielski - malajski: Boleh direalisasikan
• Tłumacz angielski - niemiecki: realisierbar
• Tłumacz angielski - japoński: 実現可能な
• Tłumacz angielski - koreański: 실현 가능한
• Tłumacz angielski - jawajski: Realizable
• Tłumacz angielski - wietnamski: thực hiện
• Tłumacz angielski - tamilski: கொடுக்கப்பெறக்கூடிய
• Tłumacz angielski - marathi: वसूल करण्यायोग्य
• Tłumacz angielski - turecki: gerçekleştirilebilir
• Tłumacz angielski - włoski: realizzabile
• Tłumacz angielski - polski: możliwa do uzyskania
• Tłumacz angielski - ukraiński: реалізовані
• Tłumacz angielski - rumuński: realizabil
• Tłumacz angielski - grecki: ρευστοποιήσιμη
• Tłumacz angielski - afrikaans: realiseerbare
• Tłumacz angielski - szwedzki: realiserbar
• Tłumacz angielski - norweski: realiserbar

KSIĄŻKI POWIĄZANE ZE SŁOWEM «REALIZABLE»

Poznaj użycie słowa realizable w następujących pozycjach bibliograficznych Książki powiązane ze słowem realizable oraz krótkie ich fragmenty w celu przedstawienia kontekstu użycia w literaturze.

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

WIADOMOŚCI, KTÓRE ZAWIERAJĄ SŁOWO «REALIZABLE»

Sprawdź, o czym dyskutuje się w prasie krajowej i zagranicznej oraz jak jest stosowane słowo realizable w wiadomościach.

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, Lip 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, Lip 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, Maj 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, Maj 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, Maj 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, Kwi 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, Kwi 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, Lut 15»