Bedeutung von "realizable" im Wörterbuch Englisch

AUSSPRACHE VON REALIZABLE AUF ENGLISCH

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

GRAMMATIKALISCHE KATEGORIE VON REALIZABLE

Realizable ist ein Adjektiv.

Das Adjektiv ist das Wort, das das Nomen begleitet, um es genauer zu bestimmen oder zu bewerten.

WAS BEDEUTET REALIZABLE AUF ENGLISCH

Realisierbarkeit

Realizability

In der mathematischen Logik ist die Realisierbarkeit eine Sammlung von Methoden in der Beweis-Theorie, die verwendet werden, um konstruktive Beweise zu studieren und zusätzliche Informationen von ihnen zu extrahieren. Formeln aus einer formalen Theorie werden von Objekten, die als "Realisierer" bezeichnet werden, "realisiert", so dass die Erkenntnis des Realisten über die Wahrheit der Formel bekannt ist. Es gibt viele Variationen der Realisierbarkeit; Genau welche Klasse von Formeln untersucht wird und welche Objekte Realisatoren sind, unterscheiden sich von einer Variation zu einer anderen. Die Realisierbarkeit kann als eine Formalisierung der BHK-Interpretation der intuitionistischen Logik angesehen werden; In realisierbarkeit wird der Begriff "Beweis" durch einen formalen Begriff von "realizer" ersetzt. Die meisten Varianten der Realisierbarkeit beginnen mit einem Theorem, dass jede Aussage, die in dem formalen System, das studiert wird, nachweisbar ist, realisierbar ist. Der Realizer gibt jedoch in der Regel mehr Informationen über die Formel, als ein formaler Beweis direkt liefern würde. Über die Einsicht in die intuitionistische Beweglichkeit hinaus kann die Realisierbarkeit angewendet werden, um die Disjunktion und Existenzeigenschaften für intuitionistische Theorien zu beweisen und Programme aus Beweisen zu extrahieren, wie im Proof-Mining.

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.

Definition von realizable im Wörterbuch Englisch

Die Definition von realisierbar im Wörterbuch ist, wenn Ihre Hoffnungen oder Ziele realisierbar sind, gibt es eine Möglichkeit, dass die Dinge passieren, die Sie passieren wollen. Eine andere Definition von Realisierbarem ist realisierbarer Reichtum ist Geld, das leicht durch Verkaufen von etwas erhalten werden kann.

ÜBERSETZUNG VON REALIZABLE

Erfahre, wie die Übersetzung von realizable auf 25 Sprachen mit unserem mehrsprachigen Übersetzer Englisch lautet.

Die Übersetzungen von realizable auf andere Sprachen, die in diesem Bereich vorgestellt werden, sind zustande gekommen durch automatische statistische Übersetzung, wobei die Basiseinheit der Übersetzung das Wort «realizable» in Englisch ist.

• Übersetzer Deutsch - Chinesisch: > 可实现的
• Übersetzer Deutsch - Spanisch: alcanzable
• Englisch: realizable
• Übersetzer Deutsch - Hindi: वसूली
• Übersetzer Deutsch - Arabisch: للتحقيق
• Übersetzer Deutsch - Russisch: реализуемы
• Übersetzer Deutsch - Portugiesisch: realizável
• Übersetzer Deutsch - Bengalisch: আদায়-যোগ্য
• Übersetzer Deutsch - Französisch: réalisable
• Übersetzer Deutsch - Malaysisch: Boleh direalisasikan
• Übersetzer Deutsch - Deutsch: realisierbar
• Übersetzer Deutsch - Japanisch: 実現可能な
• Übersetzer Deutsch - Koreanisch: 실현 가능한
• Übersetzer Deutsch - Javanisch: Realizable
• Übersetzer Deutsch - Vietnamesisch: thực hiện
• Übersetzer Deutsch - Tamil: கொடுக்கப்பெறக்கூடிய
• Übersetzer Deutsch - Marathi: वसूल करण्यायोग्य
• Übersetzer Deutsch - Türkisch: gerçekleştirilebilir
• Übersetzer Deutsch - Italienisch: realizzabile
• Übersetzer Deutsch - Polnisch: możliwa do uzyskania
• Übersetzer Deutsch - Ukrainisch: реалізовані
• Übersetzer Deutsch - Rumänisch: realizabil
• Übersetzer Deutsch - Griechisch: ρευστοποιήσιμη
• Übersetzer Deutsch - Afrikaans: realiseerbare
• Übersetzer Deutsch - Schwedisch: realiserbar
• Übersetzer Deutsch - Norwegisch: realiserbar

10 BÜCHER, DIE MIT «REALIZABLE» IM ZUSAMMENHANG STEHEN

Entdecke den Gebrauch von realizable in der folgenden bibliographischen Auswahl. Bücher, die mit realizable im Zusammenhang stehen und kurze Auszüge derselben, um seinen Gebrauch in der Literatur kontextbezogen darzustellen.

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 NACHRICHTEN, IN DENEN DER BEGRIFF «REALIZABLE» VORKOMMT

Erfahre, worüber man in den einheimischen und internationalen Medien spricht und wie der Begriff realizable im Kontext der folgenden Nachrichten gebraucht wird.

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, Mai 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, Mai 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, Mai 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, Mär 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, Mär 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»