MyWikiBiz, Author Your Legacy — Friday October 04, 2024
Jump to navigationJump to search
150 bytes added
, 20:10, 10 March 2009
Line 1,151: |
Line 1,151: |
| ==Note 17== | | ==Note 17== |
| | | |
− | <pre>
| + | We have been conducting the differential analysis of the logical transformation <math>F : [u, v] \mapsto [u, v]</math> defined as <math>F : (u, v) \mapsto ( ~\texttt{((u)(v))}~, ~\texttt{((u, v))}~ ),</math> and this means starting with the extended transformation <math>\operatorname{E}F : [u, v, du, dv] \to [u, v, du, dv]</math> and breaking it into an analytic series, <math>\operatorname{E}F = F + \operatorname{d}F + \operatorname{d}^2 F + \ldots,</math> and |
− | We have been conducting the differential analysis | |
− | of the logical transformation F : [u, v] -> [u, v] | |
− | defined as F : <u, v> ~> <((u)(v)), ((u, v))>, and | |
− | this means starting with the extended transformation | |
− | EF : [u, v, du, dv] -> [u, v, du, dv] and breaking it
| |
− | into an analytic series, EF = F + dF + d^2.F + ..., and | |
| so on until there is nothing left to analyze any further. | | so on until there is nothing left to analyze any further. |
| | | |
| + | <pre> |
| As a general rule, one proceeds by way of the following stages: | | As a general rule, one proceeds by way of the following stages: |
| | | |