-
41 minimal propositional calculus
логикаминимальное исчисление высказываний, минимальное пропозициональное исчислениеEnglish-Russian scientific dictionary > minimal propositional calculus
-
42 modal propositional calculus
модальное исчисление высказываний, модальное пропозициональное исчислениеEnglish-Russian scientific dictionary > modal propositional calculus
-
43 multivalued propositional calculus
логикамногозначное исчисление высказываний, многозначное пропозициональное исчислениеEnglish-Russian scientific dictionary > multivalued propositional calculus
-
44 partial propositional calculus
частное исчисление высказываний, частное пропозициональное исчислениеEnglish-Russian scientific dictionary > partial propositional calculus
-
45 positive propositional calculus
логикапозитивное исчисление высказываний, позитивное пропозициональное исчислениеEnglish-Russian scientific dictionary > positive propositional calculus
-
46 proper propositional calculus
мат.собственное исчисление высказываний; собственное пропозициональное исчислениеEnglish-Russian scientific dictionary > proper propositional calculus
-
47 two-valued propositional calculus
логикадвузначное [классическое] исчисление высказываний, двузначное [классическое] пропозициональное исчислениеEnglish-Russian scientific dictionary > two-valued propositional calculus
-
48 calculus
calculus исчислениеextended propositional calculus расширенное пропозициональное исчислениеfunctional calculus функциональное исчислениеmany-valued propositional calculus многозначное пропозициональное исчислениеpredicate calculus исчисление предикатовpropositional calculus пропозициональное исчислениеrestricted predicate calculus узкое исчисление предикатовEnglish-Russian dictionary of biology and biotechnology > calculus
-
49 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
-
50 calculus
-
51 calculus
-
52 calculus
1) исчисление; дифференциальное исчисление; интегральное исчисление2) вычисление; вычисления•-
Boolean calculus
-
calculus of approximations
-
calculus of classes
-
calculus of enlargement
-
calculus of errors
-
calculus of finite differences
-
calculus of observations
-
calculus of residues
-
calculus of tensors
-
calculus of variations
-
correlation calculus
-
differential calculus
-
functional calculus
-
index calculus
-
integral calculus
-
matrix calculus
-
numerical calculus
-
operational calculus
-
predicate calculus
-
propositional calculus
-
relational calculus
-
sentential calculus
-
tensor calculus -
53 calculus
исчисление
– Boolean calculus
– calculus of probability
– calculus of variations
– differential calculus
– extended calculus
– functional calculus
– infinitesimal calculus
– integral calculus
– logical calculus
– matrix calculus
– operational calculus
– predicate calculus
– problem calculus
– propositional calculus
– sentential calculus
– spinor calculus
– tensor calculus
– vector calculus
one-place predicate calculus — исчисление одноместных предикатов
-
54 calculus
[̈ɪˈkælkjuləs]calculus (pl -es) мат. исчисление; differential calculus дифференциальное исчисление calculus исчисление calculus калькуляция calculus (pl -li) мед. камень calculus of probability теория вероятностей calculus of variations вариационное исчисление certainty calculus исчисление достоверности calculus (pl -es) мат. исчисление; differential calculus дифференциальное исчисление extended calculus расширенное исчисление first order predicate calculus исчисление предикатов первого порядка frame calculus исчисление фреймов integral calculus интегральное исчисление lambda calculus лямбда-исчисление logical calculus логическое исчисление predicate calculus исчисление предикатов program calculus исчисление программ propositional calculus исчисление высказываний relational calculus реляционное исчисление sentential calculus исчисление высказываний situational calculus ситуационное исчисление -
55 propositional
-
56 calculus
1) исчисление2) вычисление; вычисления•- calculus of approximations
- calculus of residues
- extended calculus
- functional calculus
- higher predicate calculus
- index calculus
- matrix calculus
- operational calculus
- predicate calculus
- predicative calculus
- propositional calculus
- relational calculus
- restricted predicate calculus
- sentential calculus
- situation calculusEnglish-Russian dictionary of computer science and programming > calculus
-
57 calculus
-
58 calculus
вчт.- Boolean calculus
- differential calculus
- domain calculus
- functional calculus
- infinitesimal calculus
- integral calculus
- predicate calculus
- propositional calculus
- relational calculus
- sentential calculus
- tuple calculusThe New English-Russian Dictionary of Radio-electronics > calculus
-
59 calculus
̈ɪˈkælkjuləs I сущ.;
мн. -li;
мед. камень bladder calculi ≈ камни в мочевом пузыре Syn: stone II сущ.;
мн. -es, -li;
мат. исчисление differential calculus ≈ дифференциальное исчисление integral calculus ≈ интегральное исчисление Syn: calculation (математика) исчисление - the (differential) * дифференциальное исчисление - * of probabilities исчисление вероятностей - * of variation вариационное исчисление калькуляция (медицина) камень (почечный, желчный) calculus (pl -es) мат. исчисление;
differential calculus дифференциальное исчисление ~ исчисление ~ калькуляция ~ (pl -li) мед. камень ~ of probability теория вероятностей ~ of variations вариационное исчисление certainty ~ исчисление достоверности calculus (pl -es) мат. исчисление;
differential calculus дифференциальное исчисление extended ~ расширенное исчисление first order predicate ~ исчисление предикатов первого порядка frame ~ исчисление фреймов integral ~ интегральное исчисление lambda ~ лямбда-исчисление logical ~ логическое исчисление predicate ~ исчисление предикатов program ~ исчисление программ propositional ~ исчисление высказываний relational ~ реляционное исчисление sentential ~ исчисление высказываний situational ~ ситуационное исчислениеБольшой англо-русский и русско-английский словарь > calculus
-
60 propositie-calculus
• propositional calculusNederlands-Engels Technisch Woordenboek > propositie-calculus
См. также в других словарях:
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
propositional calculus — Logic. See sentential calculus. [1900 05] * * * Formal system of propositions and their logical relationships. As opposed to the predicate calculus, the propositional calculus employs simple, unanalyzed propositions rather than predicates as its… … Universalium
propositional calculus — The logical calculus whose expressions are letters representing sentences or propositions, and constants representing operations on those propositions, to produce others of higher complexity. The operations include conjunction, disjunction,… … Philosophy dictionary
propositional calculus — noun Date: 1903 the branch of symbolic logic that uses symbols for unanalyzed propositions and logical connectives only called also sentential calculus compare predicate calculus … New Collegiate Dictionary
propositional calculus — noun propositional logic … Wiktionary
propositional calculus — noun a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them • Syn: ↑propositional logic • Hypernyms: ↑symbolic logic, ↑mathematical logic, ↑formal logic … Useful english dictionary
propositional calculus — proposi′tional cal′culus n. math. pho sentential calculus • Etymology: 1900–05 … From formal English to slang
propositional calculus — /prɒpəˌzɪʃənəl ˈkælkjələs/ (say propuh.zishuhnuhl kalkyuhluhs) noun that part of modern logic which systematises the relations between unanalysed propositions …
Implicational propositional calculus — In mathematical logic, the implicational propositional calculus is a version of classical (two valued) propositional calculus which uses only one connective, called implication or conditional. In formulas, this binary operation is indicated by… … Wikipedia
Frege's propositional calculus — In mathematical logic Frege s propositional calculus was the first axiomatization of propositional calculus. It was invented by Gottlob Frege, who also invented predicate calculus, in 1879 as part of his second order predicate calculus (although… … Wikipedia
implicational propositional calculus — noun A minimalist version of propositional calculus which uses only the logical connectives ( implies ) and ( false ) … Wiktionary