-
21 construction
1) сооружение, строительство3) конструкция4) матем. построение5) строение; сооружение6) структура•construction subsidized by public funds — строительство, финансируемое из общественных фондов
constructions on a stereogram — матем. построения на стереографической проекции
-
22 reduction
2) измельчение3) обжатие4) ослабление5) понижение; снижение; уменьшение; редуцирование6) преобразование; изменение7) приведение; упрощение8) метал. раскисление9) метал. коэффициент вытяжки10) сокращение; сужение11) скидка13) горн. процесс отделения металла о руды•reduction ad absurdum — мат. приведение к абсурду; сведение к противоречию ( метод доказательства теоремы)
reduction mod p — мат. редукция по модулю p
reduction per pass — метал. обжатие за проход
reduction to single-domain state — физ. монодоменизация
reduction to unity — мат. приведение к единице
-
23 strength
-
24 theory
1) теория; учение2) толкование; трактовка3) теоретическое объяснение; теоретические основы•- band theory of solids - corpuscular theory of light - general theory of relativity - strongly undecidable theory - wave theory of light - Yukawa meson theory -
25 be of the form of
normalized form — нормализованная форма; нормализованный вид
-
26 form
1. n форма; внешний вид; очертаниеnormalized form — нормализованная форма; нормализованный вид
analytic form — аналитическая форма; аналитическое выражение
2. n фигураwell-proportioned form — пропорциональное сложение, хорошая фигура
3. n обличьеProteus was able to appear in the form of any animal — Протей мог являться в обличье любого животного
4. n стать5. n форма, вид6. n вид, разновидность; тип7. n стиль, манераbad form — невоспитанность, вульгарность, плохие манеры
8. n состояние; форма; готовность9. n настроение, душевное состояние10. n формальность; проформа11. n церемония, порядок12. n установившаяся форма выражения; формулаconjuctive normal form — конъюктивная нормальная форма; КНФ
13. n класс14. n форма, бланк, образец; анкета15. n нора16. n грам. форма словаsnap-apart business form — «отрывная» конторская форма
17. n спец. форма исполнения18. n спец. модель, тип, образец; торговый сорт19. n спец. тех. форма для литья20. n спец. полигр. печатная форма21. n спец. стр. форма; опалубка22. n спец. выражение23. v придавать форму, вид24. v принимать форму, вид25. v составлять, образовывать; формировать26. v образовываться; формироваться27. v грам. образовывать28. v создавать, составлять; формулировать29. v возникать, оформляться30. v представлять собой; являтьсяchocolate forms a wholesome substitute for staple food — шоколад является полноценным заменителем основных продуктов питания
31. v тренировать, дисциплинировать; воспитывать; развивать32. v формировать, организовывать; образовывать, создавать33. v воен. строить34. v воен. строиться35. v спец. формовать36. v спец. сад. обрезать, подвергать обрезке; формировать кронузабираться, забиваться в нору
to form and display an intention — сформировать и обнаружить намерение, умысел
Синонимический ряд:1. appearance (noun) appearance; body; build; cast; configuration; conformation; cut; figure; format; framework; matrix; plan; shape; structure; style2. business form (noun) application; blank; business form; document; duplicate; paper; questionnaire; report3. ceremony (noun) ceremonial; ceremony; conformity; formality; liturgy; rite; ritual; rule4. convenance (noun) convenance; convention; usage5. formula (noun) approach; formula; method; mode; practice; procedure; system6. group (noun) assemblage; group; organisation; organization7. kind (noun) arrangement; kind; manner; sort; type8. model (noun) model; mold; mould; pattern9. order (noun) condition; fitness; order; trim10. acquire (verb) acquire; contract; develop11. arrange (verb) arrange; combine; dispose; order; organise; organize; systematise; systematize12. cast (verb) carve; cast; chisel; construct; contrive; design; devise; fashion; frame; mold; pattern13. make (verb) assemble; build; compose; comprise; constitute; create; erect; fabricate; forge; invent; make; make up; manufacture; originate; produce; put together; shape14. model (verb) model; mould; shape15. teach (verb) discipline; educate; instruct; rear; teach; trainАнтонимический ряд:damage; defacement; deform; deformity; demolish; derange; destroy; devastate; disarrange; disintegrate; dislocate; dismantle; dismember -
27 in columnar form
normalized form — нормализованная форма; нормализованный вид
- 1
- 2
См. также в других словарях:
Graph coloring — A proper vertex coloring of the Petersen graph with 3 colors, the minimum number possible. In graph theory, graph coloring is a special case of graph labeling; it is an assignment of labels traditionally called colors to elements of a graph… … Wikipedia
Graph theory — In mathematics and computer science, graph theory is the study of graphs : mathematical structures used to model pairwise relations between objects from a certain collection. A graph in this context refers to a collection of vertices or nodes and … Wikipedia
graph theory — Math. the branch of mathematics dealing with linear graphs. [1965 70] * * * Mathematical theory of networks. A graph consists of nodes (also called points or vertices) and edges (lines) connecting certain pairs of nodes. An edge that connects a… … Universalium
Graph factorization — Not to be confused with Factor graph. 1 factorization of Desargues graph: each color class is a 1 factor … Wikipedia
Proof calculus — In mathematical logic, a proof calculus corresponds to a family of formal systems that use a common style of formal inference for its inference rules. The specific inference rules of a member of such a family characterize the theory of a… … Wikipedia
De Bruijn–Erdős theorem (graph theory) — This article is about coloring infinite graphs. For the number of lines determined by a finite set of points, see De Bruijn–Erdős theorem (incidence geometry). In graph theory, the De Bruijn–Erdős theorem, proved by Nicolaas Govert de Bruijn and… … Wikipedia
Zero-knowledge proof — In cryptography, a zero knowledge proof or zero knowledge protocol is an interactive method for one party to prove to another that a (usually mathematical) statement is true, without revealing anything other than the veracity of the statement.A… … Wikipedia
Double counting (proof technique) — In combinatorics, double counting, also called counting in two ways, is a combinatorial proof technique for showing that two expressions are equal by demonstrating that they are two ways of counting the size of one set. In this technique, which… … Wikipedia
Kneser graph — infobox graph name = Kneser graph image caption = The Kneser graph KG 5,2, isomorphic to the Petersen graph namesake = Martin Kneser properties = arc transitiveIn graph theory, the Kneser graph KG {n,k} is the graph whose vertices correspond to… … Wikipedia
Interactive proof system — In computational complexity theory, an interactive proof system is an abstract machine that models computation as the exchange of messages between two parties. The parties, the verifier and the prover, interact by exchanging messages in order to… … Wikipedia
Claw-free graph — A claw In graph theory, an area of mathematics, a claw free graph is a graph that does not have a claw as an induced subgraph. A claw is another name for the complete bipartite graph K1,3 (that is, a star graph with three edges, three leaves, and … Wikipedia