Results for calculus translation from Portuguese to English

caseolus calculus
caseolus calculus

"calculus of fuzzy restrictions".
"calculus of fuzzy restrictions".

"the differential and integral calculus".
"the differential and integral calculus".

co-developer of the superposition calculus.
co-developer of the superposition calculus.

actions and other events in situation calculus.
"actions and other events in situation calculus".

"formal logic or the calculus of inference".
"formal logic or the calculus of inference".

it features a hoare calculus for a simple while language.
it features a hoare calculus for a simple while language.

* vector/matrix calculus more notes on matrix differentiation.
* vector/matrix calculus more notes on matrix differentiation.

*keisler, "elementary calculus: an approach using infinitesimals".
* keisler, "elementary calculus: an approach using infinitesimals".

* notes on matrix calculus, paul l. fackler, north carolina state university.
* notes on matrix calculus, paul l. fackler, north carolina state university.

==links externos==* language as calculus "versus" language as universal medium
==external links==* language as calculus "versus" language as universal medium

* h. schwichtenberg: functions definable in the simply-typed lambda calculus, arch.
* h. schwichtenberg: functions definable in the simply-typed lambda calculus, arch.

"calculus of a single variable: early transcendental functions" (3rd edition).
"calculus of a single variable: early transcendental functions" (3rd edition).

*dirk j. struik, "j a schouten and the tensor calculus," "nieuw arch.
* dirk j. struik, "j a schouten and the tensor calculus," "nieuw arch.

como uma máquina de computar, o "calculus ratiocinator" ideal iria executar cálculos integrais e diferenciais de leibniz.
as a computing machine, the ideal "calculus ratiocinator" would perform leibniz's integral and differential calculus.

* em ciência da computação, cálculo lambda (λ-calculus) é um modelo matemático para definição de funções.
* lambda is a unit of volume, synonymous with one microliter (1 μl), that is, one cubic millimetre (1 mm3).

"the stones of venice, time and remembrance: calculus and proust in "across the river and into the trees"".
"the stones of venice, time and remembrance: calculus and proust in "across the river and into the trees"".

o ponto de vista analítico entende que o "calculus ratiocinator" é um motor de inferência formal ou um programa de computador o qual pode ser projetado para garantir prioridade para cálculos.
the analytic point of view understands that the "calculus ratiocinator" is a formal inference engine or computer program which can be designed so as to grant primacy to calculations.

o calculus ratiocinator é um modelo lógico teórico universal para cálculo, um conceito contido nos escritos de leibniz, normalmente emparelhado com conceito mais frequentemente mencionado, characteristica universalis, uma linguagem universal conceitual.
the calculus ratiocinator is a theoretical universal logical calculation framework, a concept described in the writings of gottfried leibniz, usually paired with his more frequently mentioned "characteristica universalis", a universal conceptual language.

* harald ganzinger, co-developer of the superposition calculus, head of the mpi saarbrücken, recipient of the herbrand award 2004 (posthumous).
* harald ganzinger, co-developer of the superposition calculus, head of the mpi saarbrücken, recipient of the herbrand award 2004 (posthumous).