User contributions
19 June 2009
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 1: size images to 500px
+18
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 1: convert graphics
-883
File:Cactus Graph Existential False.jpg
no edit summary
File:Cactus Graph Existential True.jpg
no edit summary
18 June 2009
Differential logic
cleanup
-8
Differential logic
Readings: uapdate
+30
Directory:Jon Awbrey/Papers/Dynamics And Logic
Note 26: convert graphics
-2,709
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Further Reading
+1
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 26: convert graphics
-2,415
File:Field Picture PQ Remainder Conjunction.jpg
no edit summary
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 26: cleanup
+2
User:Jon Awbrey/GRAPHICS
Series 2
+2
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 26: convert graphics
-2,140
User:Jon Awbrey/GRAPHICS
Series 2
User:Jon Awbrey/GRAPHICS
Series 2
File:Field Picture PQ Differential Conjunction.jpg
no edit summary
17 June 2009
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 26: markup
+596
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Further Reading
+21
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 26: markup
+284
User:Jon Awbrey/GRAPHICS
Differential Logic
+693
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 26: markup
+533
User:Jon Awbrey/GRAPHICS
Series 2
+649
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 26: markup
+203
Directory:Jon Awbrey/Papers/Dynamics And Logic
Note 25: convert graphics
-3,048
Directory:Jon Awbrey/Papers/Dynamics And Logic
Note 24: \texttt{} for logical ops
+164
Directory:Jon Awbrey/Papers/Dynamics And Logic
Note 22: \texttt{} for logical ops
+552
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 25: use \texttt{...} font for logical operators
+551
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 24: use \texttt{...} fornt for logical operators
+164
User:Jon Awbrey/GRAPHICS
JPEG Graphics: use \texttt{...} font for logical operators
+551
User:Jon Awbrey/GRAPHICS
Series 2
User:Jon Awbrey/GRAPHICS
Series 2: use \texttt{...} font for logical operators
+164
User:Jon Awbrey/GRAPHICS
ASCII Graphics
+36
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 22: use \texttt{...} for logical ops
+552
User:Jon Awbrey/GRAPHICS
Series 1: use \texttt{...} for logical ops
+315
User:Jon Awbrey/GRAPHICS
Series 1: use \texttt{...} font for logical ops
+236
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 25: convert graphics
-2,281
User:Jon Awbrey/GRAPHICS
JPEG Graphics
+676
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 25: markup + edit
+385
Directory:Jon Awbrey/Papers/Dynamics And Logic
Note 24: convert graphics
-3,747
Directory:Jon Awbrey/Papers/Dynamics And Logic
Note 23: markup
+104
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 25: convert graphics
-2,028
User:Jon Awbrey/GRAPHICS
JPEG Graphics
+2
User:Jon Awbrey/GRAPHICS
Differential Logic
+625
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 25: markup
+119
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 24: cleanup + clarify
+103
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 24: convert graphics
-2,546
File:Field Picture PQ Tacit Extension Conjunction.jpg
no edit summary
User:Jon Awbrey/GRAPHICS
Differential Logic
+610
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Note 24: convert graphics
-2,171
User:Jon Awbrey/GRAPHICS
Differential Logic
+190