theor of types

theor of types
мат. теория типов

Большой англо-русский и русско-английский словарь. 2001.

Игры ⚽ Поможем сделать НИР

Смотреть что такое "theor of types" в других словарях:

  • 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

  • Evolution of sexual reproduction — The evolution of sexual reproduction is currently described by several competing scientific hypotheses. All sexually reproducing organisms derive from a common ancestor which was a single celled eukaryotic species[1]. Many protists reproduce… …   Wikipedia

  • Microbial cooperation — Microorganisms engage in a wide variety of social interactions, including cooperation. A cooperative behavior is one that benefits an individual (the recipient) other than the one performing the behavior (the actor).[1] This article outlines the… …   Wikipedia

  • Niche differentiation — The term niche differentiation (synonymous with niche segregation, niche separation and niche partitioning), as it applies to the field of ecology, refers to the process by which natural selection drives competing species into different patterns… …   Wikipedia

  • Phyllotaxie — Ananas (Ananas nanus) Pin cembro (Pinus cem …   Wikipédia en Français

  • Triticale — Taxobox name = Triticale image width = 240px image caption = Triticale regnum = Plantae divisio = Magnoliophyta classis = Liliopsida ordo = Poales familia = Poaceae tribus = Triticeae genus = × Triticosecale species = binomial = × Triticosecale… …   Wikipedia

  • Evolution — This article is about evolution in biology. For other uses, see Evolution (disambiguation). For a generally accessible and less technical introduction to the topic, see Introduction to evolution. Part of a series on …   Wikipedia

  • Enzyme kinetics — is the study of the chemical reactions that are catalysed by enzymes, with a focus on their reaction rates. The study of an enzyme s kinetics reveals the catalytic mechanism of this enzyme, its role in metabolism, how its activity is controlled,… …   Wikipedia

  • BRST quantization — In theoretical physics, BRST quantization (where the BRST refers to Becchi, Rouet, Stora and Tyutin) is a relatively rigorous mathematical approach to quantizing a field theory with a gauge symmetry. Quantization rules in earlier QFT frameworks… …   Wikipedia

  • Divine proportion — Nombre d or  Pour l’article homonyme, voir Nombre d or (astronomie).  La proportion définie par a et b est dite d extrême et de moyenne raison lorsque a e …   Wikipédia en Français

  • Nombre D'or —  Pour l’article homonyme, voir Nombre d or (astronomie).  La proportion définie par a et b est dite d extrême et de moyenne raison lorsque a e …   Wikipédia en Français


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»