-
1 axiomatic set theory
trickle-down theory — теория «просачивания благ сверху вниз»
the theory prevails that … — существует теория о том, что …
informal theory — содержательная теория; неформальная теория
-
2 axiomatic set theory
Большой англо-русский и русско-английский словарь > axiomatic set theory
-
3 axiomatic set theory
Вычислительная техника: аксиоматическая теория множеств -
4 axiomatic set theory
English-Russian dictionary of computer science and programming > axiomatic set theory
-
5 theory
1) теория; теоретические основы2) метод•- automatic control theory
- axiomatic set theory
- circuit theory
- coding theory
- communication theory
- data theory
- decision theory
- formal theory of testing
- function theory
- game theory
- graph theory
- group theory
- informal theory
- information theory
- lattice theory
- logic theory
- number theory
- OSA theory
- probability theory
- proof theory
- queueing theory
- reliability theory
- renewal theory
- sampling theory
- scheduling theory
- set theory
- similarity theory
- stability theory
- statistical theory
- switching theory
- theory of algorithms
- theory of binary decisions
- theory of computing
- theory of messagesEnglish-Russian dictionary of computer science and programming > theory
-
6 axiomatic
Синонимический ряд:self-evident (adj.) aphoristic; obvious; proverbial; self-evident; well-known -
7 axiomatic
-
8 аксиоматическая теория множеств
Большой англо-русский и русско-английский словарь > аксиоматическая теория множеств
-
9 analysis
1) анализ; исследование; изучение2) разбор3) анализ, состав•analysis in time domain — матем. временной анализ
analysis is in control — хим. состав попадает в анализ
analysis situs — матем. топология
-
10 approach
1) приближение2) подход3) принцип; метод•- algorithm-specific approach
- all-or-nothing approach
- axiomatic approach
- Bayesian approach
- bilingual approach
- botton-up approach
- brute-force approach
- building-block approach
- comprehensive approach
- context-based approach
- contingency approach
- cross-impact approach
- cut-and-try approach
- database approach
- disaggregated approach
- divide-and-conquer approach
- engineering approach
- entity-relationship approach
- entropy forward approach
- fault-intolerance approach
- fault-tolerance approach
- formal approach
- fulcrum approach
- function-specific approach
- game-model approach
- game-theory approach
- graphic approach
- hardware-intensive approach
- heuristic approach
- hierarchical approach
- holistic approach
- integrated approach
- interactive approach
- interdisciplinary approach
- knowledge-based approach
- line-oriented approach
- modular approach
- module-by-module approach
- multilingual approach
- multiple incarnations approach
- novel approach
- omnibus approach
- performance sampling approach
- pitch-synchronous approach
- probabilistic approach
- Reiter's approach
- scan path approach
- servomechanism approach
- set-theoretical approach
- set-theoretic approach
- simulation approach
- single-task-machine approach
- software-intensive approach
- standards approach
- state-machine approach
- step-by-step approach
- systems approach
- systolic approach
- technically sound approach
- top-down approach
- transition function-based approach
- trial-and-error approach
- turnkey approachEnglish-Russian dictionary of computer science and programming > approach
-
11 closure
1) замыкание2) закрытие; закрывание; запирание3) преграда; ограждение4) затвор; перегородка5) строит. неполномерный кирпич7) метал. заделка лётки8) герметизация9) крышка; уплотнение11) геод. невязка•domain of closure — физ. замыкающий домен
theory of closure — матем. теория замыканий
См. также в других словарях:
set theory — the branch of mathematics that deals with relations between sets. [1940 45] * * * Branch of mathematics that deals with the properties of sets. It is most valuable as applied to other areas of mathematics, which borrow from and adapt its… … Universalium
Set theory — This article is about the branch of mathematics. For musical set theory, see Set theory (music). A Venn diagram illustrating the intersection of two sets. Set theory is the branch of mathematics that studies sets, which are collections of objects … Wikipedia
Naive set theory — This article is about the mathematical topic. For the book of the same name, see Naive Set Theory (book). Naive set theory is one of several theories of sets used in the discussion of the foundations of mathematics.[1] The informal content of… … Wikipedia
Constructive set theory — is an approach to mathematical constructivism following the program of axiomatic set theory. That is, it uses the usual first order language of classical set theory, and although of course the logic is constructive, there is no explicit use of… … Wikipedia
Quasi-set theory — is a formal mathematical theory of collections of indistinguishable objects, mainly motivated by the assumption that certain objects treated in quantum physics are indistinguishable. Quasi set theory is closely related to, yet distinct from,… … Wikipedia
General set theory — (GST) is George Boolos s (1998) name for a three axiom fragment of the canonical axiomatic set theory Z. GST is sufficient for all mathematics not requiring infinite sets, and is the weakest known set theory whose theorems include the Peano… … Wikipedia
Ackermann set theory — is a version of axiomatic set theory proposed by Wilhelm Ackermann in 1956. The languageAckermann set theory is formulated in first order logic. The language L A consists of one binary relation in and one constant V (Ackermann used a predicate M… … Wikipedia
Union (set theory) — Union of two sets … Wikipedia
Morass (set theory) — For the variety of wetland, see marsh. In axiomatic set theory, a mathematical discipline, a morass is an infinite combinatorial structure, used to create large structures from a small number of small approximations. They were invented by Ronald… … Wikipedia
Zermelo–Fraenkel set theory — Zermelo–Fraenkel set theory, with the axiom of choice, commonly abbreviated ZFC, is the standard form of axiomatic set theory and as such is the most common foundation of mathematics.ZFC consists of a single primitive ontological notion, that of… … Wikipedia
Scott–Potter set theory — An approach to the foundations of mathematics that is of relatively recent origin, Scott–Potter set theory is a collection of nested axiomatic set theories set out by the philosopher Michael Potter, building on earlier work by the mathematician… … Wikipedia
