Terms and text shown below represent Camilla’s contributions to TermWiki.com, a free terminology website and knowledge resource for the translation community.
A (logical) language is said to be decidable if and only if all of its theorems (or logical truths) can be shown to be true through a finite mechanical procedure. Propositional logic is decidable; predicate logic is not.
Uma linguagem (lógica) é dito ser decidível se e somente se todos os seus teoremas (ou verdades lógicas) podem ser demonstrados serem verdade por meio de um procedimento mecânico finito. A lógica proposicional é decidível; a lógica de predicados não ...
The part of the body between the chest and pelvis.
A parte do corpo entre o peito e pélvis.
A sign that does not represent, but naturalizes a historical and cultural concept.
Um signo que não representa, mas naturaliza um conceito histórico e cultural.
The view that psychology should, or must, confine itself to describing observable physical behavior. Analytic behaviorism expresses this view as a view about the meaning of psychological words (i.e. That all such words can, and are implicitly, definable in ...
A visão de que a Psicologia deve, ou deveria, limitar-se a descrever o comportamento físico observável. O behaviorismo analítico expressa este ponto de vista como uma visão sobre o significado dos termos psicológicos (ou seja, que todos esses termos podem, e ...
A highly fat walnut that is better used with other foods than out-of-hand. Used in cakes, confections, and ice cream.
É uma noz altamente gordurosa que é melhor utilizada com outros alimentos do que pura. Usado em bolos, doces e sorvete.
A sentence, proposition, thought or judgment is a priori (literally “before”) if its truth is not dependent on how our actual experience (experiment and observation) happens to turn out. Many have thought that the truths of logic and mathematics are a priori, ...
Uma sentença, proposição, pensamento ou julgamento é a priori (literalmente "anterior") se sua verdade independe do modo como ocorre nossa experiência atual (experimentação e observação).' Muitos pensaram que as verdades da Lógica e da Matemática são a ...
A hybrid variety of blackberry with a dark red color and a sweet juicy flesh.
Uma variedade híbrida de amora com uma cor vermelho escuro e uma carne suculenta doce.
1. Induced abortion is a procedure done to end pregnancy. 2. Spontaneous abortion is a naturally occurring abortion (also called miscarriage). 3. Therapeutic abortion is an induced abortion required to save the life or health of the mother.
1. O aborto induzido é um procedimento feito para interromper a gravidez. 2. O aborto espontâneo é um aborto que ocorre naturalmente. 3. O aborto terapêutico é um aborto induzido necessário para salvar a vida ou a saúde da mãe.
To feel with the fingers.
Sentir com os dedos.
The word Pagoda came into English from Portuguese and may derive from the Persian butkada=temple for idols (a stupa). It is now used for a sacred Chinese or Indian building, or an imitation of such a building in a garden.
A palavra pagode vem do inglês para o português e pode ter origem no termo persa butkada=templo para ídolos (uma estupa). Hoje o termo é usado para se referir a um edifício sagrado chinês ou indiano, ou uma imitação de tal edifício em um jardim.