💡 Words with a Similar Meaning to "Sequential logic"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| combinational logicnoun | (electrical engineering) A form of digital circuit logic where the current outputs are entirely a function of the current inputs, without having a memory of previous inputs or states. |
| logic circuitnoun | (computing) a chain of multiple logic gates |
| logicnoun | (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. |
| linear logicnoun | (logic) A logic in which two structural rules are missing from its sequent calculus: those for weakening and contraction; which has some extra logical connectives, so that it has both "additive" and "multiplicative" versions of the typical binary connectives and truth constants; and which has a pair of modal, "exponential" operators for resource management, to help make up for the loss of the two structural rules. |
| logic diagramnoun | A diagram in the field of logic. |
| positive logicnoun | (logic) A logical system or fragment thereof not containing a negation operator. |
| negative logicnoun | (electrical engineering) The use of the higher(positive) voltage level to represent the Boolean value 0 and the lower voltage(negative) level to represent the Boolean value 1. |
| series circuitnoun | Any electric circuit having all elements joined in a sequence such that the same current flows through them all |
| computation tree logicnoun | (computer science) A particular modal logic of branching time with operators "next", "globally", "finally" or "eventually", "until", and "weak until". |
| sublogicnoun | (mathematics) A subset of a system of logic |
| closed loopnoun | A feedback loop, especially when found in: |
| uncommitted logic arraynoun | (electronics) A gate array. |
| quantum logicnoun | (logic, quantum mechanics) A form of non-classical logic which has been abstracted out of quantum mechanics. |
| short circuit operatornoun | (computing) A logical operator that returns a value as soon as the outcome is certain, without necessarily testing all operands (for example, an OR operator returning true if the first operand evaluates as true, without evaluating the second operand). |
| combinatory logicnoun | (computer science) Model of computation based on combinators. |
| boolean logicnoun | (computing, logic, mathematics) A system of symbolic logic that is the basis of Boolean algebra |
| sequent calculusnoun | (mathematics, logic) A set of inference rules for deriving true sequents from other true sequents. |
| logical calculusnoun | (logic) A formal system. |
| mathematical logicnoun | (logic) A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressive power of formal logics and the deductive power of formal proof systems. |
| many-sorted logicnoun | (logic) A logic that directly supports classification of entities into disjunct sorts. |
Translate “Sequential logic” into Another Language
Pick a language — the word will be pre-filled in the translator.