Open main menu
Home
Random
Log in
Settings
About MyWikiBiz
Disclaimers
MyWikiBiz
Search
Changes
← Older edit
Newer edit →
Directory:Jon Awbrey/Papers/Cactus Language
(view source)
Revision as of 04:06, 29 May 2009
115 bytes added
,
04:06, 29 May 2009
→Note 5
:
markup
Line 3,669:
Line 3,669:
Introduce a suitably generic definition of the extended universe of discourse:
Introduce a suitably generic definition of the extended universe of discourse:
−
Let
<math>U = X_1 \times \ldots \times X_k
</math> and <math>
\
operatorname
{
E
}
U = U \times
\operatorname{
d
}U = X_1 \times \ldots \times X_k \times \operatorname{d}X_1 \times \ldots \times \operatorname{d}X_k.</math>
+
{| align="center" cellpadding="6" width="90%"
+
|
+
<math>
\begin{array}{ccclll}
+
\text{Let} &
U
+
&
=
&
+
X_1 \times \ldots \times X_k
.
+
\\[6pt]
+
\
text
{
Then
}
&
\operatorname{
E
}U
+
&
=
&
+
X_1 \times \ldots \times X_k
~
\times
~
\operatorname{d}X_1 \times \ldots \times \operatorname{d}X_k
+
& = &
+
U \times \operatorname{d}U
.
+
\end{array}
</math>
+
|}
<pre>
<pre>
Jon Awbrey
12,080
edits