- realizable formula
- мат. реализуемая формула
Большой англо-русский и русско-английский словарь. 2001.
realizable formula
Смотреть что такое "realizable formula" в других словарях:
Net realizable value — (NRV) is a method of evaluating an asset s worth when held in inventory, in the field of accounting. NRV is part of the Generally Accepted Accounting Principles and International Financial Reporting Standards (IFRS) that apply to valuing… … Wikipedia
Realizability — is a part of proof theory which can be used to handle information about formulas instead of about the proofs of formulas. [Oosten, pp. 3 5] A natural number n is said to realize a statement in the language of arithmetic of natural numbers. Other… … Wikipedia
Nyquist–Shannon sampling theorem — Fig.1: Hypothetical spectrum of a bandlimited signal as a function of frequency The Nyquist–Shannon sampling theorem, after Harry Nyquist and Claude Shannon, is a fundamental result in the field of information theory, in particular… … Wikipedia
Offer in compromise — The Offer in Compromise (or OIC) program, in the United States, is an Internal Revenue Service (IRS) program under 26 U.S.C. § 7122 which allows qualified individuals with an unpaid tax debt to negotiate a settled amount that is less… … Wikipedia
thought — thought1 /thawt/, n. 1. the product of mental activity; that which one thinks: a body of thought. 2. a single act or product of thinking; idea or notion: to collect one s thoughts. 3. the act or process of thinking; mental activity: Thought as… … Universalium
Degree (graph theory) — A graph with vertices labeled by degree In graph theory, the degree (or valency) of a vertex of a graph is the number of edges incident to the vertex, with loops counted twice.[1] The degree of a vertex … Wikipedia
Judaism — /jooh dee iz euhm, day , deuh /, n. 1. the monotheistic religion of the Jews, having its ethical, ceremonial, and legal foundation in the precepts of the Old Testament and in the teachings and commentaries of the rabbis as found chiefly in the… … Universalium
Generalized Processor Sharing — (GPS)cite journal|first=A. K.|last=Parekh|coauthors=Gallager, R. G.|title=A Generalized Processor Sharing approach to Flow control in Integrated Services Networks: The Single Node Case|journal=Proceedings of IEEE Infocom|year=1992] was developed… … Wikipedia
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium
Philosophy of mathematics — The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of … Wikipedia
Bangor, Maine — City City of Bangor[1] … Wikipedia
