12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 09, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 21:29, 17 June 2009
, 21:29, 17 June 2009→Note 26: markup
Line 4,278:
Line 4,278:
<pre>
r[pq]+ + =+ + p q . dp dq+ + ++ + p (q) . dp dq+ + ++ + (p) q . dp dq+ + ++ + (p)(q) . dp dq
−* DLOG D. http://stderr.org/pipermail/inquiry/2003-June/thread.html#553
−* DLOG D. http://stderr.org/pipermail/inquiry/2003-June/thread.html#571
|}
|}
−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.
Line 4,305:
Line 4,302:
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==
