Difference between revisions of "User:Jon Awbrey/GRAPHICS"
MyWikiBiz, Author Your Legacy — Wednesday December 25, 2024
Jump to navigationJump to searchJon Awbrey (talk | contribs) |
Jon Awbrey (talk | contribs) |
||
| Line 3: | Line 3: | ||
===ASCII Graphics=== | ===ASCII Graphics=== | ||
| − | {| align="center" cellspacing="10" style="text-align:center" | + | {| align="center" cellspacing="10" style="text-align:center; width:90%" |
| | | | ||
<pre> | <pre> | ||
| Line 33: | Line 33: | ||
|} | |} | ||
| − | {| align="center" cellspacing="10" style="text-align:center" | + | {| align="center" cellspacing="10" style="text-align:center; width:90%" |
| | | | ||
<pre> | <pre> | ||
| Line 77: | Line 77: | ||
|} | |} | ||
| − | {| align="center" cellspacing="10" style="text-align:center" | + | {| align="center" cellspacing="10" style="text-align:center; width:90%" |
| | | | ||
<pre> | <pre> | ||
Revision as of 16:52, 16 June 2009
Differential Logic
ASCII Graphics
o-------------------------------------------------o | | | | | o-------------o o-------------o | | / \ / \ | | / o \ | | / /%\ \ | | / /%%%\ \ | | o o%%%%%o o | | | |%%%%%| | | | | P |%%%%%| Q | | | | |%%%%%| | | | o o%%%%%o o | | \ \%%%/ / | | \ \%/ / | | \ o / | | \ / \ / | | o-------------o o-------------o | | | | | o-------------------------------------------------o | f = p q | o-------------------------------------------------o Figure 22-a. Conjunction pq : X -> B |
o-------------------------------------------------o | | | | | o-------------o o-------------o | | / \ / \ | | / P o Q \ | | / /%\ \ | | / /%%%\ \ | | o o.->-.o o | | | p(q)(dp)dq |%\%/%| (p)q dp(dq) | | | | o---------------|->o<-|---------------o | | | | |%%^%%| | | | o o%%|%%o o | | \ \%|%/ / | | \ \|/ / | | \ o / | | \ /|\ / | | o-------------o | o-------------o | | | | | | | | | | | o | | (p)(q) dp dq | | | o-------------------------------------------------o | f = p q | o-------------------------------------------------o | | | Ef = p q (dp)(dq) | | | | + p (q) (dp) dq | | | | + (p) q dp (dq) | | | | + (p)(q) dp dq | | | o-------------------------------------------------o Figure 22-b. Enlargement E[pq] : EX -> B |
o-------------------------------------------------o | | | | | o-------------o o-------------o | | / \ / \ | | / P o Q \ | | / /%\ \ | | / /%%%\ \ | | o o%%%%%o o | | | (dp)dq |%%%%%| dp(dq) | | | | o<--------------|->o<-|-------------->o | | | | |%%^%%| | | | o o%%|%%o o | | \ \%|%/ / | | \ \|/ / | | \ o / | | \ /|\ / | | o-------------o | o-------------o | | | | | | | | v | | o | | dp dq | | | o-------------------------------------------------o | f = p q | o-------------------------------------------------o | | | Df = p q ((dp)(dq)) | | | | + p (q) (dp) dq | | | | + (p) q dp (dq) | | | | + (p)(q) dp dq | | | o-------------------------------------------------o Figure 22-c. Difference D[pq] : EX -> B |
JPEG Graphics
|
| \(\text{Figure 22-a. Conjunction}~ pq : X \to \mathbb{B}\) |
|
| \(\text{Figure 22-b. Enlargement}~ \operatorname{E}(pq) : \operatorname{E}X \to \mathbb{B}\) |
|
\(\begin{array}{rcccccc} \operatorname{E}(pq) & = & p & \cdot & q & \cdot & (\operatorname{d}p)(\operatorname{d}q) \\[4pt] & + & p & \cdot & (q) & \cdot & (\operatorname{d}p)~\operatorname{d}q~ \\[4pt] & + & (p) & \cdot & q & \cdot & ~\operatorname{d}p~(\operatorname{d}q) \\[4pt] & + & (p) & \cdot & (q) & \cdot & ~\operatorname{d}p~~\operatorname{d}q~\end{array}\) |
