-
1 modal logic
Большой англо-русский и русско-английский словарь > modal logic
-
2 modal logic
-
3 modal logic
Математика: модальная логика -
4 modal logic
-
5 modal logic
The New English-Russian Dictionary of Radio-electronics > modal logic
-
6 modal logic
English-Russian dictionary of computer science and programming > modal logic
-
7 modal logic
-
8 modal logic
модальная логика -
9 modal logic
мат. -
10 modal logic
-
11 modal logic
Англо-русский словарь по исследованиям и ноу-хау > modal logic
-
12 general modal logic
Математика: общая модальная логика -
13 general modal logic
-
14 logic
-
15 logic
в) логическая схема; логические схемы- active logic
- application logic
- assertion-level logic - base-coupled logic
- binary logic
- bipolar logic
- bit-serial logic
- bubble logic
- buffered logic
- buried-load logic
- business logic
- cache logic
- cellular logic
- charge-coupled logic
- charge-coupled device logic
- chroma invert logic
- clocked logic
- closed C-MOS logic
- collector-coupled logic
- combination logic
- compatible logic - complementary transistor-resistor logic
- computer logic
- control logic
- core logic
- core-transistor logic
- current-hogging logic - current-mode logic
- current-sinking logic
- current-sourcing logic
- degating logic
- designer choice logic - double-railed logic
- dynamic logic - emitter-function logic
- extensional logic
- field-effect transistor logic
- first-order logic
- first-order predicate logic
- formal logic
- full logic
- functional logic
- fuse-programmable array logic
- fuzzy logic
- glue logic - hardware logic
- hard-wired logic
- high-level logic - integrated-circuit logic - latching logic
- local-control logic
- locked-pair logic
- look-ahead carry logic - low-voltage logic - magnetic domain-wall logic
- magnetoelectronic logic
- magnetooptical logic
- majority logic
- mathematical logic - micropower logic
- microwatt logic
- microwave logic
- modal logic
- multiaperture-device logic
- multiemitter-transistor logic
- multilevel logic
- multiphase logic
- multitarget acquisition logic
- multivalued logic
- nanosecond logic
- negative logic
- neighborhood logic - n-level logic
- one-line delay logic
- operation logic
- optical logic
- optoelectronic logic
- pass-transistor logic
- positive logic
- positive true logic
- predicate logic
- programmable logic
- programmable array logic
- quadded logic
- Rambus signaling logic
- random logic
- rapid single flux quantum logic
- reacquisition logic
- Reed-Müller logic
- register transfer logic - resistor-coupled transistor logic - sampling-type logic
- saturated logic
- save-carry logic - Schottky transistor-transistor logic - shared logic
- solid logic
- solid-state logic
- standard logic
- static logic
- stored logic - ternary logic
- tertiary logic
- threshold logic
- tightly-packed logic
- track monitoring logic
- transistor logic - tunnel-diode logic - virtual logic
- voltage-stage logic
- wired program logic -
16 logic
в) логическая схема; логические схемы•- active logic
- application logic
- assertion-level logic
- assisted Gunning transceiver logic
- asynchronous logic
- base-coupled logic
- binary logic
- bipolar logic
- bit-serial logic
- bubble logic
- buffered logic
- buried-load logic
- business logic
- cache logic
- cellular logic
- charge-coupled device logic
- charge-coupled logic
- chroma invert logic
- clocked logic
- closed C-MOS logic
- collector-coupled logic
- combination logic
- compatible current-sinking logic
- compatible logic
- complementary constant-current logic
- complementary resistor-diode-transistor logic
- complementary transistor-resistor logic
- complementary-transistor logic
- computer logic
- control logic
- core logic
- core-transistor logic
- current-hogging injection logic
- current-hogging logic
- current-merged logic
- current-mode logic
- current-sinking logic
- current-sourcing logic
- degating logic
- designer choice logic
- digital summation threshold logic
- diode logic
- diode-transistor logic
- direct-coupled field-effect-transistor logic
- direct-coupled logic
- direct-coupled transistor logic
- direct-coupled unipolar transistor logic
- distributed logic
- domain-tip-propagation logic
- domain-wall logic
- double-railed logic
- dynamic logic
- emitter-coupled current-steering logic
- emitter-coupled logic temperature compensated
- emitter-coupled logic
- emitter-coupled transistor logic
- emitter-emitter coupled logic
- emitter-follower logic
- emitter-function logic
- extensional logic
- field-effect transistor logic
- first-order logic
- first-order predicate logic
- formal logic
- full logic
- functional logic
- fuse-programmable array logic
- fuzzy logic
- glue logic
- Gunning transceiver logic
- half-line delay logic
- hardware logic
- hard-wired logic
- high-level logic
- high-level transistor-transistor logic
- high-noise immunity logic
- high-power logic
- high-threshold logic
- Horn clause logic
- integrated injection logic
- integrated Schottky logic
- integrated-circuit logic
- intensional logic
- isoplanar integrated injection logic
- Josephson logic
- latching logic
- local-control logic
- locked-pair logic
- look-ahead carry logic
- low-level logic
- low-power diode-transistor logic
- low-power logic
- low-power resistor-transistor logic
- low-power Schottky transistor-transistor logic
- low-threshold logic
- low-voltage logic
- low-voltage transistor-transistor logic
- machine logic
- magnetic domain-wall logic
- magnetoelectronic logic
- magnetooptical logic
- majority logic
- mathematical logic
- merged transistor logic
- metal-oxide-semiconductor transistor logic
- microcontrol logic
- micropower logic
- microwatt logic
- microwave logic
- modal logic
- multiaperture-device logic
- multiemitter-transistor logic
- multilevel logic
- multiphase logic
- multitarget acquisition logic
- multivalued logic
- nanosecond logic
- negative logic
- negative true logic
- neighborhood logic
- n-level logic
- one-line delay logic
- operation logic
- optical logic
- optoelectronic logic
- pass-transistor logic
- positive logic
- positive true logic
- predicate logic
- programmable array logic
- programmable logic
- quadded logic
- Rambus signaling logic
- random logic
- rapid single flux quantum logic
- reacquisition logic
- Reed-Müller logic
- register transfer logic
- resistor-capacitor diode-transistor logic
- resistor-capacitor transistor logic
- resistor-coupled transistor logic
- resistor-transistor logic
- RSFQ logic
- sampling-type logic
- saturated logic
- save-carry logic
- Schottky transistor logic
- Schottky transistor-transistor logic
- Schottky-diode FET logic
- self-aligned superinjection logic
- sequential logic
- shared logic
- solid logic
- solid-state logic
- standard logic
- static logic
- stored logic
- substrate-fed logic
- symbolic logic
- symmetrical emitter-coupled logic
- synchronous logic
- ternary logic
- tertiary logic
- threshold logic
- tightly-packed logic
- track monitoring logic
- transistor current-steering logic
- transistor logic
- transistor-coupled logic
- transistor-diode logic
- transistor-resistor logic
- transistor-transistor logic
- tri-state logic
- tunnel-diode charge-transformer logic
- tunnel-diode coupled logic
- tunnel-diode logic
- tunnel-diode transistor logic
- unsaturated logic
- variable-threshold logic
- vertical injection logic
- virtual logic
- voltage-stage logic
- wired program logicThe New English-Russian Dictionary of Radio-electronics > logic
-
17 logic
1) логика2) логическая часть, логический узел ( ЭВМ)3) логическая схема; логические схемы, логика•- adaptive logic
- address-comparison logic
- address-recognition logic
- address-selection logic
- all-magnetic logic
- all-transistor logic
- arbitration logic
- arithmetic logic
- binary logic
- bipolar logic
- Boolean logic
- carry determination logic
- cellular logic
- circuit logic
- clocked logic
- closed-cell logic
- combinational logic
- combinatorial logic
- combinatory logic
- command decode logic
- comparison logic
- compatible logic
- complementary transistor logic
- complementary transistor-resistor logic
- computer logic
- constructive logic
- control logic
- core logic
- crisp logic
- current injection logic
- current mode logic
- current sinking logic
- current steering logic
- current-hogging logic
- custom logic
- data manipulation logic
- decryption logic
- degating logic
- derivative logic
- designer choice logic
- design-for-test logic
- differential logic
- digit logic
- diode logic
- diode-emitter coupled logic
- diode-transistor logic
- direct-coupled transistor logic
- distributed logic
- double-rail logic
- emitter-emitter-coupled transistor logic
- emitter-coupled transistor logic
- emitter-emitter-coupled logic
- emitter-coupled logic
- emitter-follower logic
- epistemic logic
- error-checking logic
- failure detection logic
- fault-masking logic
- feature logic
- field-programmable logic
- fluid logic
- formal logic
- fuzzy logic
- glue logic
- hardwired logic
- high-noise-immunity logic
- high-threshold logic
- Hoare logic
- incremental logic
- inferencial logic
- injection-coupled logic
- instruction logic
- integrated injection logic
- interface logic
- interrupt logic
- irregular logic
- Josephson junction logic
- kindred logic
- ladder logic
- level logic
- linearly independent logic
- locked-pair logic
- logic under test
- low level logic
- machine logic
- magneto-optical logic
- majority-vote logic
- majority logic
- many-valued logic
- mathematical logic
- merged logic
- merged-transistor logic
- microprogrammed logic
- microwatt logic
- microwave logic
- modal logic
- modified diode-transistor logic
- morphic logic
- multiple-valued logic
- multi-valued logic
- multiaperture device logic
- multihpase pulse logic
- nanosecond logic
- negative logic
- N-level logic
- nonmonotonic logic
- N-out-of-M logic
- N-valued logic
- on-board logic
- on-chip control logic
- optoelectronic logic
- out-of-order issue logic
- paging logic
- parametron logic
- path programmable logic
- per-bit logic
- philosophical logic
- positive logic
- possibilistic logic
- probabilistic logic
- processing logic
- programmable array logic
- programmable logic
- programmed logic
- quadded logic
- random logic
- random sequential logic
- recovery logic
- reference logic
- regular logic
- relay logic
- relevance logic
- resistor-capacitor-transistor logic
- resistor-coupled transistor logic
- resistor-diode-transistor logic
- resistor-transistor logic
- ripple-carry logic
- save-carry logic
- Schottky transistor-transistor logic
- sector-buffering logic
- self-checking logic
- self-timed logic
- sequential logic
- single-phase pulse logic
- single-sorted logic
- solid-state logic
- stored logic
- structured logic
- switching logic
- symbolic logic
- temporal logic
- ternary logic
- test logic
- three-level logic
- three-state logic
- three-value logic
- threshold logic
- timed-access logic
- timing logic
- transaction logic
- transister logic
- transistor-coupled logic
- transistor-diode logic
- transistor-resistor logic
- transistor-transistor logic
- tri-state logic
- tube-and-diode logic
- tunnel-diode logic
- two-valued logic
- unconditional logic
- user-definable logic
- variable logic
- variable threshold logic
- vertical injection logic
- wired logic
- wired-OR, wired-AND logic
- word logicEnglish-Russian dictionary of computer science and programming > logic
-
18 logic
1) логика
2) словный
3) логический
– binary logic
– combinational logic
– combinatory logic
– commodity logic
– constructive logic
– core logic
– diode-transister logic
– diode-transistor logic
– extensional logic
– formal logic
– glue logic
– irregular logic
– lack of logic
– ladder logic
– level logic
– logic circuit
– logic diagram
– logic element
– logic gate
– logic machine
– logic modulus
– logic strength
– logic transistor
– majority logic
– mathematical logic
– modal logic
– negative logic
– NOR logic circuit
– predicate logic
– probabilistic logic
– propositional logic
– resistor-transistor logic
– ternary logic
– threshold logic
– transistor-transistor logic
– transistor-transistor logic
capacitive diode FET logic — логика на полевых транзисторах с емкостными связями через диоды
classical propositional logic — классическая логика высказываний
threshold logic unit — <comput.> блок логический пороговый
uncommitted logic elements — нескоммутированные логические элементы
-
19 modal
-
20 модальная логика
Большой англо-русский и русско-английский словарь > модальная логика
- 1
- 2
См. также в других словарях:
Modal logic — is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… … Wikipedia
modal logic — mo dal log ic, n. A system of logic which studies how to combine propositions which include the concepts of necessity, possibility, and obligation. [PJC] … The Collaborative International Dictionary of English
modal logic — Formal systems incorporating modalities such as necessity, possibility, impossibility, contingency, strict implication, and certain other closely related concepts. The most straightforward way of constructing a modal logic is to add to some… … Universalium
modal logic — A logic studying the notions of necessity and possibility. Modal logic was of great importance historically, particularly in the light of various doctrines concerning the necessary properties of the deity, but was not a central topic of modern… … Philosophy dictionary
modal logic — noun 1. the logical study of necessity and possibility • Hypernyms: ↑logic 2. a system of logic whose formal properties resemble certain moral and epistemological concepts • Hypernyms: ↑symbolic logic, ↑mathematical logic, ↑formal logic • … Useful english dictionary
modal logic — noun Any formal system that attempts to deal with modalities, such as possibility and necessity, but also obligation and permission. See Also: deontic logic, doxastic logic, epistemic logic … Wiktionary
Epistemic modal logic — is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition dating back to Ancient Greece, epistemic logic is a much more recent development with applications in many fields … Wikipedia
Dynamic logic (modal logic) — For the subject in digital electronics also known as clocked logic, see dynamic logic (digital electronics). Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs and later applied to more general… … Wikipedia
Classical modal logic — In modal logic, a classical modal logic L is any modal logic containing (as axiom or theorem) the duality of the modal operators which is also closed under the rule Alternatively one can give a dual definition of L by which L is classical iff it… … Wikipedia
S5 (modal logic) — In logic and philosophy, S5 is one of five systems of modal logic proposed by Clarence Irving Lewis and Cooper Harold Langford in their 1932 book Symbolic Logic . It is a normal modal logic, and one of the oldest systems of modal logic of any… … Wikipedia
Regular modal logic — In modal logic, a regular modal logic L is a modal logic closed underDiamond A equiv lnotBoxlnot Aand the rule(Aland B) o C vdash (Box AlandBox B) oBox C.Every regular modal logic is classical, and every normal modal logic is regular and hence… … Wikipedia