Search results

• Directory:Derek Elder/Programs/Reachable
  public static Set<String> reachableNodes = new ArraySet<String>(); public static Queue<String> searchNodes = new ArrayQueue<String>();
  4 KB (518 words) - 23:07, 2 November 2009
• Directory:DataObjects.net
  ...l in much wider set of cases. An example of such limitation is pre-defined type of identifier and version. Nevertheless its initial design was innovative f public string Text { get; set; }
  6 KB (794 words) - 01:19, 29 May 2009
• Zeroth order logic
  ...tions of concrete type <math>X \times Y \to \mathbb{B}</math> and abstract type <math>\mathbb{B} \times \mathbb{B} \to \mathbb{B}</math> in a number of dif ...ctions in the form '''f_i''', where the index '''i''' is a [[bit string]] formed from the sequence of boolean values in '''L₃'''.
  10 KB (1,357 words) - 16:04, 8 November 2015
• Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions
  ...</math> are propositions about things in <math>X,</math> then functions of type <math>(X \to \mathbb{B}) \to \mathbb{B}</math> are propositions about propo ...s a sample of ''interpretive categories'' for higher order propositions of type <math>(\mathbb{B}^1 \to \mathbb{B}) \to \mathbb{B},</math> but it's best to
  105 KB (15,890 words) - 03:12, 4 July 2013
• Directory:Jon Awbrey/MathJax Problems
  ...th>\mathrm{Syll}\!</math> in the first column, listing its 3-tuples in bit-string form, followed by the 2-adic or ''planar'' projections of <math>\mathrm{Syl ...mathbb{B}^3\!</math> on this pattern, one views the construction of either type of object as a matter of coloring the nodes of the 3-cube with choices from
  59 KB (5,442 words) - 19:40, 8 November 2016
• User:Jon Awbrey/DIFF/B
  In order to discuss questions of this type, it is useful instead. From the point of view, one says that any data-vector of this type
  107 KB (9,168 words) - 14:23, 22 May 2007
• Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
  ...</math> then the next higher order of propositions consists of maps of the type <math>m : (X \to \mathbb{B}) \to \mathbb{B}.\!</math> ...teen higher order propositions that are based on this set, all bearing the type <math>m : (\mathbb{B} \to \mathbb{B}) \to \mathbb{B}.\!</math>
  81 KB (10,378 words) - 02:22, 5 July 2013
• Directory:OmniMediaGroup/PLR/Birds
  ...bout your bird when you first go to the vet, especially if you have a rare type of pet bird, or one that you don’t’ think people around your area would ...d in even makes it possible to trim their wings. Lastly, depending on what type of bird you have and what situation you are putting that bird into, there a
  36 KB (6,726 words) - 21:35, 22 May 2008
• Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
  ...= (f, g) : U^\bullet \to X^\bullet\!</math> allows us to give a name and a type to this transformation, and permits us to define it by means of the compact ...mic Systems 2.0#Transformations of Type B2 .E2.86.92 B2|Transformations of Type '''B'''² &rarr; '''B'''²]]
  134 KB (16,535 words) - 15:30, 11 October 2013
• Directory:WikBack/JzG
  ...t the admin community's discretion.<br /><br />If you feel that it is THIS type of childish behavior that is making Wikipedia a more difficult place to bui ...t the admin community's discretion.<br /><br />If you feel that it is THIS type of childish behavior that is making Wikipedia a more difficult place to bui
  113 KB (16,866 words) - 20:16, 17 April 2008
• User:Jon Awbrey/SCRATCHPAD
  ...hen, which possesses life must be substance, and substance of the compound type (synthete). <ol style="list-style-type:decimal">
  38 KB (5,541 words) - 01:36, 4 December 2011
• Directory:Jon Awbrey/Papers/Theme One Program : Exposition
  a common data structure fundamental algorithms for one type of inductive learning and one type of deductive reasoning.
  94 KB (8,938 words) - 22:12, 9 December 2015
• Directory:Jon Awbrey/Papers/Cactus Rules
  in effect, just the boolean functions of abstract type q : B^3 -> B, in its existential interpretation and its traverse-string redaction,
  343 KB (13,950 words) - 02:46, 23 May 2009
• User:Jon Awbrey/DIFF/A
  Written as a string, this is just the concatenation ''x y''. ...e taken as a boolean function ''f''(''x'',&nbsp;''y'') having the abstract type ''f''&nbsp;:&nbsp;'''B'''&nbsp;&times;&nbsp;'''B'''&nbsp;&rarr;&nbsp;'''B''
  112 KB (11,050 words) - 14:19, 22 May 2007
• Logical graph
  ...picture will lead us to see that we can get the corresponding parenthesis string by starting at the root of the tree, climbing up the left side of the tree ...be a bit loose in this language, often using ''parse string'' to mean the string that gets parsed into the associated graph.
  41 KB (5,845 words) - 14:26, 6 November 2015
• User:Roygbiv/Graph
  ...picture will lead us to see that we can get the corresponding parenthesis string by starting at the root of the tree, climbing up the left side of the tree ...a bit loose in this language, often using ''[[parse string]]'' to mean the string that gets parsed into the associated graph.
  42 KB (5,905 words) - 21:49, 22 May 2010
• Directory:Jon Awbrey/Papers/Change In Logic
  In order to discuss questions of this type, it is useful instead. From the point of view, one says that any data-vector of this type
  73 KB (6,208 words) - 04:08, 11 December 2016
• Directory:Jon Awbrey/Papers/Cactus Language
  ...lled by the type of sign that makes it up or whether it is named after the type of object that its signs are intended to denote, one may refer to this cact ...d by giving each grammatical sentence, or each syntactically distinguished string, an interpretation as a logically meaningful sentence, in effect, equipping
  211 KB (31,551 words) - 20:44, 2 August 2017
• Truth theory
  ...ective'', a ''treatment'', or so on, reserving the term ''theory'' for the type of [[formal system]] that serves in logic and science. ...man" that are true or false in the same way. On the other hand there is a type of complete sign that expresses what grammarians traditionally call a ''com
  37 KB (5,460 words) - 14:45, 17 November 2015
• Directory:Jon Awbrey/THEORY
  ...ective'', a ''treatment'', or so on, reserving the term ''theory'' for the type of [[formal system]] that serves in logic and science. ...man" that are true or false in the same way. On the other hand there is a type of complete sign that expresses what grammarians traditionally call a ''com
  81 KB (11,851 words) - 22:22, 25 January 2008

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