Search results

• User:Jon Awbrey/FONTS
  <math>X^\circ = [\mathcal{X}] = [x_1, x_2] = [u, v]</math>
  1 KB (167 words) - 03:42, 22 November 2010
• User:Jon Awbrey/SANDBOX
  | style="border-right:1px solid black" | <math>L \circ M</math> | style="border-right:1px solid black" | <math>G \circ L</math>
  21 KB (2,298 words) - 13:50, 24 April 2009
• User:Jon Awbrey/SEQUENCES
  n \circ m & \text{because} & (\circ~ 1)^1
  103 KB (10,321 words) - 18:48, 31 January 2010
• Logical NAND
  ...of <math>p ~\operatorname{NAND}~ q,</math> also written <math>p \stackrel{\circ}{\curlywedge} q\!</math> or <math>p \barwedge q,\!</math> appears below: | style="width:33%" | <math>p \stackrel{\circ}{\curlywedge} q\!</math>
  5 KB (684 words) - 22:56, 4 November 2015
• Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions
  ...rses of discourse, let's first consider the universe of discourse <math>X^\circ = [x_1, x_2] = [u, v]</math> that is based on just two logical features or The universe of discourse <math>X^\circ</math> consists of two parts, a set of ''points'' and a set of ''propositio
  105 KB (15,890 words) - 03:12, 4 July 2013
• User:Jon Awbrey/OLDSANDBOX
  | align="center" | <math>(G \circ H)_{ij}</math> ...ath>ij</math>^th entry in the matrix representation for <math>G \circ H</math>
  43 KB (6,715 words) - 13:25, 22 June 2009
• Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
  81 KB (10,378 words) - 02:22, 5 July 2013
• User:Jon Awbrey/SYMBOL
  ...iddot; &hellip; &ndash; &mdash;}} &amp;prime; &amp;Prime; &amp;oline; &amp;circ; &amp;deg; &amp;sdot; &amp;middot; &amp;hellip; &amp;ndash; &amp;mdash;
  21 KB (2,994 words) - 15:24, 27 October 2008
• Relation composition
  ...h>" written between the names of the functions being composed, as <math>f \circ g,</math> but the sign is often omitted if there is no risk of confusing th ...dyadic relation, constituting in fact the relational composition <math>G \circ H\!</math> of the relations <math>G\!</math> and <math>H.\!</math>
  65 KB (6,802 words) - 18:14, 14 November 2015
• Directory:Jon Awbrey/Notes/Factorization And Reification
  | <math>\text{Figure 2. Factorization}~ f = g \circ h</math> Writing functional compositions <math>f = g \circ h</math> "on the right", we have the following data about the situation:
  22 KB (3,556 words) - 02:42, 27 June 2009
• Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
  134 KB (16,535 words) - 15:30, 11 October 2013
• Truth table
  ...of <math>p ~\operatorname{NAND}~ q,</math> also written <math>p \stackrel{\circ}{\curlywedge} q\!</math> or <math>p \barwedge q,\!</math> appears below: | style="width:33%" | <math>p \stackrel{\circ}{\curlywedge} q\!</math>
  16 KB (2,190 words) - 03:25, 30 October 2015
• Directory:Jon Awbrey/Notes/Factorization Issues
  Writing the functional compositions <math>f = g \circ h</math> on the right, we have the following data about the situation: The function <math>f : O \to S</math> factors into a composition <math>g \circ h,\!</math> where <math>g : O \to M,</math> and <math>h : M \to S,</math> a
  25 KB (3,338 words) - 03:18, 25 June 2009
• Directory:Jon Awbrey/SANDBOX
  | align="center" | <math>(G \circ H)_{ij}</math> ...ath>ij</math>^th entry in the matrix representation for <math>G \circ H</math>
  46 KB (7,067 words) - 04:10, 22 May 2010
• Directory:Jon Awbrey/Papers/Dynamics And Logic
  ...{E}X \to \mathbb{B}</math> of the target universe <math>\operatorname{E}X^\circ.</math> ...}</math> and <math>\operatorname{D}</math> act on propositions in <math>X^\circ,</math> that is, propositions of the form <math>f : X \to \mathbb{B}</math>
  127 KB (18,875 words) - 13:28, 10 December 2014
• Directory:Jon Awbrey/Papers/Differential Logic : Introduction
  ...thrm{E}X \to \mathbb{B}\!</math> of the target universe <math>\mathrm{E}X^\circ.\!</math> ...{E}\!</math> and <math>\mathrm{D}\!</math> act on propositions in <math>X^\circ,\!</math> that is, propositions of the form <math>f : X \to \mathbb{B}\!</m
  131 KB (20,198 words) - 15:38, 2 December 2015
• Directory:Jon Awbrey/Papers/Peirce's 1870 Logic Of Relatives
  ...ints that are involved in constructing the relational composition <math>L \circ M \subseteq X \times Z.</math> | style="border-right:1px solid black" | <math>L \circ M\!</math>
  226 KB (33,992 words) - 16:22, 29 December 2017
• Directory:Jon Awbrey/Papers/Syntactic Transformations
  Compare this with the usual form of composition, typically notated <math>P \circ Q</math> and defined as follows: | <math>\upharpoonleft P \circ Q \upharpoonright (x, y) \quad = \quad \underset{m \in M}{\operatorname{Dis
  129 KB (17,728 words) - 22:14, 9 December 2015
• Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
  ...rminal node, symbolized by a small circle <math>{}^{\backprime\backprime} \circ {}^{\prime\prime}\!</math> in text, is known as a ''stone''. Let the ''replacement expression'' of the form <math>Q[\circ /x]\!</math> denote the proposition that results from <math>Q\!</math> by r
  157 KB (17,761 words) - 03:44, 10 November 2016
• Directory:Jon Awbrey/MathJax Problems
  \circ
  59 KB (5,442 words) - 19:40, 8 November 2016

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)