12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday April 06, 2025
Jump to navigationJump to searchDirectory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 22:32, 17 May 2008
, 22:32, 17 May 2008→Work Area: HTML --> TeX
Line 1,407:
Line 1,407:
∏<sub>''i''</sub> ''A''<sub>''i''</sub>+
| <math>\{ a_1, \ldots, a_n \}</math>
| <math>\{ a_1, \ldots, a_n \}</math>
| Alphabet
| Alphabet
−| [''n''] = '''n'''
+| <math>[n] = \mathbf{n}</math>
|-
|-
| <math>A_i\!</math>
| <math>A_i\!</math>
| <math>\{ (a_i), a_i \}\!</math>
| <math>\{ (a_i), a_i \}\!</math>
−| Dimension ''i''
+| Dimension <math>i\!</math>
| <math>\mathbb{B}</math>
| <math>\mathbb{B}</math>
|-
|-
Line 1,420:
Line 1,420:
{‹<math>a_1, \ldots, a_n</math>›}<br>
{‹<math>a_1, \ldots, a_n</math>›}<br>
<math>A_1 \times \ldots \times A_n</math><br>
<math>A_1 \times \ldots \times A_n</math><br>
−<math>\prod_i A_i\!</math>
|
|
Set of cells,<br>
Set of cells,<br>
Line 1,429:
Line 1,429:
| <math>\mathbb{B}^n</math>
| <math>\mathbb{B}^n</math>
|-
|-
−| ''A''*
+| <math>A^*\!</math>
−| (hom : ''A'' → '''B''')
+| <math>(\operatorname{hom} : A \to \mathbb{B})</math>
| Linear functions
| Linear functions
−| ('''B'''<sup>''n''</sup>)* = '''B'''<sup>''n''</sup>
+| <math>(\mathbb{B}^n)^* \cong \mathbb{B}^n</math>
|-
|-
−| ''A''^
+| <math>A\!\uparrow</math>
−| (''A'' → '''B''')
+| <math>(A \to \mathbb{B})</math>
| Boolean functions
| Boolean functions
| <math>\mathbb{B}^n \to \mathbb{B}</math>
| <math>\mathbb{B}^n \to \mathbb{B}</math>
|-
|-
−| ''A''<sup>•</sup>
+| <math>A^\circ</math>
|
|
<math>[ \mathcal{A} ]</math><br>
<math>[ \mathcal{A} ]</math><br>
