Search results

Page title matches

• Category:Set theory
  1 member (0 subcategories, 0 files) - 13:42, 5 June 2020

Page text matches

• Tacit extension
  ...[[projection (mathematics)|projection]] of the Cartesian product onto the set in question, but the tacit extension is the one that places no additional c [[Category:Category Theory]]
  1 KB (181 words) - 13:28, 3 May 2019
• Directory:Jon Awbrey/Projects/Pragmatic Theory Of Information
  {{DISPLAYTITLE:Project : Pragmatic Theory Of Information}} ...properties of inquiry]]''. All of these ideas contribute to the pragmatic theory of inquiry.
  2 KB (267 words) - 17:20, 21 May 2010
• Null graph
  [[Category:Graph Theory]] [[Category:Relation Theory]]
  475 bytes (59 words) - 20:10, 31 August 2017
• Logic Syllabus
  * [[Relation theory]] * [[Truth theory]]
  3 KB (346 words) - 18:30, 27 May 2020
• Module:Set/doc
  ...|union]], [[Intersection (set theory)|intersection]] and [[Complement (set theory)|complement]] functions for both key/value pairs and for values only. It is local set = require('Module:Set')
  4 KB (630 words) - 05:56, 16 July 2021
• Relation construction
  ...tor'', the ''factor'', or the ''method of construction'', plus a specified set of other relations, called the ''faciens'', the ''ingredients'', or the ''m * [[Relation theory]]
  5 KB (621 words) - 19:18, 14 November 2015
• Parametric operator
  ...alpha \in \Alpha \}\!</math> with index <math>\alpha\!</math> in the index set <math>\Alpha.\!</math> * [[Relation theory]]
  5 KB (572 words) - 04:16, 7 November 2015
• Sole sufficient operator
  ...arbitrary set and where <math>\mathbb{B}\!</math> is a generic two-element set, typically <math>\mathbb{B} = \{ 0, 1 \} = \{ \mathrm{false}, \mathrm{true} * [[Relation theory]]
  5 KB (626 words) - 18:07, 7 November 2015
• Multigrade operator
  ...s a ''[[parametric operator]]'' with ''parameter'' <math>k\!</math> in the set <math>\mathbb{N}\!</math> of non-negative integers. * [[Relation theory]]
  5 KB (618 words) - 04:12, 7 November 2015
• Triadic relation
  The relation <math>L_0</math> is the following set of four triples in <math>\mathbb{B}^3.</math> The relation <math>L_1</math> is the following set of four triples in <math>\mathbb{B}^3.</math>
  18 KB (2,519 words) - 18:02, 27 May 2020
• Boolean domain
  A '''boolean domain''' <math>\mathbb{B}</math> is a generic 2-element [[set]], say, <math>\mathbb{B} = \{ 0, 1 \},</math> whose elements are interprete * [[Relation theory]]
  5 KB (561 words) - 19:54, 5 November 2015
• Propositional calculus
  ...rmulas'' or ''wffs''), a distinguished subset of these expressions, plus a set of transformation rules that define a binary relation on the space of expre The set of axioms may be empty, a nonempty finite set, a countably infinite set, or given by axiom schemata. A formal grammar recursively defines the expr
  17 KB (2,301 words) - 15:56, 7 November 2015
• Boolean-valued function
  ...<math>f : X \to \mathbb{B},</math> where <math>X\!</math> is an arbitrary set and where <math>\mathbb{B}</math> is a [[boolean domain]]. * 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
• Relation reduction
  ...reducer'', the ''method of reduction'', or the ''relational step'', plus a set of other relations, called the ''reduciens'' or the ''relational base'', e ...relations <math>L_j\!</math> for values <math>j\!</math> in a given index set <math>J\!</math> and that this collection of data would suffice to fix the
  29 KB (4,035 words) - 03:32, 15 November 2015
• Talk:Relation theory
  '''Relation theory''', or the '''theory of relations''', treats the subject matter of [[relations]] in its combinat A '''relation''', as conceived in the combinatorial theory of relations, is a mathematical object that in general can have a very comp
  40 KB (6,049 words) - 15:24, 16 November 2012
• Relation (mathematics)
  ...}\!</math>&nbsp; The Table represents a relation <math>S\!</math> over the set <math>P\!</math> of people under discussion: The data of the Table are equivalent to the following set of ordered triples:
  20 KB (2,925 words) - 17:08, 14 November 2015
• Semeiotic
  ...both terms. The form ''semeiotic'' is often used to distinguish Peirce's theory, since it is less often used by other writers to denote their particular ap <p>The second kind of representations are such as are set up by a convention of men or a decree of God. Such are ''tallies'', ''prop
  9 KB (1,162 words) - 20:54, 3 November 2015
• 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 ...on requires three pieces of data, specifying the set <math>X,\!</math> the set <math>Y,\!</math> and a particular subset of their cartesian product <math>
  25 KB (3,665 words) - 21:04, 16 November 2015
• Ampheck
  ...st likely set by inverting the zodiac symbol for Aries('''&#9800;'''), but set in the text above by means of the ''curly wedge'' symbol. * [[Relation theory]]
  9 KB (1,221 words) - 15:04, 5 November 2015
• Minimal negation operator
  ...(} x_1 \texttt{,} \ldots \texttt{,} x_k \texttt{)}~\!</math> indicates the set of points in <math>\mathbb{B}^k~\!</math> that differ from <math>x~\!</math : A ''[[boolean domain]]'' <math>\mathbb{B}~\!</math> is a generic 2-element set, for example, <math>\mathbb{B} = \{ 0, 1 \},~\!</math> whose elements are i
  23 KB (3,337 words) - 13:54, 3 September 2017

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