Open main menu
Home
Random
Log in
Settings
About MyWikiBiz
Disclaimers
MyWikiBiz
Search
Changes
← Older edit
Newer edit →
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
(view source)
Revision as of 17:24, 21 June 2009
2,503 bytes removed
,
17:24, 21 June 2009
→Note 6
:
convert graphics
Line 452:
Line 452:
| [[Image:Cactus Graph Ef = (P,dP)(Q,dQ).jpg|500px]]
| [[Image:Cactus Graph Ef = (P,dP)(Q,dQ).jpg|500px]]
|-
|-
−
|
+
|
[[Image:Cactus Graph Ef
@
PQ
= (
dP
)(
dQ
)
.jpg
|
500px]]
−
<pre>
−
o-------------------------------------------------o
−
| |
−
| dp dq |
−
| o---o o---o |
−
| \ | | / |
−
| \ | | / |
−
| \| |/ |
−
| @=
@
|
−
| |
−
o-------------------------------------------------o
−
| Ef|pq
=
(
dp
) (
dq
)
|
−
o-------------------------------------------------o
−
</pre>
|-
|-
−
|
+
|
[[Image:Cactus Graph Ef
@
P
(
Q
) = (
dP
)
dQ.jpg
|
500px]]
−
<pre>
−
o-------------------------------------------------o
−
| |
−
| o |
−
| dp | dq |
−
| o---o o---o |
−
| \ | | / |
−
| \ | | / |
−
| \| |/ |
−
|
@
=@ |
−
| |
−
o-------------------------------------------------o
−
| Ef|p
(
q
) =
(
dp
)
dq
|
−
o-------------------------------------------------o
−
</pre>
|-
|-
−
|
+
|
[[Image:Cactus Graph Ef
@(
P
)
Q
=
dP
(
dQ
)
.jpg
|
500px]]
−
<pre>
−
o-------------------------------------------------o
−
| |
−
| o |
−
| | dp dq |
−
| o---o o---o |
−
| \ | | / |
−
| \ | | / |
−
| \| |/ |
−
|
@
=@ |
−
| |
−
o-------------------------------------------------o
−
| Ef|
(
p
)
q
=
dp
(
dq
)
|
−
o-------------------------------------------------o
−
</pre>
|-
|-
−
|
+
|
[[Image:Cactus Graph Ef
@(
P
)(
Q
) =
dP dQ.jpg
|
500px]]
−
<pre>
−
o-------------------------------------------------o
−
| |
−
| o o |
−
| | dp | dq |
−
| o---o o---o |
−
| \ | | / |
−
| \ | | / |
−
| \| |/ |
−
| @=
@
|
−
| |
−
o-------------------------------------------------o
−
| Ef|
(
p
)(
q
) =
dp dq
|
−
o-------------------------------------------------o
−
</pre>
|}
|}
Jon Awbrey
12,080
edits