12,122
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 21:29, 17 June 2009
, 21:29, 17 June 2009→Note 26: markup
|}
|}
Reading the arrows off the map produces the following data:
Reading the arrows off the map produces the following data:
<pre>
{| align="center" cellspacing="10" style="text-align:center"
|
<math>\begin{array}{rcccccc}
\operatorname{r}(pq)
& = & p & \cdot & q & \cdot &
\operatorname{d}p ~ \operatorname{d}q
\\[4pt]
& + & p & \cdot & \texttt{(} q \texttt{)} & \cdot &
\operatorname{d}p ~ \operatorname{d}q
\\[4pt]
& + & \texttt{(} p \texttt{)} & \cdot & q & \cdot &
\operatorname{d}p ~ \operatorname{d}q
\\[4pt]
& + & \texttt{(} p \texttt{)} & \cdot & \texttt{(}q \texttt{)} & \cdot &
\operatorname{d}p ~ \operatorname{d}q
\end{array}</math>
|}
</pre>
In short, <math>\operatorname{r}(pq)</math> is a constant field, having the value <math>\operatorname{d}p~\operatorname{d}q</math> at each cell.
In short, <math>\operatorname{r}(pq)</math> is a constant field, having the value <math>\operatorname{d}p~\operatorname{d}q</math> at each cell.
A more detailed presentation of Differential Logic can be found here:
A more detailed presentation of Differential Logic can be found here:
* DLOG D. http://stderr.org/pipermail/inquiry/2003-May/thread.html#478
* [[Directory:Jon_Awbrey/Papers/Differential_Logic_and_Dynamic_Systems_2.0|Differential Logic and Dynamic Systems]]
==Document History==
==Document History==