12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 02, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Analytic Turing Automata (view source)
Revision as of 17:00, 9 March 2009
, 17:00, 9 March 2009→Note 12: \texttt
Line 596:
Line 596:
|-+| 1.2. || <math>x' ~=~ \underline{(}~ x ~\underline{)}</math>+|-+| 1.3. || <math>x ~:=~ \underline{(}~ x ~\underline{)}</math>+|-+| 1.4. || <math>dx ~=~ 1</math>+
{| align="center" cellpadding="8" width="90%"
{| align="center" cellpadding="8" width="90%"
−| 1.1. || <math>f : \mathbb{B} \to \mathbb{B}</math> such that <math>f : x \mapsto \underline{(}~ x ~\underline{)}</math>
+|
−<math>\begin{array}{ll}
−1.1. & f : \mathbb{B} \to \mathbb{B}\ \text{such that}\ f : \texttt{x} \mapsto \texttt{(x)}
−\\
−1.2. & \texttt{x}' ~=~ \texttt{(x)}
−\\
−1.3. & \texttt{x} ~:=~ \texttt{(x)}
+\\
+1.4. & \texttt{dx} ~=~ \texttt{1}
+\end{array}</math>
|}
|}
