-
1 theorem-proving process
Большой англо-русский и русско-английский словарь > theorem-proving process
-
2 theorem-proving process
Математика: процесс доказательства теоремыУниверсальный англо-русский словарь > theorem-proving process
-
3 theorem-proving process
English-Russian scientific dictionary > theorem-proving process
-
4 process
1) процесс2) процедура3) технологический процесс || технологический4) приём, способ5) обрабатывать; перерабатывать•process with independent increments — процесс с независимыми приращениями, аддитивный процесс
process with nonstationary increments — процесс с нестационарными приращениями, неоднородный во времени процесс
process with stationary and independent increments — процесс со стационарными и независимыми приращениями, однородный процесс
- absorbing barrier process - basic oxygen process - direct reduction process - discrete process - discrete-time process - linearly singular process - locally integrable process - locally stable process - multistep process - multivariate process - N-dimensional process - partially mixing process - process of hidden periodicities - steady stochastic process - temporally homogeneous process - weakly ergodic process - weakly stationary processprocess with stationary increments — процесс со стационарными приращениями, однородный во времени процесс
-
5 процесс доказательства теоремы
Русско-английский научно-технический словарь Масловского > процесс доказательства теоремы
-
6 процесс доказательства теоремы
Большой англо-русский и русско-английский словарь > процесс доказательства теоремы
-
7 процесс доказательства теоремы
Mathematics: theorem-proving processУниверсальный русско-английский словарь > процесс доказательства теоремы
-
8 demostración
f.1 demonstration, proof.2 display, show, demonstration, demo.3 public demonstration, mutiny, subversive assembly of demonstrators.4 illustration, explanation, demonstration.* * *1 (gen) demonstration2 (manifestación) show, display3 MATEMÁTICAS proof* * *noun f.2) show, display* * *SF1) (=comprobación) [de ejemplo, producto] demonstration; [de teorema, teoría] proofdemostración comercial — commercial exhibition, trade exhibition
2) (=manifestación externa) [de cariño, fuerza] show; [de amistad] gesture; [de cólera] display* * *a) ( de teorema) proofb) (de poder, aptitudes) demonstrationgrandes demostraciones de cariño — a great show o display of affection
c) (de producto, método) demonstration* * *= demonstration, manifestation, substantiation, tangible evidence, demo, reassurance, showroom demonstration, visual explanation.Ex. Steinhagen conducted database searching demonstrations for information professionals and set the wheels in motion for the establishment of the country's first demonstration center of compact disc databases.Ex. The concepts introduced by the colon: (colon) may be manifestations of either Personality, Matter or Energy facets within a given compound.Ex. Written substantiation of this belief, from a wide variety of points of view, has become plentiful in the 1970s.Ex. The chairwoman of the board had decided that as part of the screening process those who had successfully survived the initial winnowing should furnish the board with tangible evidence of how they might perform on a specific assignment.Ex. Shareware, public domain software, and demos can legally be copied and distributed.Ex. Such reassurance becomes particularly important if the inquirer has not sampled the file, either in a printed format or in browsing online.Ex. While this may not be precisely the same application, it will still be a `real' situation, handling `real' data, and it will give a more accurate picture than a simple showroom demonstration.Ex. Perhaps the most famous and certainly one of the oldest visual explanations in mathematics is the visual proof of the Pythagorean theorem.----* CD-ROM de demostración = CD sampler.* demostración del hecho de que = evidence of the fact that.* demostración de programa = software demo.* demostración de software = software demo.* demostración de teoremas = theorem proving.* demostración técnica = technical presentation.* disco de demostración = demonstration disc.* hacer una demostración = give + demonstration.* perfecta demostración = object lesson.* * *a) ( de teorema) proofb) (de poder, aptitudes) demonstrationgrandes demostraciones de cariño — a great show o display of affection
c) (de producto, método) demonstration* * *= demonstration, manifestation, substantiation, tangible evidence, demo, reassurance, showroom demonstration, visual explanation.Ex: Steinhagen conducted database searching demonstrations for information professionals and set the wheels in motion for the establishment of the country's first demonstration center of compact disc databases.
Ex: The concepts introduced by the colon: (colon) may be manifestations of either Personality, Matter or Energy facets within a given compound.Ex: Written substantiation of this belief, from a wide variety of points of view, has become plentiful in the 1970s.Ex: The chairwoman of the board had decided that as part of the screening process those who had successfully survived the initial winnowing should furnish the board with tangible evidence of how they might perform on a specific assignment.Ex: Shareware, public domain software, and demos can legally be copied and distributed.Ex: Such reassurance becomes particularly important if the inquirer has not sampled the file, either in a printed format or in browsing online.Ex: While this may not be precisely the same application, it will still be a `real' situation, handling `real' data, and it will give a more accurate picture than a simple showroom demonstration.Ex: Perhaps the most famous and certainly one of the oldest visual explanations in mathematics is the visual proof of the Pythagorean theorem.* CD-ROM de demostración = CD sampler.* demostración del hecho de que = evidence of the fact that.* demostración de programa = software demo.* demostración de software = software demo.* demostración de teoremas = theorem proving.* demostración técnica = technical presentation.* disco de demostración = demonstration disc.* hacer una demostración = give + demonstration.* perfecta demostración = object lesson.* * *1 (de un teorema) proof2 (de poder, aptitudes) demonstrationlo recibieron con grandes demostraciones de cariño they welcomed him with a great show o display of affectionhicieron una demostración de sus habilidades artísticas they demonstrated their artistic ability3 (de un producto, método) demonstration* * *
demostración sustantivo femenino
demonstration;
( de teorema) proof
demostración sustantivo femenino
1 demonstration
una demostración de fuerza/afecto, a show of strength/ affection
2 (de una teoría) proof
' demostración' also found in these entries:
Spanish:
despliegue
- exhibición
- muestra
- prueba
English:
demo
- demonstration
- impartiality
- managerial
- show
- demonstrate
- display
* * *demostración nf1. [muestra] demonstration;una demostración de cariño a demonstration of affection2. [exhibición] display;la policía hizo una demostración de fuerza ante los manifestantes the police made a show of force in front of the demonstrators3. [del funcionamiento] demonstration;hacer una demostración [de cómo funciona algo] to demonstrate, to give a demonstration;me hizo una demostración de cómo preparar una paella he showed me how to make a paella4. [matemática] proof* * *f1 proof2 de método demonstration* * ** * *1. (enseñanza) demonstration2. (muestra) show / display
См. также в других словарях:
Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… … Wikipedia
Software development process — Activities and steps Requirements Specification … Wikipedia
Deduction theorem — In mathematical logic, the deduction theorem is a metatheorem of first order logic.[1] It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then proving B from this assumption.… … Wikipedia
Prime number theorem — PNT redirects here. For other uses, see PNT (disambiguation). In number theory, the prime number theorem (PNT) describes the asymptotic distribution of the prime numbers. The prime number theorem gives a general description of how the primes are… … Wikipedia
Pentagonal number theorem — In mathematics, the pentagonal number theorem, originally due to Euler, relates the product and series representations of the Euler function. It states that:prod {n=1}^infty (1 x^n)=sum {k= infty}^infty( 1)^kx^{k(3k 1)/2}.In other words, :(1 x)(1 … Wikipedia
König's theorem (graph theory) — In the mathematical area of graph theory, König s theorem describes an equivalence between the maximum matching problem and the minimum vertex cover problem in bipartite graphs. Setting A graph is bipartite if its vertices can be partitioned into … Wikipedia
Clausius theorem — Thermodynamics … Wikipedia
Stallings theorem about ends of groups — In the mathematical subject of group theory, the Stallings theorem about ends of groups states that a finitely generated group G has more than one end if and only if the group G admits a nontrivial decomposition as an amalgamated free product or… … Wikipedia
Condorcet's jury theorem — is a political science theorem about the relative probability of a given group of individuals arriving at a correct decision. The theorem was first expressed by the Marquis de Condorcet in his 1785 work Essay on the Application of Analysis to the … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Discrete mathematics — For the mathematics journal, see Discrete Mathematics (journal). Graphs like this are among the objects studied by discrete mathematics, for their interesting mathematical properties, their usefulness as models of real world problems, and their… … Wikipedia