12,122
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0 (view source)
Revision as of 03:20, 3 October 2013
, 03:20, 3 October 2013update
|
|
<math>\begin{matrix}
<math>\begin{matrix}
\underline{X}_i & = & \{ (\underline{x}_i), \underline{x}_i \}
\underline{X}_i & = & \{ \texttt{(} \underline{x}_i \texttt{)}, \underline{x}_i \}
\\
\\
& \cong & \mathbb{B}
& \cong & \mathbb{B}
|
|
<math>\begin{matrix}
<math>\begin{matrix}
A_i & = & \{ (a_i), a_i \}
A_i & = & \{ \texttt{(} a_i \texttt{)}, a_i \}
\\
\\
& \cong & \mathbb{B}
& \cong & \mathbb{B}