- theor of abstraction
- мат. теория абстракции
Большой англо-русский и русско-английский словарь. 2001.
theor of abstraction
Смотреть что такое "theor of abstraction" в других словарях:
Denotational semantics — In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach to formalizing the meanings of programming languages by constructing mathematical objects (called denotations)… … Wikipedia
Molecular nanotechnology — Part of a series of articles on Molecular Nanotechnology … Wikipedia
individu — [ ɛ̃dividy ] n. m. • 1242; lat. individuum « corps indivisible » I ♦ 1 ♦ (Sens large) Sc. Tout être formant une unité distincte dans une classification. ⇒ échantillon, 2. exemplaire, exemple, spécimen, unité; individualité. « des individus bien… … Encyclopédie Universelle
Denotational semantics of the Actor model — The denotational semantics of the Actor model is the subject of denotational domain theory for Actors. The historical development of this subject is recounted in [Hewitt 2008b]. Contents 1 Actor fixed point semantics 2 Compositionality in… … Wikipedia
Fexpr — In Lisp programming languages, a fexpr is a function whose operands are passed to it without being evaluated. When a fexpr is called, only the body of the fexpr is evaluated; no other evaluations take place except when explicitly initiated by the … Wikipedia
nombre — [ nɔ̃br ] n. m. • déb. XIIe; lat. numerus I ♦ 1 ♦ Concept de base des mathématiques, une des notions fondamentales de l entendement que l on peut rapporter à d autres idées (de pluralité, d ensemble, de correspondance), mais non définir.… … Encyclopédie Universelle
Model transformation — A model transformation, in model driven engineering, is an automatable way of ensuring that a family of models is consistent, in a precise sense which the software engineer can define. The aim of using a model transformation is to save effort and … Wikipedia
geste — 1. geste [ ʒɛst ] n. m. • XVe; lat. gestus 1 ♦ Mouvement du corps (principalement des bras, des mains, de la tête) volontaire ou involontaire, révélant un état psychologique, ou visant à exprimer, à exécuter qqch. ⇒ attitude, mouvement. Faire des … Encyclopédie Universelle
séparer — [ separe ] v. tr. <conjug. : 1> • 1314; lat. separare I ♦ 1 ♦ Faire cesser (une chose) d être avec une autre; faire cesser (plusieurs choses) d être ensemble. ⇒ couper, 1. détacher, disjoindre, 1. écarter, isoler. La tête avait été séparée… … Encyclopédie Universelle
