-
21 calculus
-
22 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
-
23 sentential
1. a сентенциозный, нравоучительный2. a мат. относящийся к высказываниям -
24 sentential
[senʹtenʃ(ə)l] a1. сентенциозный, нравоучительный2. мат. относящийся к высказываниям -
25 sentential
-
26 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
-
27 sentential
I пропозициональный II сентенциальный сентенциозный, нравоучительный (математика) относящийся к высказываниям - * calculus исчисление высказыванийБольшой англо-русский и русско-английский словарь > sentential
-
28 Boolean calculus
-
29 extended calculus
-
30 predicate calculus
-
31 relational calculus
-
32 variations calculus
-
33 infinitesimal calculus
English-Russian big polytechnic dictionary > infinitesimal calculus
-
34 operational calculus
English-Russian big polytechnic dictionary > operational calculus
-
35 functional calculus
The English-Russian dictionary general scientific > functional calculus
-
36 infinitesimal calculus
The English-Russian dictionary general scientific > infinitesimal calculus
-
37 operational calculus
The English-Russian dictionary general scientific > operational calculus
-
38 propositional calculus
The English-Russian dictionary general scientific > propositional calculus
-
39 spinor calculus
The English-Russian dictionary general scientific > spinor calculus
-
40 исчисление высказываний
Большой англо-русский и русско-английский словарь > исчисление высказываний
См. также в других словарях:
sentential calculus — noun Etymology: translation of German satzkalkül : propositional calculus * * * the branch of symbolic logic dealing with the logical relationships between statements insofar as they can be analyzed into conjunctions, disjunctions, and negations… … Useful english dictionary
sentential calculus — the branch of symbolic logic dealing with the logical relationships between statements insofar as they can be analyzed into conjunctions, disjunctions, and negations of more elementary statements. Also called propositional calculus, sentential… … Universalium
sentential calculus — senten′tial cal′culus n. pho the branch of symbolic logic that deals with the logical relations between unanalyzed propositions, as conjunction, disjunction, negation, and implication Compare functional calculus Also called propositional calculus … From formal English to slang
sentential calculus — noun Date: 1937 propositional calculus … New Collegiate Dictionary
sentential calculus — /sɛnˌtɛnʃəl ˈkælkjələs/ (say sen.tenshuhl kalkyuhluhs) noun any symbolic systematic set of rules for joining or dividing sentences to form other sentences …
sentential function — A predicate may be thought of as a function from a single term to a sentence, and hence can be called a sentential function. Also, the truth functional connectives are occasionally thought of as functions from sentences to sentences, although… … Philosophy dictionary
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
functional calculus — noun a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) • Syn: ↑predicate calculus • Hypernyms: ↑symbolic logic, ↑mathematical logic, ↑formal… … Useful english dictionary
functional calculus — the branch of symbolic logic that includes the sentential calculus and that deals with sentential functions and quantifiers and with logical relations between sentences containing quantifiers. Also called predicate calculus, predicate logic.… … Universalium
functional calculus — func′tional cal′culus n. math. pho the branch of symbolic logic that includes the sentential calculus and that deals with sentential functions and quantifiers and with logical relations between sentences containing quantifiers Also called… … From formal English to slang