Слова на English для '(logic) Recursion theory.'
Выше показаны слова, связанные с "(logic) Recursion theory.". Наведите курсор или фокус на слово, чтобы увидеть его определение.
Результаты поиска
noun
- (mathematics) more broadly, any recurrence relation
- (mathematics) An equation involving an ordered sequence of real numbers (a_nₙ₌₁ ᪲) and some of its differences, where the first difference is defined as Δ(a_n)=a_n+1-a_n, and the kᵗʰ difference is defined recursively as Δᵏ(a_n)=Δᵏ⁻¹(a_n+1)-Δᵏ⁻¹(a_n),.
noun
adj
name
adj
- of or relating to a recursion
- (computing theory, not comparable, of a function) which can be computed by a theoretical model of a computer, in a finite amount of time
- (mathematics, not comparable) of an expression, each term of which is determined by applying a formula to preceding terms
- drawing upon itself, referring back.
- (computing theory, not comparable, of a set) whose characteristic function is recursive (4)
- (computing, not comparable) of a program or function that calls itself
noun
noun
- (logic) The logical law (P→(Q→R))⇒((P∧Q)→R).
- (linguistics) The use of a term which consists of formally foreign elements.
- The act or an instance of carrying or conveying, especially into some system, place, area or country.
- The act or an instance of importing.
- That which is imported; commodities or wares introduced into a country from abroad.
- commodities (goods or services) bought from a foreign country
- the commercial activity of buying and bringing in goods from a foreign country
noun
- (logic) Either the logical law ((P∧Q)→R)⇒(P→(Q→R)), or the rule of replacement ((P∧Q)→R)⇔(P→(Q→R)).
- (import/export) The commodity exported; an export.
- (business, economics) The act of exporting; the act of conveying or sending commodities abroad or to another country, in the course of commerce.
- commodities (goods or services) sold to a foreign country
- the commercial activity of selling and shipping goods to a foreign country
noun
verb
noun
adj
intj
noun
- (logic) The relation of a universal proposition to a particular proposition in the same terms.
- The ordination of a person to fill a station already occupied; especially, the ordination by an ecclesiastical official, during his lifetime, of his successor.
- the semantic relation of being superordinate or belonging to a higher rank or class
noun
- (logic, computer science) Initialism of second-order logic.
- (baseball) Initialism of strike out.
- (sports) Initialism of shut out.
- (chemistry) Abbreviation of singlet oxygen.
- Initialism of significant other.
- (sports) Initialism of shootout.
- (politics, parliamentary) Abbreviation of standing order.
- (music) Initialism of symphony orchestra.
name
pron
noun
- a system of reasoning
- the branch of philosophy that analyzes inference
- the system of operations performed by a computer that underlies the machine's representation of logical operations
- the principles that guide reasoning within a given field or situation
- reasoned and reasonable judgment
- (countable, sociology) A system of thought or collection of rhetoric, especially one associated with a social practice.
- (uncountable) A method of human thought that involves thinking in a linear, step-by-step manner about how a problem can be solved. Logic is the basis of many principles including the scientific method.
- (countable) Any system of thought, whether rigorous and productive or not, especially one associated with a particular person.
- (uncountable, mathematics) The mathematical study of relationships between rigorously defined concepts and of mathematical proof of statements.
- (countable, mathematics) A formal or informal language together with a deductive system or a model-theoretic semantics.
- (philosophy, logic) The study of the principles and criteria of valid inference and demonstration.
- (uncountable) The part of a system (usually electronic) that performs the boolean logic operations, short for logic gates or logic circuit.
adj
verb
noun
- (logic) A modal proposition.
- (fabric) A semi-synthetic fabric, a very soft kind of rayon textile made from beech tree pulp and processed with chemicals.
- (grammar) A modal verb.
- (graphical user interface) A modal window, one that cannot be closed until a decision is made.
- (linguistics) A modal form, notably a modal auxiliary.
- an auxiliary verb (such as ‘can’ or ‘will’) that is used to express modality
adj
- Of, or relating to a mode or modus.
- (graphical user interface) Requiring immediate user interaction and thus presented so that it cannot be closed or interacted behind until a decision is made.
- (music) Of, relating to, or composed in the musical modi by which an octave is divided, associated with emotional moods in Ancient — and in medieval ecclesiastical — music.
- (computing) Having separate modes in which user input has different effects.
- (logic) Of, or relating to the modality between propositions.
- (metaphysics) Relating to the form of a thing rather to any of its attributes.
- (of music, by extension) In a mode which is not major or minor scale, the standard modes used in the Western musical tradition.
- (statistics) Relating to the statistical mode.
- (grammar) Of, relating to, or describing the mood of a clause.
- relating to or constituting the most frequent value in a distribution
- relating to or expressing the mood of a verb
- of or relating to a musical mode; especially written in an ecclesiastical mode
noun
- logical and methodical reasoning
- the proposition arrived at by logical reasoning (such as the proposition that must follow from the major and minor premises of a syllogism)
- A proposition arrived at by such thought.
- Reasoning, conscious deliberate inference; the activity or process of reasoning.
- Thought or reasoning that is exact, valid and rational.
verb
- conclude by reasoning; in logic
- believe to be the case
- guess correctly; solve by guessing
- draw from specific cases for more general cases
- reason by deduction; establish by deduction
- (transitive) To introduce (something) as a reasoned conclusion; to conclude by reasoning or deduction, as from premises or evidence.
- (transitive, often proscribed) To lead to (something) as a consequence; to imply.
noun
- (mathematics) more broadly, any recurrence relation
- (mathematics) An equation involving an ordered sequence of real numbers (a_nₙ₌₁ ᪲) and some of its differences, where the first difference is defined as Δ(a_n)=a_n+1-a_n, and the kᵗʰ difference is defined recursively as Δᵏ(a_n)=Δᵏ⁻¹(a_n+1)-Δᵏ⁻¹(a_n),.
noun
adj
name
noun
noun
- (logic) The logical law (P→(Q→R))⇒((P∧Q)→R).
- (linguistics) The use of a term which consists of formally foreign elements.
- The act or an instance of carrying or conveying, especially into some system, place, area or country.
- The act or an instance of importing.
- That which is imported; commodities or wares introduced into a country from abroad.
- commodities (goods or services) bought from a foreign country
- the commercial activity of buying and bringing in goods from a foreign country
noun
- (logic) Either the logical law ((P∧Q)→R)⇒(P→(Q→R)), or the rule of replacement ((P∧Q)→R)⇔(P→(Q→R)).
- (import/export) The commodity exported; an export.
- (business, economics) The act of exporting; the act of conveying or sending commodities abroad or to another country, in the course of commerce.
- commodities (goods or services) sold to a foreign country
- the commercial activity of selling and shipping goods to a foreign country
noun
verb
noun
adj
intj
noun
- (logic) The relation of a universal proposition to a particular proposition in the same terms.
- The ordination of a person to fill a station already occupied; especially, the ordination by an ecclesiastical official, during his lifetime, of his successor.
- the semantic relation of being superordinate or belonging to a higher rank or class
noun
- (logic, computer science) Initialism of second-order logic.
- (baseball) Initialism of strike out.
- (sports) Initialism of shut out.
- (chemistry) Abbreviation of singlet oxygen.
- Initialism of significant other.
- (sports) Initialism of shootout.
- (politics, parliamentary) Abbreviation of standing order.
- (music) Initialism of symphony orchestra.
name
pron
noun
- a system of reasoning
- the branch of philosophy that analyzes inference
- the system of operations performed by a computer that underlies the machine's representation of logical operations
- the principles that guide reasoning within a given field or situation
- reasoned and reasonable judgment
- (countable, sociology) A system of thought or collection of rhetoric, especially one associated with a social practice.
- (uncountable) A method of human thought that involves thinking in a linear, step-by-step manner about how a problem can be solved. Logic is the basis of many principles including the scientific method.
- (countable) Any system of thought, whether rigorous and productive or not, especially one associated with a particular person.
- (uncountable, mathematics) The mathematical study of relationships between rigorously defined concepts and of mathematical proof of statements.
- (countable, mathematics) A formal or informal language together with a deductive system or a model-theoretic semantics.
- (philosophy, logic) The study of the principles and criteria of valid inference and demonstration.
- (uncountable) The part of a system (usually electronic) that performs the boolean logic operations, short for logic gates or logic circuit.
adj
verb
noun
- (logic) A modal proposition.
- (fabric) A semi-synthetic fabric, a very soft kind of rayon textile made from beech tree pulp and processed with chemicals.
- (grammar) A modal verb.
- (graphical user interface) A modal window, one that cannot be closed until a decision is made.
- (linguistics) A modal form, notably a modal auxiliary.
- an auxiliary verb (such as ‘can’ or ‘will’) that is used to express modality
adj
- Of, or relating to a mode or modus.
- (graphical user interface) Requiring immediate user interaction and thus presented so that it cannot be closed or interacted behind until a decision is made.
- (music) Of, relating to, or composed in the musical modi by which an octave is divided, associated with emotional moods in Ancient — and in medieval ecclesiastical — music.
- (computing) Having separate modes in which user input has different effects.
- (logic) Of, or relating to the modality between propositions.
- (metaphysics) Relating to the form of a thing rather to any of its attributes.
- (of music, by extension) In a mode which is not major or minor scale, the standard modes used in the Western musical tradition.
- (statistics) Relating to the statistical mode.
- (grammar) Of, relating to, or describing the mood of a clause.
- relating to or constituting the most frequent value in a distribution
- relating to or expressing the mood of a verb
- of or relating to a musical mode; especially written in an ecclesiastical mode
noun
- logical and methodical reasoning
- the proposition arrived at by logical reasoning (such as the proposition that must follow from the major and minor premises of a syllogism)
- A proposition arrived at by such thought.
- Reasoning, conscious deliberate inference; the activity or process of reasoning.
- Thought or reasoning that is exact, valid and rational.
verb
- conclude by reasoning; in logic
- believe to be the case
- guess correctly; solve by guessing
- draw from specific cases for more general cases
- reason by deduction; establish by deduction
- (transitive) To introduce (something) as a reasoned conclusion; to conclude by reasoning or deduction, as from premises or evidence.
- (transitive, often proscribed) To lead to (something) as a consequence; to imply.
adj
- of or relating to a recursion
- (computing theory, not comparable, of a function) which can be computed by a theoretical model of a computer, in a finite amount of time
- (mathematics, not comparable) of an expression, each term of which is determined by applying a formula to preceding terms
- drawing upon itself, referring back.
- (computing theory, not comparable, of a set) whose characteristic function is recursive (4)
- (computing, not comparable) of a program or function that calls itself