English words for '(computing theory) Synonym of Cook-Levin theorem.'
Closest matches for "(computing theory) Synonym of Cook-Levin theorem." are ranked by semantic fit across dictionary definitions.
Search results
name
noun
- (computer graphics) Initialism of physically based rendering.
- (nuclear physics, engineering) Initialism of pebble-bed reactor.
- (military, nautical, law enforcement) Initialism of patrol boat, rigid, a type of river patrol boat used by the US Navy during the Vietnam War.
- (botany, agriculture, horticulture) Initialism of plant breeders' rights.
- (computing) Initialism of policy-based routing.
- (firearms) Initialism of point-blank range.
- (firearms) Initialism of plastic baton round, a type of non-lethal projectile more commonly known as the plastic bullet.
- (ecology) Initialism of potential biological removal.
noun
- (computing theory) Initialism of consistency, availability, partition-tolerance, three irreconcilable guarantees in distributed systems, a result known as Brewer's theorem.
- Initialism of conservation action plan.
- Initialism of change acceleration process.
- (medicine) Initialism of community-acquired pneumonia.
- Initialism of combat air patrol.
- Initialism of colors and placements.
- Initialism of catabolite activator protein.
name
verb
noun
- (logic) A syntactically correct expression that is deducible from the given axioms of a deductive system.
- (mathematics) A mathematical statement of some importance that has been proven to be true. Minor theorems are often called propositions. Theorems which are not very interesting in themselves but are an essential part of a bigger theorem's proof are called lemmas.
- (mathematics, colloquial, nonstandard) A mathematical statement that is expected to be true.
- a proposition deducible from basic postulates
- an idea accepted as a demonstrable truth
adj
- (mathematics) Self-evident.
- (taxonomy) Relating to or designating the name of a species; specific as opposed to generic.
- Pertaining to the trivium.
- (algebra, of an algebraic structure or ideal thereof) Containing only one element; having an underlying set which is a singleton.
- Commonplace, ordinary.
- (philosophy) Indistinguishable in case of truth or falsity.
- Concerned with or involving trivia.
- (mathematics) Of, relating to, or being the simplest possible case.
- Ignorable; of little significance or value.
- of little substance or significance
- concerned with trivialities
- (informal) small and of little importance
adj
noun
- (physics) The smallest possible, and therefore indivisible, unit of a given quantity or quantifiable phenomenon.
- (mathematics) A definite portion of a manifoldness, limited by a mark or by a boundary.
- The amount or quantity observably present, or available.
- (law) The length or magnitude of the sentence handed down to someone who has been found guilty of a crime.
- (computing, uncountable) Ellipsis of quantum computing.
- (now chiefly South Asia or law) The total amount of something; quantity.
- (law) The amount of compensation awarded to a successful party in a lawsuit.
- (computing) The amount of time allocated for a thread to perform its work in a multithreaded environment.
- (medicine) The minimum dose of a pathogen required to cause an infection.
- a discrete amount of something that is analogous to the quantities in quantum theory
- (physics) the smallest discrete quantity of some physical property that a system can possess (according to quantum theory)
noun
- (logic) modus tollens
- Initialism of machine translation.
- Initialism of massage therapist.
- (biochemistry) Acronym of microtubule.
- (military, British) Initialism of mechanical transport.
- (US, engineering) Abbreviation of metric ton.
- Alternative form of M/T.
- a unit of weight equivalent to 1000 kilograms
- the use of computers to translate from one language to another
adj
name
adj
- (graph theory) Being or relating to a certain type of graph that complies with a theorem ("pluperfect graph theorem") discovered by D. R. Fulkerson in 1970, satisfying even more constraints than a perfect graph.
- More than perfect, utterly perfect, ideal.
- (mathematics) Synonym of multiperfect.
- (informal) Used as an intensifier in various interjections.
- (grammar) Pertaining to action completed before another action or event in the past, past perfect.
- more than perfect
noun
adj
noun
- (mathematics) A method of proof of a theorem by first proving it for a specific case (often an integer; usually 0 or 1) and showing that, if it is true for one case then it must be true for the next.
- An act of inducting.
- (embryology) Given a group of cells that emits or displays a substance, the influence of this substance on the fate of a second group of cells.
- (logic) Derivation of general principles from specific instances.
- (mechanical engineering) The delivery of air to the cylinders of an internal combustion piston engine.
- The process of showing a newcomer around a place where they will work or study.
- (theater) Use of rumors to twist and complicate the plot of a play or to narrate in a way that does not have to state truth nor fact within the play.
- A formal ceremony in which a person is appointed to an office or into military service.
- An act of inducing.
- (physics) Generation of an electric current by a varying magnetic field.
- (medicine) The process of inducing labour for the childbirth process.
- stimulation that calls up (draws forth) a particular class of behaviors
- an electrical phenomenon whereby an electromotive force (EMF) is generated in a closed circuit by a change in the flow of current
- an act that sets in motion some course of events
- a formal entry into an organization or position or office
- reasoning from detailed facts to general principles
- the act of bringing about something (especially at an early time)
name
- (mathematics) Initialism of small-swing differential logic.
- (education) Initialism of Staged Self-Directed Learning.
- (technology) Initialism of SYLPH services definition language.
- Initialism of Space Systems Development Laboratory.
- (mathematics) Initialism of sample-set differential logic.
- (computer science) Initialism of social semantic digital library.
- (computer languages, databases) Initialism of SOAP Service Description Language.
- (physics) Initialism of solid-state dye laser.
noun
noun
- (computing) One of several alternative computational paradigms for a given theory.
- (literature) An approach to interpretation and/or evaluation focused on the (usually linguistic) structure of a literary work rather than on the contexts of its origin or reception.
- (philosophy of mathematics) The ontological view of mathematics as a mere collection of string manipulation rules.
- (music) The tendency to elevate formal above expressive value in music, as in serialism.
- (mathematics, physics) A particular mathematical or scientific theory or description of a given state or effect.
- Strict adherence to a given form of conduct, practice etc.
- (linguistics, computing, mathematics) A formal expression of a grammar; a formal grammar; a set of rules of syntax that, without reference to semantics, determine whether a sequence of symbols is a well-formed sentence in a given formal language.
- the practice of scrupulous adherence to prescribed or external forms
- (philosophy) the philosophical theory that formal (logical or mathematical) statements have no meaning but that its symbols (regarded as physical entities) exhibit a form that has useful applications
- the doctrine that formal structure rather than content is what should be represented
noun
- A diagram in the field of logic.
- Any schematic display of the logical relationships of project activities.
- Any non-spatial, abstract diagram.
- A graphical representation of a program using formal logic.
- A flow chart of hardware circuits or program logic.
- a graphical representation of a program using formal logic
name
noun
pron
noun
name
noun
adj
- (Lie theory, of an element x of a Lie algebra L) Belonging to the derived algebra of L and such that the adjoint action of x is nilpotent (as a linear transformation on L).
- (of an algebra over a commutative ring) Such that there exists some natural number n (called the index of the algebra) such that all products (of elements in the given algebra) of length n are zero.
- (Lie theory, of a Lie algebra) Such that the lower central series terminates.
- (ring theory, of an ideal I) Such that there exists a natural number k with Iᵏ = 0.
- (semigroup theory, of a semigroup with zero) Containing only nilpotent elements.
- (mathematics, algebra, ring theory, of an element x of a ring) Such that, for some positive integer n, xⁿ = 0.
- (group theory, of a group) Admitting a central series of finite length.
- equal to zero when raised to a certain power
noun
- (mathematics, philosophy) A proof.
- A show of military force.
- Expression of one's feelings by outward signs.
- An event at which something will be demonstrated.
- A public display of group opinion, such as a protest march.
- The act of demonstrating; showing or explaining something.
- (prison slang) A prisoner's act of beating up another prisoner.
- a public display of group feelings (usually of a political nature)
- a show of military force or preparedness
- proof by a process of argument or a series of proposition proving an asserted conclusion
- a show or display; the act of presenting something to sight or view
- a visual presentation showing how something works
adj
- (computing theory) Having semantics defined purely in terms of mathematical functions, without side-effects.
- Optimized for all-around physiological benefit.
- Useful; serving a purpose, fulfilling a function.
- (mathematics) Of or relating to a function or functions.
- Of or relating to one's role or office; official.
- Only for functional purposes, notably in architecture.
- In good working order.
- (physiology, psychology) Characterizing functioning in environment, being symptoms that do not presuppose alteration of organic structure.
- designed for or adapted to a function or use
- involving or affecting function rather than physiology
- (of e.g. a machine) performing or capable of performing
- relating to or based on function especially as opposed to structure
- designed for or capable of a particular function or use
- fit or ready for use or service
noun
- (mathematics) A function that takes a function as its argument; more precisely, a function whose argument varies in a space of (real or complex valued) functions and whose value belongs to a monodimensional space.
- (computing) An object encapsulating a function pointer (or equivalent).
- (mathematics, functional analysis) A scalar-valued linear function on a vector space.
noun
adj
adv
name
noun
- (computing theory) Initialism of consistency, availability, partition-tolerance, three irreconcilable guarantees in distributed systems, a result known as Brewer's theorem.
- Initialism of conservation action plan.
- Initialism of change acceleration process.
- (medicine) Initialism of community-acquired pneumonia.
- Initialism of combat air patrol.
- Initialism of colors and placements.
- Initialism of catabolite activator protein.
name
noun
- (logic) modus tollens
- Initialism of machine translation.
- Initialism of massage therapist.
- (biochemistry) Acronym of microtubule.
- (military, British) Initialism of mechanical transport.
- (US, engineering) Abbreviation of metric ton.
- Alternative form of M/T.
- a unit of weight equivalent to 1000 kilograms
- the use of computers to translate from one language to another
adj
name
noun
- (mathematics) A method of proof of a theorem by first proving it for a specific case (often an integer; usually 0 or 1) and showing that, if it is true for one case then it must be true for the next.
- An act of inducting.
- (embryology) Given a group of cells that emits or displays a substance, the influence of this substance on the fate of a second group of cells.
- (logic) Derivation of general principles from specific instances.
- (mechanical engineering) The delivery of air to the cylinders of an internal combustion piston engine.
- The process of showing a newcomer around a place where they will work or study.
- (theater) Use of rumors to twist and complicate the plot of a play or to narrate in a way that does not have to state truth nor fact within the play.
- A formal ceremony in which a person is appointed to an office or into military service.
- An act of inducing.
- (physics) Generation of an electric current by a varying magnetic field.
- (medicine) The process of inducing labour for the childbirth process.
- stimulation that calls up (draws forth) a particular class of behaviors
- an electrical phenomenon whereby an electromotive force (EMF) is generated in a closed circuit by a change in the flow of current
- an act that sets in motion some course of events
- a formal entry into an organization or position or office
- reasoning from detailed facts to general principles
- the act of bringing about something (especially at an early time)
noun
- (computing) One of several alternative computational paradigms for a given theory.
- (literature) An approach to interpretation and/or evaluation focused on the (usually linguistic) structure of a literary work rather than on the contexts of its origin or reception.
- (philosophy of mathematics) The ontological view of mathematics as a mere collection of string manipulation rules.
- (music) The tendency to elevate formal above expressive value in music, as in serialism.
- (mathematics, physics) A particular mathematical or scientific theory or description of a given state or effect.
- Strict adherence to a given form of conduct, practice etc.
- (linguistics, computing, mathematics) A formal expression of a grammar; a formal grammar; a set of rules of syntax that, without reference to semantics, determine whether a sequence of symbols is a well-formed sentence in a given formal language.
- the practice of scrupulous adherence to prescribed or external forms
- (philosophy) the philosophical theory that formal (logical or mathematical) statements have no meaning but that its symbols (regarded as physical entities) exhibit a form that has useful applications
- the doctrine that formal structure rather than content is what should be represented
noun
- A diagram in the field of logic.
- Any schematic display of the logical relationships of project activities.
- Any non-spatial, abstract diagram.
- A graphical representation of a program using formal logic.
- A flow chart of hardware circuits or program logic.
- a graphical representation of a program using formal logic
noun
name
noun
adj
- (Lie theory, of an element x of a Lie algebra L) Belonging to the derived algebra of L and such that the adjoint action of x is nilpotent (as a linear transformation on L).
- (of an algebra over a commutative ring) Such that there exists some natural number n (called the index of the algebra) such that all products (of elements in the given algebra) of length n are zero.
- (Lie theory, of a Lie algebra) Such that the lower central series terminates.
- (ring theory, of an ideal I) Such that there exists a natural number k with Iᵏ = 0.
- (semigroup theory, of a semigroup with zero) Containing only nilpotent elements.
- (mathematics, algebra, ring theory, of an element x of a ring) Such that, for some positive integer n, xⁿ = 0.
- (group theory, of a group) Admitting a central series of finite length.
- equal to zero when raised to a certain power
noun
- (mathematics, philosophy) A proof.
- A show of military force.
- Expression of one's feelings by outward signs.
- An event at which something will be demonstrated.
- A public display of group opinion, such as a protest march.
- The act of demonstrating; showing or explaining something.
- (prison slang) A prisoner's act of beating up another prisoner.
- a public display of group feelings (usually of a political nature)
- a show of military force or preparedness
- proof by a process of argument or a series of proposition proving an asserted conclusion
- a show or display; the act of presenting something to sight or view
- a visual presentation showing how something works
noun
adj
adv
name
verb
noun
- (logic) A syntactically correct expression that is deducible from the given axioms of a deductive system.
- (mathematics) A mathematical statement of some importance that has been proven to be true. Minor theorems are often called propositions. Theorems which are not very interesting in themselves but are an essential part of a bigger theorem's proof are called lemmas.
- (mathematics, colloquial, nonstandard) A mathematical statement that is expected to be true.
- a proposition deducible from basic postulates
- an idea accepted as a demonstrable truth
adj
- (mathematics) Self-evident.
- (taxonomy) Relating to or designating the name of a species; specific as opposed to generic.
- Pertaining to the trivium.
- (algebra, of an algebraic structure or ideal thereof) Containing only one element; having an underlying set which is a singleton.
- Commonplace, ordinary.
- (philosophy) Indistinguishable in case of truth or falsity.
- Concerned with or involving trivia.
- (mathematics) Of, relating to, or being the simplest possible case.
- Ignorable; of little significance or value.
- of little substance or significance
- concerned with trivialities
- (informal) small and of little importance
adj
noun
- (physics) The smallest possible, and therefore indivisible, unit of a given quantity or quantifiable phenomenon.
- (mathematics) A definite portion of a manifoldness, limited by a mark or by a boundary.
- The amount or quantity observably present, or available.
- (law) The length or magnitude of the sentence handed down to someone who has been found guilty of a crime.
- (computing, uncountable) Ellipsis of quantum computing.
- (now chiefly South Asia or law) The total amount of something; quantity.
- (law) The amount of compensation awarded to a successful party in a lawsuit.
- (computing) The amount of time allocated for a thread to perform its work in a multithreaded environment.
- (medicine) The minimum dose of a pathogen required to cause an infection.
- a discrete amount of something that is analogous to the quantities in quantum theory
- (physics) the smallest discrete quantity of some physical property that a system can possess (according to quantum theory)
adj
- (graph theory) Being or relating to a certain type of graph that complies with a theorem ("pluperfect graph theorem") discovered by D. R. Fulkerson in 1970, satisfying even more constraints than a perfect graph.
- More than perfect, utterly perfect, ideal.
- (mathematics) Synonym of multiperfect.
- (informal) Used as an intensifier in various interjections.
- (grammar) Pertaining to action completed before another action or event in the past, past perfect.
- more than perfect
noun
adj
adj
- (computing theory) Having semantics defined purely in terms of mathematical functions, without side-effects.
- Optimized for all-around physiological benefit.
- Useful; serving a purpose, fulfilling a function.
- (mathematics) Of or relating to a function or functions.
- Of or relating to one's role or office; official.
- Only for functional purposes, notably in architecture.
- In good working order.
- (physiology, psychology) Characterizing functioning in environment, being symptoms that do not presuppose alteration of organic structure.
- designed for or adapted to a function or use
- involving or affecting function rather than physiology
- (of e.g. a machine) performing or capable of performing
- relating to or based on function especially as opposed to structure
- designed for or capable of a particular function or use
- fit or ready for use or service
noun
- (mathematics) A function that takes a function as its argument; more precisely, a function whose argument varies in a space of (real or complex valued) functions and whose value belongs to a monodimensional space.
- (computing) An object encapsulating a function pointer (or equivalent).
- (mathematics, functional analysis) A scalar-valued linear function on a vector space.