💡 Words with a Similar Meaning to "Schematic variable"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| schemanoun | (databases) A formal description of the structure of a database: the names of the tables, the names of the columns of each table, and the data type and other attributes of each column. |
| axiom schemanoun | (logic) A formula in the language of an axiomatic system, in which one or more schematic variables appear, which stand for any term or subformula of the system, which may or may not be required to satisfy certain conditions. |
| axiom schemenoun | (logic) A formula in the language of an axiomatic system, in which one or more schematic variables appear, which stand for any term or subformula of the system, which may or may not be required to satisfy certain conditions. |
| variablenoun | (programming) A named memory location in which a program can store intermediate results and from which it can read them. |
| eigenvariable | (mathematics, logic) A kind of term in natural deduction. |
| propositional variablenoun | (logic) A variable that can either be true or false. |
| axiom systemnoun | A set of axioms or axiom schemata from which theorems can be derived. |
| free variablenoun | (mathematics, logic) A variable (occurring within some expression or well-formed formula) which is not bound by a quantifier or analogous symbol (such as a lambda abstractor, the "differential d" near the end of an integral or differential form, or a summation symbol). |
| subvariablenoun | A subset of a variable |
| contextnoun | The surroundings, circumstances, environment, background or settings that determine, specify, or clarify the meaning of an event or other occurrence. |
| literal | Exactly as stated; read or understood without interpretation; according to the letter; not figurative or metaphorical; following the letter or exact words; not taking liberties; etymonic rather than idiomatic. |
| variatenoun | (statistics) Random variable. |
| quasivarietynoun | (mathematics) Any of a class of algebraic structures generalizing the notion of variety by allowing equational conditions on the axioms defining the class. |
| boolean variablenoun | (mathematics, logic, computing) Any variable, from the domain of Boolean algebra, having one of only two values |
| formulanoun | A plan or method for dealing with a problem or for achieving a result. |
| schemenoun | A systematic plan of future action. |
| logic diagramnoun | A diagram in the field of logic. |
| quantificationnoun | The act of quantifying. |
| schemoidnoun | (category theory) A generalization of an association scheme from the point of view of small categories. |
| bound variablenoun | (programming) A variable that is associated with a value, and therefore a variable that has an allocated storage location. If the programming language implements a representation of a canonical unknown value, infinity, etc., the value bound to the variable may be one of these. |
Translate “Schematic variable” into Another Language
Pick a language — the word will be pre-filled in the translator.