Changes

Directory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)

Revision as of 03:44, 21 June 2009

949 bytes removed , 03:44, 21 June 2009

→‎Note 4: convert graphics

Line 265: Line 265:

| [[Image:Cactus Graph Df = ((P,dP)(Q,dQ),PQ).jpg|500px]]

|-

−

|

+

| [[Image:Cactus Graph Df@PQ = ((dP)(dQ)).jpg|500px]]

−

~~<pre>~~

−

~~o-------------------------------------------------o~~

−

~~| |~~

−

~~| dp dq |~~

−

~~| o---o o---o |~~

−

~~| \ | | / |~~

−

~~| \ | | / |~~

−

~~| \| |/ |~~

−

~~| o=o-----------o |~~

−

~~| \ / |~~

−

~~| \ / |~~

−

~~| \ / |~~

−

~~| \ / |~~

−

~~| \ / |~~

−

~~| \ / |~~

−

| @ |

−

~~| |~~

−

~~o-------------------------------------------------o~~

−

~~| Df|pq~~ = ((dp) (dq)) |

−

~~o-------------------------------------------------o~~

−

~~</pre>~~

|-

|

Jon Awbrey

12,080

edits