Search results

• Grounded relation
  ...;… × ''X''_''k'' , for some positive integer ''k''. * [[Relation type]]
  1 KB (177 words) - 02:20, 16 February 2008
• Ordinal number
  ...em. Ordinals are an extension of the [[natural number]]s different from [[integer]]s and from cardinals. ...ot a label for an element of the set. This "length" is called the ''order type'' of the set.
  29 KB (4,819 words) - 16:23, 9 January 2007
• Directory:Jon Awbrey
  [[Integer sequence]] [[Relation type]]
  15 KB (1,907 words) - 14:08, 9 October 2017
• User:Jon Awbrey
  [[Integer sequence]] [[Relation type]]
  16 KB (2,092 words) - 14:20, 14 January 2021
• Relation theory
  ...{\backprime\backprime} X \to Y {}^{\prime\prime}\!</math> to specify the ''type'' of the function, that is, the pair <math>(\mathrm{obj_1}f, \mathrm{obj_2} In categorical and computational contexts, at least initially, the type is regarded as an essential attribute or an integral part of the function i
  25 KB (3,665 words) - 21:04, 16 November 2015
• Minimal negation operator
  ...<math>\lnot_j : \mathbb{B}^k \to \mathbb{B}~\!</math> be defined for each integer <math>j~\!</math> in the interval <math>[1, k]~\!</math> by the following e Table&nbsp;3 is a [[truth table]] for the sixteen boolean functions of type <math>f : \mathbb{B}^3 \to \mathbb{B}~\!</math> whose fibers of 1 are eithe
  23 KB (3,337 words) - 13:54, 3 September 2017
• 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/Qualitative Analysis of Sequential Interaction Data
  File Type : FIT.LOG The general type of data we are dealing with here is a timed sequence of categorical or qual
  183 KB (13,361 words) - 22:06, 9 December 2015
• User:Jon Awbrey/Exploratory Qualitative Analysis of Sequential Observation Data
  File Type : FIT.LOG The general type of data we are dealing with here is a timed sequence of categorical or qual
  185 KB (13,539 words) - 17:08, 14 November 2020
• Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
  The logical graph that concludes this proof is a variant type of ''disjunctive normal form'' (DNF) for the logical graph that was to be d ...ese ways let us keep one eye out for the character and the conduct of each type of proceeding as a semiotic process, that is, as an orbit, in this case dis
  157 KB (17,761 words) - 03:44, 10 November 2016
• Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
  ...fic ''address''.&nbsp; For semioticians, an address can be recognized as a type of index, and is commonly spoken of, on analogy with demonstrative pronouns ...ure-preserving map is a ''system-wide iconic map'' (SWIM). The other is a type that we might call a ''pointwise-restricted iconic map'', or a ''pointedly
  168 KB (21,027 words) - 12:41, 6 August 2017
• 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 ...ype of character, and also to refer any blank we choose as a token of this type, referring to either of them in a marked way, but without the use of quotat
  211 KB (31,551 words) - 20:44, 2 August 2017
• User:Jon Awbrey/Mathematical Notes
  | in bold-face type [not shown here]. Script capitals | an integer d (the image of 1); this integer is the usual
  567 KB (86,909 words) - 21:00, 6 December 2016
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
  ...ction of a ''reflective interpretive framework'' (RIF). This is a special type of sign-theoretic setting, illustrated in the present case by building on t ...ally described as ''propositional'' or ''sentential'' and represented in a type of formal system that is commonly known as a ''propositional calculus'' or
  725 KB (109,715 words) - 18:09, 28 August 2014
• User:Badmachine/wikipedia-en-2012-08-12
  ...com/photo.php?fbid=10151177670746062&set=a.399247356061.197061.11471221061&type=1 LOL 15:17 < Dragonfly6-7> do you know how to type the words "not an article" ?
  211 KB (30,290 words) - 00:10, 24 January 2015
• User:Jon Awbrey/IDS
  that an interpretant has to its object. As before, either type of In order to discuss this type of situation further,
  665 KB (109,541 words) - 02:46, 13 September 2010
• User:Badmachine/wikipedia-en-2012-08-05
  00:02 < Apheori> I'm sideways and can hardly type. 05:31 < wctaiwan> are you looking at "q must be an integer such that 1-emax <= q+p-1 <= emax (e.g., if p=7 and emax=96 then q is -101
  212 KB (29,779 words) - 00:03, 24 January 2015
• User:Badmachine/wikipedia-en-2011-11-22
  ...here and we'll try to help. To find an operator for a particular channel, type "/quote chanserv access #channel list". ...began the study of these numbers in the early 17th century), is a positive integer that is one less than a power of two: $M_p=2^p-1.\,$
  193 KB (25,713 words) - 04:47, 24 January 2015
• Directory:Logic Museum/Cicero on Divination Book I
  84 bytes (10 words) - 19:50, 19 October 2010
• User:Badmachine/wikipedia-en-2012-07-12 through 2012-10-07
  [23:47] <ToAruShiroiNeko> he probably wouldnt know how to type [16:33] <Soapy> Kamarniso Ismailov is more my type
  1.63 MB (214,268 words) - 16:57, 8 February 2015

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