Christoffel symbol namâd-e Christoffel (#) Fr.: symbole de Christoffel A abbreviated notation for various functions associated with quadratic differential forms. Each Christoffel symbol is essentially a triplet of three indices, i, j and k, where each index can assume values from 1 to 2 for the case of two variables, or from 1 to n in the case of a quadratic form in n variables. Christoffel symbols appear in many calculations in geometry where non-Cartesian coordinates are used. These symbols are fundamental in the study of tensor analysis. Named after Elwin Bruno Christoffel (1829-1900), a German mathematician; → symbol. |
predicate symbol nemâd-e farâsan Fr.: symbole de prédicat In a → formal language, a letter used to describe a → predicate or → relation. Also called → relation symbol. |
propositional symbol nemâd-e gozâreyi Fr.: symbole propositionnel An upper case letter, e.g. "A," "B," "C," etc. representing a → proposition. Propositional symbols are divisible into two sorts: → propositional constants and → propositional variables. → propositional; → symbol. |
relation symbol nemâd-e bâzâneš Fr.: symbole de relation Same as → predicate symbol. |
symbol namâd (#) Fr.: symbole 1) Something that stands for or represents something else,
especially an object representing an abstraction. M.E., from L.L. symbolum "creed, token, mark," from Gk. symbolon "sign, mark," from → syn- "together" + stem of ballein "to throw." Namâd variant of namud, nemud past stem of nemudan "to show;" Mid.Pers. nimūdan, nimây- "to show," from O.Pers./Av. ni- "down; into," → ni- (PIE), + māy- "to measure;" cf. Skt. mati "measures," matra- "measure;" Gk. metron "measure;" L. metrum; PIE base *me- "to measure." |
symbolic nemâdin (#) Fr.: symbolique Of or relating to a symbol or symbols; serving as a symbol. |
symbolic logic guyik-e nemâdin Fr.: logique symbolique A modern development of → formal logic based on a system of → symbols and → axiomatics in accordance with precise rules. It uses a formalized → artificial language to avoid the ambiguities and logical inadequacies of → natural languages. Symbolic logics are → polyvalent when they admit → truth values other than → true and → false. |