Open main menu
Home
Random
Log in
Settings
About MyWikiBiz
Disclaimers
MyWikiBiz
Search
Changes
← Older edit
Newer edit →
Directory:Jon Awbrey/Papers/Cactus Language
(view source)
Revision as of 19:32, 27 May 2009
265 bytes added
,
19:32, 27 May 2009
→Differential Logic
:
markup
Line 3,212:
Line 3,212:
====Note 2====
====Note 2====
−
<pre>
+
We have just met with the fact that the differential of the
'''''
and
'''''
is the
'''''
or
'''''
of the differentials.
−
We have just met with the fact that
−
the differential of the
"
and
"
is
−
the
"
or
"
of the differentials.
−
x and y
--
Diff
-->
dx or dy
.
+
{| align="center" cellpadding="6" style="text-align:center" width="90%"
+
| <math>
x
~\operatorname{
and
}~
y
\quad \xrightarrow{~\operatorname{
Diff
}~} \quad
dx
~\operatorname{
or
}~
dy
</math>
+
|}
+
{| align="center" cellpadding="6" style="text-align:center" width="90%"
+
|
+
<pre>
o---------------------------------------o
o---------------------------------------o
| |
| |
Line 3,231:
Line 3,233:
| x y --Diff--> ((dx)(dy)) |
| x y --Diff--> ((dx)(dy)) |
o---------------------------------------o
o---------------------------------------o
+
</pre>
+
|}
+
<pre>
It will be necessary to develop a more refined analysis of
It will be necessary to develop a more refined analysis of
this statement directly, but that is roughly the nub of it.
this statement directly, but that is roughly the nub of it.
Jon Awbrey
12,080
edits