-
1 полнота модели
model completeness мат.Русско-английский научно-технический словарь Масловского > полнота модели
-
2 модельная полнота
Mathematics: model completeness -
3 неполнота модели
неполнота модели
Обязательное свойство любой экономико-математической модели, состоящее в том, что при выделении существенных параметров и существенных переменных модели она неизбежно абстрагируется от других, менее существенных, но все же способных влиять на поведение моделируемого объекта факторов. (подробнее см. Спецификация модели).
[ http://slovar-lopatnikov.ru/]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > неполнота модели
-
4 проверка
control, audit, check, checking, checkout, collation, gaging, inspection, test, testing, proof, prove-out, verification* * *прове́рка ж.
( испытание) check, test; ( осмотр) examination, inspectionпрове́рка выполня́ется ( проверка подтверждает правильность решения) мат. — the check is satisfiedпроводи́ть прове́рку — do [carry out, perform] a testвы́борочная прове́рка — random inspection, spot checkпрове́рка гипо́тезы стат. — testing of a hypothesis, hypothesis testingпрове́рка за́нятости свз. — busy test, test for the engaged conditionинспекцио́нная прове́рка — technical inspectionце́лью инспекцио́нной прове́рки явля́ется прове́рка ка́чества техобслу́живания, веде́ния техдокумента́ции и о́бщего состоя́ния материа́льной ча́сти — technical inspection checks the quality of maintenance, completeness of records and overall condition of the materialпрове́рка моде́ли на адеква́тность объе́кту модели́рования — validation [test] of a model for adequacyпрове́рка на за́нятость тлф. — busy [engaged] testпрове́рка на нали́чие оши́бок вчт. — error checkпрове́рка на нечё́тность вчт. — odd-parity checkпрове́рка на пло́тность [герметиза́цию] — leak checkпрове́рка на чё́тность вчт. — even parity checkпрове́рка на просве́т ( перфокарт) — sight checkнеуда́чная прове́рка — failure of a checkпрове́рка подстано́вкой — check by substitutionпрове́рка прохожде́ния сигна́лов радио — signal tracingпрове́рка рабо́ты — functional checkпрове́рка расхо́да то́плива — fuel-consumption test, fuel-consumption trialпрове́рка режи́ма рабо́ты — performance testэксперимента́льная прове́рка — experimental checkэпизоди́ческая прове́рка — casual inspection* * * -
5 для полноты изложения
Для полноты изложения-- We shall briefly sketch the model here for completeness.Русско-английский научно-технический словарь переводчика > для полноты изложения
См. также в других словарях:
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
Completeness of the real numbers — Intuitively, completeness implies that there are not any “gaps” (in Dedekind s terminology) or “missing points” in the real number line. This contrasts with the rational numbers, whose corresponding number line has a “gap” at each irrational… … Wikipedia
Model-driven architecture — (MDA) is a software design approach for the development of software systems. It provides a set of guidelines for the structuring of specifications, which are expressed as models. Model driven architecture is a kind of domain engineering, and… … Wikipedia
Completeness — In general, an object is complete if nothing needs to be added to it. This notion is made more specific in various fields. Contents 1 Logical completeness 2 Mathematical completeness 3 Computing 4 … Wikipedia
Completeness (statistics) — In statistics, completeness is a property of a statistic in relation to a model for a set of observed data. In essence, it is a condition which ensures that the parameters of the probability distribution representing the model can all be… … Wikipedia
Completeness (order theory) — In the mathematical area of order theory, completeness properties assert the existence of certain infima or suprema of a given partially ordered set (poset). A special use of the term refers to complete partial orders or complete lattices.… … Wikipedia
Model category — In mathematics, particularly in homotopy theory, a model category is a category with distinguished classes of morphisms ( arrows ) called weak equivalences , fibrations and cofibrations . These abstract from a conventional homotopy category, of… … Wikipedia
model theory — The use of a model to test for the consistency of an axiomatized system is older than modern logic. Descartes s algebraic interpretation of Euclidean geometry provides a way of showing that if the theory of real numbers is consistent, so is the… … Philosophy dictionary
completeness — See completely. * * * Concept of the adequacy of a formal system that is employed both in proof theory and in model theory (see logic). In proof theory, a formal system is said to be syntactically complete if and only if every closed sentence in… … Universalium
Gödel's completeness theorem — is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first order logic. It was first proved by Kurt Gödel in 1929. A first order formula is called logically valid if… … Wikipedia
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
