-
1 elegant proof
Макаров: красивое доказательство -
2 elegant proof
Англо-русский словарь по исследованиям и ноу-хау > elegant proof
-
3 elegant
1. [ʹelıgənt] n ирон.щёголь, денди, модник2. [ʹelıgənt] a1. элегантный, изящныйto be elegant in dress - элегантно /со вкусом/ одеваться
2. утончённый, изысканныйa style elegant but not ostentatious - утончённый, но не вычурный стиль
to be elegant in taste [manner] - отличаться утончённым вкусом [-ыми манерами]
3. отточенный, ясный, простой (о формулировке, научном определении и т. п.)elegant proof /demonstration/ - красивое доказательство
4. амер. разг. отличный, первоклассный♢
elegant arts - изящные искусства -
4 elegant
1. n ирон. щёголь, денди, модник2. a элегантный, изящный3. a утончённый, изысканныйa style elegant but not ostentatious — утончённый, но не вычурный стиль
4. a отточенный, ясный, простой5. a амер. разг. отличный, первоклассныйСинонимический ряд:1. choice (adj.) choice; dainty; delicate; exquisite; fine; graceful; rare; recherche; select; superior2. debonair (adj.) debonair; sophisticated; suave; urbane3. ornate (adj.) embellished; fancy; florid; ornamented; ornate; rhetorical; stylized4. refined (adj.) artistic; charming; courtly; cultivated; finished; gentle; gracious; luxurious; refined; sumptuousАнтонимический ряд:coarse; common; crude; deformed; disgraceful; distasteful; gauche; inelegant; inferior; plain; rough; rude; rustic; simple -
5 elegant
ˈelɪɡənt (ироничное) щеголь, денди, модник элегантный, изящный - * room со вкусом обставленная комната - to be * in dress элегантно /со вкусом/ одеваться утонченный, изысканный - a style * but not ostentatious утонченный, но не вычурный стиль - to be * in taste отличаться утонченным вкусом отточенный, ясный, простой( о формулировке, научном определении и т. п.) - * proof /demonstration/ красивое доказательство (американизм) (разговорное) отличный, первоклассный > * arts изящные искусства elegant изящный, элегантный, изысканный ~ амер. разг. прекрасный;
лучший;
первоклассный ~ разг. человек с претензиями на элегантность;
щеголь -
6 correctness proof
English-Russian dictionary of Information technology > correctness proof
См. также в других словарях:
Proof by exhaustion — Proof by exhaustion, also known as proof by cases, perfect induction, or the brute force method, is a method of mathematical proof in which the statement to be proved is split into a finite number of cases, and each case is proved separately. A… … Wikipedia
Proof without words — In mathematics, a proof without words is a proof of an identity or mathematical statement which can be demonstrated as self evident by a diagram without any accompanying explanatory text. Such proofs can be considered more elegant than more… … Wikipedia
Mathematical proof — In mathematics, a proof is a convincing demonstration (within the accepted standards of the field) that some mathematical statement is necessarily true.[1][2] Proofs are obtained from deductive reasoning, rather than from inductive or empirical… … Wikipedia
Cantor's first uncountability proof — Georg Cantor s first uncountability proof demonstrates that the set of all real numbers is uncountable. Cantor formulated the proof in December 1873 and published it in 1874 in Crelle s Journal [cite… … Wikipedia
Elegance — Elegant redirects here. For the American novelist, see Robert Elegant. Elegance of the Epoque by Frédéric Soulacroix … Wikipedia
Mathematical beauty — An example of beauty in method a simple and elegant geometrical proof that the Pythagorean theorem is true for a particular right angled triangle. Many mathematicians derive aesthetic pleasure from their work, and from mathematics in general.… … Wikipedia
Mathematics — Maths and Math redirect here. For other uses see Mathematics (disambiguation) and Math (disambiguation). Euclid, Greek mathematician, 3r … Wikipedia
Philosophy of mathematics — The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of … Wikipedia
Circle packing theorem — Example of the circle packing theorem on K5, the complete graph on five vertices, minus one edge. The circle packing theorem (also known as the Koebe–Andreev–Thurston theorem) describes the possible tangency relations between circles in the plane … Wikipedia
Peter Orno — Peter Ørno Born 1974 Columbus, Ohio Residence Columbus, Ohio Citizenship … 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