Обучается переводу с помощью примеров, переведенных людьми.
Добавлены профессиональными переводчиками и компаниями и на основе веб-страниц и открытых баз переводов.
n.b: constructive = intuitionistic.
n.b: constructive = intuitionistic.
Последнее обновление: 2016-03-03
Частота использования: 1
Качество:
varieties of constructive mathematics, oxford, 1987.
"varieties of constructive mathematics", oxford, 1987.
Последнее обновление: 2016-03-03
Частота использования: 1
Качество:
Предупреждение: Содержит скрытое HTML-форматирование
"differential and integral: a constructive introduction to classical analysis.
he developed constructive logic, constructive type theory and constructive analysis.
Последнее обновление: 2016-03-03
Частота использования: 1
Качество:
Предупреждение: Содержит скрытое HTML-форматирование
É 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.
Последнее обновление: 2018-02-13
Частота использования: 1
Качество:
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.
Последнее обновление: 2016-03-03
Частота использования: 1
Качество:
*feferman, solomon (1979) constructive theories of functions and classes.
*feferman, solomon (1979) constructive theories of functions and classes.
Последнее обновление: 2016-03-03
Частота использования: 1
Качество:
* detlovs and podnieks, k., "constructive propositional logic — kripke semantics.
* detlovs and podnieks, k., "constructive propositional logic — kripke semantics.
Последнее обновление: 2016-03-03
Частота использования: 1
Качество:
Предупреждение: Содержит скрытое HTML-форматирование
==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)
Последнее обновление: 2016-03-03
Частота использования: 1
Качество:
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.
Последнее обновление: 2016-02-24
Частота использования: 1
Качество:
* michael j. beeson, "foundations of constructive mathematics: metamathematical studies", 1985.
* michael j. beeson, "foundations of constructive mathematics: metamathematical studies", 1985.
Последнее обновление: 2016-03-03
Частота использования: 1
Качество:
Предупреждение: Содержит скрытое HTML-форматирование
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.
Последнее обновление: 2018-02-13
Частота использования: 1
Качество:
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.
Последнее обновление: 2016-03-03
Частота использования: 1
Качество:
* 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.
Последнее обновление: 2016-03-03
Частота использования: 1
Качество:
Предупреждение: Содержит скрытое HTML-форматирование
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.
Последнее обновление: 2016-03-03
Частота использования: 1
Качество:
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. 如果你觉得你对人挑剔网站,你应该采取建设性的批评意见,不是人身攻击,当然你不要这样你所反应.
Последнее обновление: 2018-02-13
Частота использования: 1
Качество:
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.
Последнее обновление: 2016-03-03
Частота использования: 1
Качество:
Предупреждение: Содержит скрытое HTML-форматирование
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.
Последнее обновление: 2008-03-04
Частота использования: 1
Качество:
Предупреждение: Содержит скрытое HTML-форматирование