검색어: constructive (포르투갈어 - 영어)

n.b: constructive = intuitionistic.
n.b: constructive = intuitionistic.

varieties of constructive mathematics, oxford, 1987.
"varieties of constructive mathematics", oxford, 1987.

"differential and integral: a constructive introduction to classical analysis.
he developed constructive logic, constructive type theory and constructive analysis.

É não exercício da definição do conflito, mas atividade da relação constructive.
it is not exercise of resolution of conflict, but activity of constructive relation.

the most constructive course is to stand on the sidelines and jeer at its pretensions.
the most constructive course is to stand on the sidelines and jeer at its pretensions.

*feferman, solomon (1979) constructive theories of functions and classes.
*feferman, solomon (1979) constructive theories of functions and classes.

* detlovs and podnieks, k., "constructive propositional logic — kripke semantics.
* detlovs and podnieks, k., "constructive propositional logic — kripke semantics.

==referências====ligações externas==* constructive mathematics (stanford encyclopedia of philosophy)
== see also ==* church's thesis (constructive mathematics)== references ==== external links ==* constructive mathematics (stanford encyclopedia of philosophy)

there is a broad line between constructive and destructive criticism and unfortunately, your remarks are not helping our image at all.
there is a broad line between constructive and destructive criticism and unfortunately, your remarks are not helping our image at all.

* michael j. beeson, "foundations of constructive mathematics: metamathematical studies", 1985.
* michael j. beeson, "foundations of constructive mathematics: metamathematical studies", 1985.

nós convidamos a reação às idéias que estão sendo apresentados, criticisms e sugestões constructive, ou, no fato, toda a resposta pensativa.
we invite reaction to the ideas being presented, constructive criticisms and suggestions, or, in fact, any thoughtful response.

such speculations were automatically premature and could not lead to anything constructive without an intermediate link which demanded the extension of 3-dimensional geometry to the inclusion of time.
such speculations were automatically premature and could not lead to anything constructive without an intermediate link which demanded the extension of 3-dimensional geometry to the inclusion of time.

* errett bishop and douglas bridges, constructive analysis, springer, 1985, isbn 0387150668* douglas bridges and fred richman.
*errett bishop and douglas bridges, "constructive analysis", springer, 1985, isbn 0-387-15066-8*douglas bridges and fred richman.

geometria sólida construtiva (ou constructive solid geometry, csg, em inglês) é uma das técnica para modelagem de sólidos por meio de operações boolianas.
constructive solid geometry (csg) (formerly called computational binary solid geometry) is a technique used in solid modeling.

se você sentir os povos estão sendo críticos sobre seu web site, você deve fazer exame de tais comentários como o criticism constructive, não como ataques pessoais, e certamente você não deve ter reagido a maneira que você.
if you feel people are being critical about your web site, you should take such comments as constructive criticism, not as personal attacks, and certainly you should not have reacted the way you did. 如果你觉得你对人挑剔网站,你应该采取建设性的批评意见,不是人身攻击,当然你不要这样你所反应.

errett bishop, em seu trabalho "foundations of constructive analysis" em 1967, se dedicou a dissipar esses medos através do desenvolvimento de uma grande quantidade de análises tradicionais em um enquadramento contrutivista.
errett bishop, in his 1967 work "foundations of constructive analysis", worked to dispel these fears by developing a great deal of traditional analysis in a constructive framework.

fizeram-no porque pensaram que, através do que eles designam por constructive engagement, que é a tradução asiática do que nós, em inglês, entendemos por « diálogo crítico », a birmânia teria de demonstrar que este diálogo fora efectivamente reforçado.
they accepted that country in the belief that by means of what they call " constructive engagement'-which turns out to be the english version of the asian translation of " critical dialogue'-they would demonstrate that dialogue really has been strengthened.