12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems (view source)
Revision as of 17:24, 19 June 2007
, 17:24, 19 June 2007→Transformations of Type '''B'''<sup>2</sup> → '''B'''<sup>2</sup>: adjust spacing
|
|
{| align="left" border="0" cellpadding="1" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
{| align="left" border="0" cellpadding="1" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
|
|-
| D''f''
| D''f''
| = || ''uv'' || <math>\cdot</math> || d''u'' d''v''
| = || ''uv'' || <math>\cdot</math> || d''u'' d''v''
| + || (''u'')''v'' || <math>\cdot</math> || (d''u'', d''v'')
| + || (''u'')''v'' || <math>\cdot</math> || (d''u'', d''v'')
| + || (''u'')(''v'') || <math>\cdot</math> || (d''u'', d''v'')
| + || (''u'')(''v'') || <math>\cdot</math> || (d''u'', d''v'')
|-
|
|}
|}
|}
|}