-
21 strict implication
The English-Russian dictionary general scientific > strict implication
-
22 strict implication
-
23 условная импликация
Большой англо-русский и русско-английский словарь > условная импликация
-
24 вентиль условной импликации
Большой англо-русский и русско-английский словарь > вентиль условной импликации
-
25 операция условной импликации
Большой англо-русский и русско-английский словарь > операция условной импликации
-
26 operation
1) операция; действие2) работа; функционирование4) срабатывание ( прибора)5) редк. управление•- arithmetic operation
- array operation
- asynchronous operation
- atomic operation
- attend operation
- autohorized operation
- auto-parallel operation
- auto-serial operation
- auxiliary operation
- average calculating operation
- average calculation operation
- background operation
- battery operation
- biconditional operation
- bidirectional operation
- binary operation
- bitwise operation
- bit operation
- bookkeeping operation
- Boolean add operation
- Boolean operation
- both-way operation
- branch operation
- byte operation
- byte/word operations
- byte-write operation
- carry clearing operation
- checkpointing operation
- clerical operation
- collation operation
- combination operation
- combined operation
- comparison operation
- complementary operation
- complete operation
- compound operation
- computer operation
- concurrent operation
- conditional implication operation
- conditional operation
- conjunction operation
- consecutive operation
- consistency operation
- control operation
- control transfer operation
- conversational mode operation
- conversational operation
- corner-turning operation
- cumulative operation
- dagger operation
- data processing operation
- database operation
- declarative operation
- decoded operation
- device-dependent operation
- digit-to-digit operation
- digtiwise operation
- disjunction operation
- do-nothing operation
- don't care operation
- double-address operation
- double-length operation
- double-precision operation
- down operation
- drag and drop operation
- dual operation
- duplex operation
- dyadic operation
- either way operation
- EITHER-OR operation
- equality operation
- equivalence operation
- error-free operation
- except operation
- exchange operation
- exclusive OR operation
- fade operation
- fail-safe operation
- fail-soft operation
- fast rewind operation
- fixed-cycle operation
- fixedcycle operation
- fixed-point operation
- floating-point operation
- flow of control operation
- foreground operation
- full-duplex operation
- graft operation
- grouped operation
- half-duplex operation
- handshaked operation
- hands-on operation
- high-gain operation
- high-speed operation
- housekeeping operation
- I/O operations
- identity operation
- IF-AND-ONLY-IF operation
- IF-THEN operation
- illegal operation
- immediate operation
- implication operation
- inclusive OR operation
- inference operation
- input operation
- input/output operations
- integer operation
- interframe operation
- interlaced operations
- interleaving operations
- irreversible operation
- iterative operation
- jump operation
- keystroke operation
- large-signal operation
- link-following operation
- loading operation
- logical operation
- look-up operation
- loop operation
- low-level signal operation
- machine operation
- main operation
- majority operation
- make-break operation
- manual operation
- marginal operation
- marking operation
- master-slave operation
- match operation
- match-merge operation
- matrix operation
- meet operation
- mismatch operation
- monadic operation
- monitor-controlled operation
- move operation
- multibyte operation
- multidimensional operation
- multijob operation
- multiple operations
- multiple-computer operation
- multiple-processor operation
- multiple-shift operation
- multiple-word operation
- multiplex operation
- multiplexed operations
- multiply-accumulate operation
- multitask operation
- multitrack operation
- N-adic operation
- naming operation
- NAND operation
- N-ary operation
- nearest-value operation
- neighborhood operation
- NEITHER-NOR operation
- next higher retrieval operation
- next lower retrieval operation
- no operation
- no-failure operation
- nonarithmetical operation
- nonconjunction operation
- nondata operation
- nondisjunction operation
- nonequivalence operation
- nonidentity operation
- nonprimitive operation
- NOR operation
- NOT AND operation
- NOT BOTH operation
- NOT operation
- NOT-IF-THEN operation
- NOT-OR operation
- nullary operation
- off-line operation
- one-pass operation
- one-shot operation
- one-step operation
- one-way operation
- on-going operations
- on-line operation
- OR operation
- output operation
- overhead operation
- P operation
- packet-mode operation
- parallel operation
- parallel-parallel operation
- parallel-serial operation
- part-word operation
- paste operation
- peripheral operation
- pipeline operation
- pixel-level operation
- pointer operation
- polar operation
- primitive operation
- privileged operation
- prune operation
- pseudo off-line operation
- pulsed operation
- quarternary operation
- queue operation
- real operation
- real-time operation
- record-at-a-time operation
- red-tape operation
- reductive operation
- refinement operation
- register operation
- relational algebraic operation
- relational join operation
- remote operation
- repetitive operation
- retrieval operation
- rewind operation
- RMW operation
- scalar operation
- scale operation
- scanning operation
- scatter-write operation
- scheduled operation
- screening operation
- search operation
- sensing operation
- sensory operation
- sequential operation
- serial digit operation
- serial operation
- serial word operation
- serial-parallel operation
- serial-serial operation
- set operation
- set-at-a-time operation
- Sheffer-stroke operation
- shift operation
- simplex operation
- simultaneous operation
- single operation
- single-program operation
- single-shot operation
- single-step operation
- single-task operation
- slave operation
- small-signal operation
- split-word operation
- stable operation
- stack operation
- stacked job operation
- standard operation
- start-stop operation
- step-and-repeat operations
- step-by-step operation
- storage operation
- streaming operation
- string operation
- synchronous operation
- takedown operation
- team operation
- threshold operation
- time-consuming operation
- time-sharing operation
- transfer operation
- transmit operation
- triggerable operation
- Turing elementary operation
- two-way alternative operation
- two-way-simultaneous operation
- unary operation
- unattended operation
- unauthorized operation
- union operation
- unloading operation
- up operation
- V operation
- variable-cycle operation
- variable-length operation
- vector operation
- word operation
- write operation
- write-on match operation
- write-while read operation
- yes-no operationEnglish-Russian dictionary of computer science and programming > operation
-
27 gate
1) вентиль; (вентильная) схема; логический элемент2) стробирующий импульс; строб-импульс || стробировать; пропускать; управлять пропусканием; управлять отпиранием•- gate through- A AND-NOT B gate
- A except B gate
- A ignore B gate
- A ignore B negative gate
- A implies B gate
- A implies B negative gate
- A OR-NOT B gate
- add gate
- add without carry gate
- addend-in gate
- adder gate
- all or nothing gate
- alternation gate
- alternative denial gate
- amplitude gate
- AND - NOT gate
- AND gate
- AND-to-AND gate
- AND-to-OR gate
- anticoincidence gate
- any but not all gate
- any or all gate
- augend-in gate
- B AND-NOT A gate
- B except A gate
- B ignore A gate
- B ignore A negative gate
- B implies A gate
- B implies a negative gate
- B OR-NOT A gate
- basic gate
- biconditional gate
- Boolean gate
- bud isolation gates
- carry gate
- cascaded gates
- C-gate
- coincidence gate
- complement gate
- conditional implication gate
- conjunction gate
- controllable gate
- crowded gate
- decision gate
- difference gate
- differential gate
- diode gate
- disjunction gate
- dispersion gate
- distance gate
- diversity gate
- don't care gate
- double-input gate
- dual gate
- EITHER-OR gate
- emitter-coupled gate
- equality gate
- equivalence gate
- equivalent gate
- eraser gate
- except gate
- exclusive NOR gate
- exclusive OR gate
- exjunction gate
- fault tree gate
- front-end gate
- gate between channels
- generator gate
- glue-type gate
- identity gate
- if A then B gate
- if A then NOT B gate
- IF-THEN gate
- ignore gate
- implication gate
- inclusion gate
- inclusive NOR gate
- inclusive OR gate
- inequivalence gate
- inhibitory gate
- insulated gate
- intersection gate
- inverted AND gate
- inverting gate
- isolated gate
- join gate
- joint denial gate
- locking gate
- logic product gate
- logic sum gate
- logical gate
- logic gate
- low-power gate
- majority decision gate
- majority gate
- match gate
- matrix gate
- mix gate
- modulo-two sum gate
- multiplicand gate
- NAND gate
- negation gate
- negative AND gate
- negative OR gate
- NEITHER-NOR gate
- N-input gate
- nonconjunctive gate
- nondisjunction gate
- nonequality gate
- nonequivalence gate
- NOR gate
- NOT gate
- NOT-AND gate
- NOT-both gate
- NOT-IF-THEN gate
- null gate
- one gate
- open-collector gate
- OR gate
- OR-ELSE gate
- OR-to-AND gate
- OR-to-OR gate
- partial sum gate
- positive AND gate
- positive OR gate
- priority AND gate
- pulse gate
- pulse-train gate
- quad gate
- readout gate
- reconvergent gate
- rejection gate
- self-aligned gate
- Sheffer stroke gate
- shift gate
- silicon gate
- spare gate
- special gate
- sum readout gate
- sum-out gate
- swap gate
- symmetric difference gate
- threshold gate
- time gate
- true gate
- two-input gate
- union gate
- voltage sensitive gate
- wired gate
- zero gate
- zero-match gateEnglish-Russian dictionary of computer science and programming > gate
-
28 импликация
Большой англо-русский и русско-английский словарь > импликация
-
29 law
1) закон3) правило4) принцип•under the law — по закону, согласно закону, в соответствии с законом
- Biot law- converse law of double negation- cube law- distributive law of disjunction over conjunction - double law of the mean - fifth power law - first distributive law - first law of mean- gas law- idempotency law - infinitely decomposable law - infinitely divisible law - inverse sine law - inverse square law - law of addition of probability - law of alteration of quantifiers - law of associativity of disjunction - law of comparative judgment - law of constant angles - law of double complementation - law of equal significance - law of mass action - law of random function - law of random vector - law of requisite variety - law of right invertibility - law of statistical regularity - law of universal causation - law of universal gravitation - Newton's first law of motion - Newton's law of gravitation - Newton's second law of motion - Newton's third law of motion - normal law of composition - normal law of errors - one-sided modular law - probabilistic law - probability law - product law of probability - quadratic reciprocity law - second law of mean - second order law - similitude law- time law- weak law
- 1
- 2
См. также в других словарях:
Implication — can refer to:* Logic: ** Logical implication as regarded in mathematical logic. ** Material conditional as regarded in philosophical logic.:* Entailment (pragmatics):Also, in linguistics, there are different specialized related notions::*… … Wikipedia
Conditional preservation of the saints — The Five Articles of Remonstrance Conditional election Unlimited atonement Total depravity … Wikipedia
implication — implicational, adj. /im pli kay sheuhn/, n. 1. something implied or suggested as naturally to be inferred or understood: to resent an implication of dishonesty. 2. the act of implying: His implication of immediate changes surprised us. 3. the… … Universalium
Conditional quantifier — In logic, a conditional quantifier is a kind of Lindström quantifier (or generalized quantifier) QA that, relative to a classical model A, satisfies some or all of the following conditions ( X and Y range over arbitrary formulas in one free… … Wikipedia
conditional — Any proposition of the form ‘if p then q ’. The condition hypothesized, p, is called the antecedent of the conditional, and q the consequent. Various kinds of conditional have been distinguished. The weakest is that of material implication,… … Philosophy dictionary
Conditional proof — A conditional proof is a proof that takes the form of asserting a conditional, and proving that the antecedent of the conditional necessarily leads to the consequent. The assumed antecedent of a conditional proof is called the conditional proof… … Wikipedia
conditional — I. adjective Date: 14th century 1. subject to, implying, or dependent upon a condition < a conditional promise > 2. expressing, containing, or implying a supposition < the conditional clause if he speaks > 3. a. true only for certain values of… … New Collegiate Dictionary
conditional relation — noun a logical relation between propositions p and q of the form if p then q ; if p is true then q cannot be false • Syn: ↑implication, ↑logical implication • Derivationally related forms: ↑implicational (for: ↑implication), ↑imply … Useful english dictionary
conditional — con•di•tion•al [[t]kənˈdɪʃ ə nl[/t]] adj. 1) imposing, containing, subject to, or depending on a condition; not absolute: conditional acceptance[/ex] 2) gram. (of a sentence, clause, mood, or word) involving or expressing a condition, as the… … From formal English to slang
Paradoxes of material implication — Implication, in logic, describes conditional if then statements, e.g., if it is raining, then I will bring an umbrella. There are many ways to formalise implication, of which material implication is one of the simplest. It equates the statement… … Wikipedia
Logical implication — In logic and mathematics, logical implication is a logical relation that holds between a set T of formulae and a formula B when every model (or interpretation or valuation) of T is also a model of B . In symbols,# T models B, # T Rightarrow B # T … Wikipedia
