12,080
edits
Changes
Directory 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
| <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>
|-
|-
{‹<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>
| <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>