Functional predicate
Functional predicate In formal logic and related branches of mathematics, a functional predicate, or function symbol, is a logical symbol ... object term to produce another object term. Functional predicates are also sometimes called mappings, ...
http://en.wikipedia.org/wiki/Functional_predicate - 13k - Cached - Similar pages

Talk:Functional predicate
Talk:Functional predicate Is "map" also used in the same ...
http://en.wikipedia.org/wiki/Talk:Functional_predicate - 0k - Cached - Similar pages

Functional syntax   (translated from German)
Functional syntax The idea, linguistic forms with that ... is as "tool", as "formed equipment". A functional analysis of linguistic means is activated by ... and those Prager school also those attaches Functional generative description on. Article of the "Functional Grammar" of Simon C. Dik is "the ... places elementary units (z.B. Descriptor framework ("predicate frames"), Terms and formation rules ("formation ...
http://de.wikipedia.org/wiki/Funktionale_Syntax - 20k - Cached (German) - Wikipedia (German) - Similar pages

Talk:Axiom schema of replacement
... t contain any function symbols (only the predicate symbols = and ∈). I thought that a ... predicates = and ∈ are the only primitive predicate symbols in ZF, but there are other derived predicate symbols; the Stanford link's version of replacement thus refers to an arbitrary predicate symbol φ. Similarly, there are derived function ... function symbol as a certain kind of predicate symbol, subject to a certain axiom, ...
http://en.wikipedia.org/wiki/Talk:Axiom_schema_of_replacement - 50k - Cached - Similar pages

Talk:First-order logic
... at the beginning of Talk:First-order predicate calculus (section), I ended up with an ... allow P to stand for a primitive predicate (literal predicate symbol) of the applied system, for example ... HOL as quantifying over properties, not the predicate variables that denote properties. Nortexoid 19:11 ... more general term. Also - I think that predicate variables denote predicates - not propreties. -- Zlimarcelix ...
http://en.wikipedia.org/wiki/Talk:First-order_logic - 66k - Cached - Similar pages

Axiom schema of replacement
... large sets. Statement Suppose P is any predicate in two variables that doesn't use ... there is one axiom for every such predicate P; thus, this is an axiom schema ... exactly what one needs to construct a functional predicate F in one variable such that F ... Indeed, if one formalises the language of predicate logic to allow the use of ...
http://en.wikipedia.org/wiki/Axiom_schema_of_replacement - 18k - Cached - Similar pages

Relational model
... management is a data model based on predicate logic and set theory. The model The ... such data is done in two-valued predicate logic, meaning there are two possible evaluations ... a representation of the extension of some predicate, this being the set of true propositions ... by replacing each free variable in that predicate by a name (a term that designates ... correspondence between the free variables of the predicate and the attribute names of the ...
http://en.wikipedia.org/wiki/Relational_model - 38k - Cached - Similar pages

List of mathematics articles (F)
... order control -- First-order logic -- First-order predicate -- First-order predicate calculus -- First principles -- Fischer group -- FISH (cipher ... variable -- Function problem -- Function Representation -- Function space -- Functional analysis -- Functional calculus -- Functional data analysis -- Functional derivative -- Functional determinant -- ...
http://en.wikipedia.org/wiki/List_of_mathematics_articles_(F) - 20k - Cached - Similar pages

List of mathematics articles (D-F)
... order control -- First-order logic -- First-order predicate -- First-order predicate calculus -- First principles -- Fischer group -- FISH (cipher ... variable -- Function problem -- Function Representation -- Function space -- Functional analysis -- Functional calculus -- Functional data analysis -- Functional derivative -- Functional determinant -- ...
http://en.wikipedia.org/wiki/List_of_mathematics_articles_(D-F) - 64k - Cached - Similar pages

Normalization of data   (translated from Portuguese)
... that it does not have not-trivial functional dependence of an attribute that is not ... it requires not to have not-trivial functional dependences of attributes that are not key ... BCNF) requires that there ploughs in the functional non-trival dependencies of attributes on something ... what is usually called the extension of predicate in to first-order logic except that ... here we identify the places in the predicate with attribute names. Relational Usually in ...
http://pt.wikipedia.org/wiki/Normalização_de_dados - 20k - Cached (Portuguese) - Wikipedia (Portuguese) - Similar pages