-
41 модальная логика
-
42 модальный
-
43 модальный
-
44 модальный
-
45 модальный
-
46 модальный
Русско-английский словарь по информационным технологиям > модальный
-
47 modalna logika pravila
• modal logic of rules and runs -
48 модальная логика
modal logic мат.Русско-английский научно-технический словарь Масловского > модальная логика
-
49 lógica
f.logic, method, logicality.* * *1 logic\lógica matemática mathematical logic* * *1. noun f. 2. f., (m. - lógico)* * *SF logiclógicológica borrosa, lógica difusa — fuzzy logic
* * *a) ( coherencia) logicb) (Fil) logic* * *= logic, ratio decidendi, reasonability.Ex. For example, class R Philosophy is first divided into such canonical divisions as Logic, Epistemology, Metaphysics, Ethics and Aesthetics.Ex. An online search of the WESTLAW and LEXIS databases, and examination of numerous cases with potential precedential value found the many dicta in judicial opinions to differ among jurisdictions, and found no ratio decidendi at all.Ex. A major objective of this project was also to demonstrate both the possibility and the reasonability of using handheld technology = Además, uno de los principales objetivos de este proyecto fue demostrar la posibilidad y la conveniencia de utilizar tecnología portátil para simplificar y normalizar el proceso de recogida de datos.----* base de datos de lógica difusa = fuzzy database.* conjunto aleatorio de lógica difusa = random fuzzy set.* conjunto de lógica difusa = fuzzy set.* conjuntos de lógica difusa = fuzzy clustering.* especialista en la lógica = logician.* lógica booleana = Boolean logic.* lógica borrosa = fuzzy logic.* lógica contextual = contextual logic.* lógica de búsqueda = search logic.* lógica de búsqueda por ponderación = weighted-term search logic.* lógica de términos ponderados = weighted term logic.* lógica difusa = fuzzy logic.* lógica imprecisa = fuzzy logic.* lógica matemática = mathematical logic.* lógica modal = modal logic.* lógica simbólica = symbolic logic.* modelo de lógica difusa = fuzzy model.* operador de lógica booleana = Boolean logic operator.* procesador de lógica difusa = fuzzy query processor.* recuperación de información de lógica difusa = fuzzy data retrieval.* señal lógica = logical signal.* sin lógica ni explicación = without rhyme or reason.* sistema de lógica difusa = fuzzy system.* suma lógica = logical sum.* técnica de recuperación por medio de la lógica difusa = fuzzy IR technique.* variable aleatoria de lógica difusa = fuzzy random variable.* * *a) ( coherencia) logicb) (Fil) logic* * *= logic, ratio decidendi, reasonability.Ex: For example, class R Philosophy is first divided into such canonical divisions as Logic, Epistemology, Metaphysics, Ethics and Aesthetics.
Ex: An online search of the WESTLAW and LEXIS databases, and examination of numerous cases with potential precedential value found the many dicta in judicial opinions to differ among jurisdictions, and found no ratio decidendi at all.Ex: A major objective of this project was also to demonstrate both the possibility and the reasonability of using handheld technology = Además, uno de los principales objetivos de este proyecto fue demostrar la posibilidad y la conveniencia de utilizar tecnología portátil para simplificar y normalizar el proceso de recogida de datos.* base de datos de lógica difusa = fuzzy database.* conjunto aleatorio de lógica difusa = random fuzzy set.* conjunto de lógica difusa = fuzzy set.* conjuntos de lógica difusa = fuzzy clustering.* especialista en la lógica = logician.* lógica booleana = Boolean logic.* lógica borrosa = fuzzy logic.* lógica contextual = contextual logic.* lógica de búsqueda = search logic.* lógica de búsqueda por ponderación = weighted-term search logic.* lógica de términos ponderados = weighted term logic.* lógica difusa = fuzzy logic.* lógica imprecisa = fuzzy logic.* lógica matemática = mathematical logic.* lógica modal = modal logic.* lógica simbólica = symbolic logic.* modelo de lógica difusa = fuzzy model.* operador de lógica booleana = Boolean logic operator.* procesador de lógica difusa = fuzzy query processor.* recuperación de información de lógica difusa = fuzzy data retrieval.* señal lógica = logical signal.* sin lógica ni explicación = without rhyme or reason.* sistema de lógica difusa = fuzzy system.* suma lógica = logical sum.* técnica de recuperación por medio de la lógica difusa = fuzzy IR technique.* variable aleatoria de lógica difusa = fuzzy random variable.* * *1 (coherencia) logiclo que hizo carece de toda lógica there was no logic to what she did, what she did was completely illogical2 ( Fil) logicCompuestos:mathematical logicformal o symbolic logic* * *
lógica sustantivo femenino
logic
lógico,-a adjetivo logical: es lógico que te enfades, it's natural for you to get angry
lógica sustantivo femenino logic: está fuera de toda lógica, it's completely illogical
' lógica' also found in these entries:
Spanish:
sentida
- sentido
- aplastante
- encontrar
English:
add up
- logic
- rationale
- hold
* * *lógica nf1. [ciencia] logicInformát lógica booleana Boolean logic; Informát lógica borrosa fuzzy logic; Informát lógica difusa fuzzy logic;lógica matemática mathematical logic2. [coherencia] logic;por lógica obviously;tener lógica to make sense;eso no tiene lógica that doesn't make any sense* * *f logic* * *lógica nf: logic* * *lógica n logic -
50 логика
ж. logicлогика «большинства» — majority logic
-
51 логика
ло́гика ж.
logicадапти́вная ло́гика — adaptive logicбина́рная ло́гика — binary logicло́гика «большинства́» — majority logicвероя́тностная ло́гика — probabilistic logicло́гика выска́зываний — propositional logicдиалекти́ческая ло́гика — dialectical logicN-зна́чная ло́гика — N-valued logicинтенсиона́льная ло́гика — intensional logicинтуициони́стская ло́гика — intuitiotistic logicкомбинато́рная ло́гика — combinatorial [combinatory] logicконструкти́вная ло́гика — constructive logicмажорита́рная ло́гика — majority logicматемати́ческая ло́гика — mathematical logicмногозна́чная ло́гика — many-valued logicмода́льная ло́гика — modal logicнерегуля́рная ло́гика — irregular logicотрица́тельная ло́гика — negative logicположи́тельная ло́гика — positive logicпоро́говая ло́гика — threshold logicло́гика предика́тов — predicate logicло́гика прерыва́ния — interrupt logicпрограмми́руемая ло́гика — programmable logicсимволи́ческая ло́гика — symbolic logicстати́ческая ло́гика — static logicтеорети́ческая ло́гика — mathematical logicтрои́чная ло́гика — ternary logicформа́льная ло́гика — formal logic -
52 Modallogik
-
53 модальная логика
Mathematics: modal logic -
54 общая модальная логика
Mathematics: general modal logicУниверсальный русско-английский словарь > общая модальная логика
-
55 discussion
N1. चर्चाThe book contains an excellent discussion of modal logic. -
56 общая модальная логика
Русско-английский научно-технический словарь Масловского > общая модальная логика
-
57 calculus
-
58 test
1. испытание, испытания; проверка; контроль; тестирование; опробование;см. тж. testing/ испытывать; проверять; контролировать; тестировать; опробовать2. тест; проба3. критерий; признакaccelerate-stop testsaccelerated mission testacceleration-deceleration testaerobatic flight testsaeroelastic testsagility testair resonance testair-to-air testair-to-air combat testairframe testairspeed calibration testall-attitude flight testasymmetric loads testsasymmetric wing sweep flight testsauto-guidance testsbefore-flight-rated testsbench testbiaxial fatigue testbird impact testbird ingestion testbird strike testbird strike testsburn-in testburst pressure testcatapult testscentrifugal load testcentrifuge testsclean configuration testclosed-loop testcockpit workload testcombined-systems testscompatibility testcomponent testscompression testcomputer-aided testconstant amplitude testcontinued takeoff testscontrol testconvergence testcooling testcrack-detection testscrash testcreep testcrush testscyclic testsdamage tolerance testdamage resistance testdeparture testdepressed-trajectory testdestruction testdevelopment testsdivergence testsdual-frequency testdurability testdynamometer testselectromagnetic interference testselectromagnetic-vulnerability testemergency survival testEMI testsendurance testengine reingestion testenvironmental testexploratory testsfatigue testflammability testflaps up landing testsflexure testflight clearance testflight simulation testsflight-by-flight fatigue testflight simulation fatigue testsflow field testsflow visualization testsflutter testflutter-proof testsflyover testsforce testsforced oscillation testsforeign object damage testfree oscillation testsfree spinning facility testsfree-flight testfree-to-roll testsfrequency response testsfrequency-sweep testfuel runout testfull-scale testground effect testground resonance testhandling qualities testshard-ride testheat testsheavyweight testhigh-angle-of-attack testshigh-alpha testhover testshover in-ground-effect testhover-in-ground testhovering testshumidity testsicing testimpact testin-plant testsinput-to-output testsiron bird testslanding testlanding flap testslife roll testlimit cycle testslimited-envelope flight testload-deflection testlogic testlow-observability testmaneuvering testsmanual flight testsmodal testmodal survey testmode interaction testsmodel tests of airfoilsmoire interferometry testsnoise testnondestructive testnormal takeoff testsNyquist stability testopen-loop testsoperability testoscillatory testsoverland testsoxygen testsperformance testpilot-in-loop testsplenum-chamber burning testspost-flight testpreflight testpressure testpressurization testproof-lood testproof-of-concept testsradar cross-section testradiographic testrain testramp testsrate of climb testrejected takeoff testreliability testremote-site testrepair testresidual strength testresonance testsreverse-thrust testsrig testrobustness testroll-on-rim testrolling testrotary-balance testsrough ground profile testshake testshakedown testshear testsideslip testssimulation verification testsimulator testsmall-scale testsmoke testspin testsspray ingestion teststability teststall testsstatic testsstatic strength teststeady rolling testssteady state teststealth teststiffness teststore compatibility teststrength testsstructural testssupercritical testsystem integration testtail on/off teststakeoff testtaxy testtensile testtension testtethered testtowing testtransfer function testsvalidation testsvectored thrust testvibration testvulnerability testwater-tank testwaveoff testswheel testwhirl testwind blast testwind tunnel testwing-fatigue testwingborne mode flight testyaw oscillation testszero-speed-zero-altitude testzero-zero test -
59 propositional
пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое пропозициональное исчисление classical propositional logic ≈ классическая логика высказываний constructive propositional calculus ≈ конструктивное исчисление высказываний, конструктивное пропозициональное исчисление extended propositional calculus ≈ расширенное исчисление высказываний, расширенное пропозициональное исчисление intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология minimal propositional calculus ≈ минимальное исчисление высказываний, минимальное пропозициональное исчисление modal propositional calculus ≈ модальное исчисление высказываний, модальное пропозициональное исчисление multivalued propositional calculus ≈ многозначное исчисление высказываний, многозначное пропозициональное исчисление open propositional function ≈ открытая пропозициональная функция partial propositional calculus ≈ частное исчисление высказываний, частное пропозициональное исчисление positive propositional calculus ≈ позитивное исчисление высказываний, позитивное пропозициональное исчисление positive propositional tautology ≈ позитивная пропозициональная тавтология primitive propositional constant ≈ исходная пропозициональная постоянная proper propositional calculus ≈ собственное исчисление высказываний, собственное пропозициональное исчисление two-valued propositional calculus ≈ двузначное [классическое] исчисление высказываний, двузначное [классическое] пропозициональное исчисление unary propositional connective ≈ унарная пропозициональная связка - propositional algebra - propositional argument - propositional axiom - propositional calculus - propositional connective - propositional form - propositional formula - propositional function - propositional functor - propositional hierarchy - propositional implication - propositional inference - propositional interpretation - propositional letter - propositional logic - propositional operator - propositional tautology - propositional variable ПропозициональноБольшой англо-русский и русско-английский словарь > propositional
-
60 ni'inai
Selma’o: BAI* despite logic Use: nibli modal, 1st place Comments: despite logic...
См. также в других словарях:
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