Search results

• Differential logic
  * [[Relation theory]] * [[Truth theory]]
  6 KB (662 words) - 22:28, 5 November 2015
• User:Jon Awbrey
  [https://oeis.org/wiki/User:Jon_Awbrey/Mathematical_Notes Mathematical Notes] [https://oeis.org/wiki/Pragmatic_Theory_Of_Truth Pragmatic Theory Of Truth]
  16 KB (2,092 words) - 14:20, 14 January 2021
• Universe of discourse
  .../1958), ''An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities'', Macmillan Publishers, 1854. Reprint * [[Relation theory]]
  6 KB (702 words) - 19:14, 7 November 2015
• Directory:Jon Awbrey
  ...//intersci.ss.uci.edu/wiki/index.php/Inquiry_Driven_Systems Inquiry Driven Systems] ...ndex.php/Prospects_for_Inquiry_Driven_Systems Prospects for Inquiry Driven Systems]
  15 KB (1,907 words) - 14:08, 9 October 2017
• Boolean-valued function
  .... In all of these uses it is understood that the various terms refer to a mathematical object and not the corresponding sign or syntactic expression. * Kohavi, Zvi (1978), ''Switching and Finite Automata Theory'', 1st edition, McGraw–Hill, 1970. 2nd edition, McGraw–Hill, 1978.
  7 KB (806 words) - 21:14, 5 November 2015
• Turing Award
  |''For his work on [[numerical methods]], automatic coding systems, and error-detecting and error-correcting codes'' ...is fifteen years of publications extend from theoretical articles on graph theory to basic manuals, expository texts, and philosophical contemplations in the
  11 KB (1,508 words) - 10:52, 2 November 2006
• Blackjack card counting systems
  ...thods to develop systems to win at the game, found that computer-developed systems provided a distinct advantage. ...f the Disadvantage to Players of Multiple Decks in the Game of 21.” ''The Mathematical Scientist'', '''32''', 2, p. 57-69</ref><ref>http://www.appliedprobability
  5 KB (646 words) - 18:12, 25 September 2017
• Graph (mathematics)
  ...ents the essential definitions. For a more complete account see ''[[graph theory]]''. For another use of the term "graph" in mathematics, see ''[[graph of ...[computer science]], a '''graph''' is the basic object of study in [[graph theory]]. Informally speaking, a graph is a set of objects called ''points'' or '
  13 KB (1,934 words) - 12:06, 6 September 2007
• Cybernetics
  ...zations, mathematical systems theory, operations research, simulation, and systems engineering. A more philosophical definition, suggested in 1956 by Louis C ...study connecting the fields of [[control system]]s, [[electrical network]] theory, [[logic modeling]], and [[neuroscience]] in the 1940s. The name ''cybern
  14 KB (1,827 words) - 18:48, 27 July 2016
• Logic of relatives
  ...George, ''An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities'', Macmillan Publishers, 1854. Reprint * [[Relation theory]]
  7 KB (919 words) - 22:48, 10 November 2015
• Richard Arnold Epstein
  |known_for = [[Game theory]] ...), also known under the pseudonym '''E. P. Stein''', is an American [[game theory|game theorist]].
  5 KB (689 words) - 18:26, 17 November 2017
• User:Jon Awbrey/ARCHIVE
  '''[[Table of mathematical symbols|&#8810; Table of Mathematical Symbols &#8811;]]''' '''[[GetMeta:Mathematical symbols|&#8810;Have Tape Must Loop&#8811;&#8810;HT(ML)*&#8811;]]'''
  39 KB (4,682 words) - 14:55, 21 May 2007
• Propositional calculus
  ...that is, up to somorphism, constituted by the structural relationships of mathematical objects called ''propositions''. When the expressions are interpreted for mathematical purposes, the transformation rules are typically intended to preserve some
  17 KB (2,301 words) - 15:56, 7 November 2015
• Directory:Jon Awbrey/EPITEXT
  {{DISPLAYTITLE:Epitext for Differential Logic and Dynamic Systems}} Where number is irrelevant, regimented mathematical technique has hitherto tended to be lacking. Thus it is that the progress
  22 KB (3,003 words) - 21:40, 2 July 2008
• Golden Diagram
  ...of the Disadvantage to Players of Multiple Decks in the Game of 21.” ''The Mathematical Scientist'', '''32''', 2, p. 57-69</ref><ref>Golden, Les (2011). “Steppi ...g with applications to trente-et-quarante and baccarat, Internat. J. Game Theory 2, 109-119</ref><ref>Ethier, S.N. and D. A. Levin, D.A. [2005] On the fund
  6 KB (838 words) - 17:02, 20 June 2017
• Relation theory
  ...quite naturally in applications. This approach to relation theory, or the theory of relations, is distinguished from, though closely related to, its study f When we speak of a function <math>f : X \to Y\!</math> we are thinking of a mathematical object whose articulation requires three pieces of data, specifying the set
  25 KB (3,665 words) - 21:04, 16 November 2015
• Relation (mathematics)
  ...ion itself is a mathematical object, defined in terms of concepts from set theory, that carries all the information from the Table in one neat package. ...g defined is determined by the specification of <math>n\!</math> component mathematical objects.&nbsp; In the case of a relation <math>L\!</math> over <math>k\!</m
  20 KB (2,925 words) - 17:08, 14 November 2015
• Ordinal number
  ...[[infinite]] sequences and to classify sets with certain kinds of [[order theory|order]] structures on them. Ordinals are an extension of the [[natural num ...order]]ing with transfinite induction, where transfinite induction extends mathematical induction beyond the finite. Ordinals represent equivalence classes of wel
  29 KB (4,819 words) - 16:23, 9 January 2007
• Directory:Peter Hale
  ...ing both increases in complexity of manufactured products, and of software systems themselves. Cheung (2005) writes "there is no single management tool or dat ...could be prevented, would improve the usability of future visual modelling systems. Support for SWRL in Protégé (Miller and Baramidze, 2005) will assist wit
  19 KB (2,806 words) - 13:35, 22 April 2007
• Logical implication
  This completes the derivation of the mathematical objects that are denoted by the signs <math>{}^{\backprime\backprime} \righ * [[Relation theory]]
  16 KB (2,147 words) - 20:18, 4 November 2015

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