- formalized model
- мат. формализованная модель
Большой англо-русский и русско-английский словарь. 2001.
formalized model
Смотреть что такое "formalized model" в других словарях:
Model 2 — This article is about the Java design model. For the arcade board, see Sega Model 2. In the design of Java Web applications, there are two commonly used design models, referred to as Model 1 and Model 2. A simplified diagram of the Model 2… … Wikipedia
Formalized — Formalize Form al*ize (f[^o]rm al*[imac]z), v. t. [imp. & p. p. {Formalized} (f[^o]rm al*[imac]zd); p. pr. & vb. n. {Formalizing} (f[^o]rm al*[imac] z[i^]ng).] 1. To give form, or a certain form, to; to model. [R.] [1913 Webster] 2. To render… … The Collaborative International Dictionary of English
model — 1. A representation of something, often idealized or modified to make it conceptually easier to understand. 2. Something to be imitated. 3. In dentistry, a cast. 4. A mathematical representation of a particular phenomenon. 5. An animal that is… … Medical dictionary
formalized — formalize (Amer.) for·mal·ize || fÉ”rmÉ™laɪz / fÉ”Ëm v. make official, make formal; make legally valid; affect formality; give a shape or form to, model (also formalise) … English contemporary dictionary
Deductive-nomological model — The deductive nomological model (or D N model) is a formalized[citation needed] view of scientific explanation in natural language. It characterizes scientific explanations primarily as deductive arguments with at least one natural law statement… … Wikipedia
Data model — Overview of data modeling context: A data model provides the details of information to be stored, and is of primary use when the final product is the generation of computer software code for an application or the preparation of a functional… … Wikipedia
Object model — In computing, object model has two related but distinct meanings: The properties of objects in general in a specific computer programming language, technology, notation or methodology that uses them. For example, the Java objects model, the COM… … Wikipedia
Object-capability model — The object capability model is a computer security model based on the Actor model of computation. The name object capability model is due to the idea that the capability to perform an operation can be obtained by the following combination: an… … Wikipedia
Non-standard model of arithmetic — In mathematical logic, a nonstandard model of arithmetic is a model of (first order) Peano arithmetic that contains nonstandard numbers. The standard model of arithmetic consists of the set of standard natural numbers {0, 1, 2, …}. The elements… … Wikipedia
Component Object Model — Not to be confused with COM file. Component Object Model (COM) is a binary interface standard for software componentry introduced by Microsoft in 1993. It is used to enable interprocess communication and dynamic object creation in a large range… … Wikipedia
Institutional model theory — generalizes a large portion of first order model theory to an arbitrary logical system. The notion of logical system here is formalized as an institution. Institutions constitute a model oriented meta theory on logical systems similar to how the… … Wikipedia
