-
21 higher predicate calculus
-
22 operational calculus
-
23 sentential calculus
-
24 variational calculus
English-Russian big polytechnic dictionary > variational calculus
-
25 frame calculus
English-Russian dictionary of Information technology > frame calculus
-
26 sentential calculus
English-Russian dictionary of Information technology > sentential calculus
-
27 matrix calculus
The English-Russian dictionary general scientific > matrix calculus
-
28 булево исчисление
Большой англо-русский и русско-английский словарь > булево исчисление
-
29 теория булевых алгебр
Большой англо-русский и русско-английский словарь > теория булевых алгебр
-
30 булево исчисление
Англо-русский словарь технических терминов > булево исчисление
-
31 matrix
матрица
– adaption matrix
– adjoint matrix
– adjoint of matrix
– adjugate matrix
– admittance matrix
– augmented matrix
– banded matrix
– block matrix
– Boolean matrix
– boundary matrix
– circuit matrix
– circulant matrix
– color matrix
– column matrix
– complex matrix
– computing matrix
– correlation matrix
– decoder matrix
– decomposable matrix
– deflate matrix
– derivative matrix
– diode matrix
– dispersion matrix
– dot matrix printer
– encoder matrix
– error matrix
– factor matrix
– grade of a matrix
– identity matrix
– immittance matrix
– impedance matrix
– improper matrix
– incidence matrix
– inverse matrix
– invert matrix
– invertible matrix
– line matrix
– linotype matrix
– m-column matrix
– matrix algebra
– matrix analyzer
– matrix calculus
– matrix cathode
– matrix circuit
– matrix decoder
– matrix display
– matrix dryer
– matrix element
– matrix equation
– matrix introduction
– matrix inversion
– matrix mechanics
– matrix memory
– matrix model
– matrix of coefficients
– matrix of wires
– matrix paper
– matrix printer
– matrix product
– matrix switch
– mold matrix
– monotype matrix
– multiple-array matrix
– multiplle-array matrix
– n-rowed matrix
– non-recurrent matrix
– non-singular matrix
– nonsingular matrix
– orthogonal matrix
– output matrix
– parastrophic matrix
– parity-check matrix
– partitioned matrix
– pay-off matrix
– payoff matrix
– permutation matrix
– pi matrix
– quasi-inverse matrix
– rank of matrix
– reciprocal matrix
– regret matrix
– row matrix
– scalar matrix
– scattering matrix
– self-conjugated matrix
– signal matrix
– singular matrix
– skew-symmetric matrix
– sparse matrix
– square matrix
– steel matrix
– stochastic matrix
– structural matrix
– switching matrix
– symmetric matrix
– Toplitz matrix
– transformation matrix
– transition matrix
– transmission matrix
– transpose matrix
– transpose of matrix
– two-variable matrix
– unimodal matrix
– unimodular matrix
– unitary matrix
locally matrix ring — <math.> кольцо локально матричное
off-diagonal matrix element — недиагональный матричный элемент
positive definite matrix — положительно определенная матрица
-
32 mathematics
а) наука, изучающая количественные соотношения между величинами и пространственными формами в символическом представленииб) математический аппарат; математические действия, процедуры, методы и свойства- applied mathematics
- Boolean mathematics
- calculus mathematics
- combinatorial mathematics
- computational mathematics
- concrete mathematics
- crystal mathematics
- discrete mathematics
- elementary mathematics
- higher mathematics
- pure mathematics
- recreational mathematics -
33 mathematics
а) наука, изучающая количественные соотношения между величинами и пространственными формами в символическом представленииб) математический аппарат; математические действия, процедуры, методы и свойства•- Boolean mathematics
- calculus mathematics
- combinatorial mathematics
- computational mathematics
- concrete mathematics
- crystal mathematics
- discrete mathematics
- elementary mathematics
- higher mathematics
- mathematics of logic
- pure mathematics
- recreational mathematicsThe New English-Russian Dictionary of Radio-electronics > mathematics
-
34 language
язык || языковой- action description language
- actual machine language
- agent programming language
- AI language
- Algol-like language
- algorithmical language
- algorithmic language
- application-oriented language
- applicative language
- artificial language
- assembler language
- assembly language
- assembly-output language
- assignment-free language
- behavioral language
- bidirectional language
- block-structured language
- Boolean-based language
- business definition language
- business-oriented language
- calculus-type language
- C-based language
- client-side language
- code language
- command language
- compiled language
- compiler language
- component definition language
- composite language
- computer language
- computer-dependent language
- computer-independent language
- computer-oriented language
- computer-programming language
- computer-sensitive language
- consensus language
- context-free language
- control language
- conversational language
- core language
- data definition language
- data description language
- data language
- data manipulation language
- data storage description language
- database language
- data-entry language
- data-flow language
- data-query language
- declarative language
- defining language
- descriptive language
- descriptor language
- design language
- device media control language
- direct execution language
- directly interpretable language
- Dyck language
- end-user language
- escape language
- evolutive language
- executive-control language
- executive language
- explicit language
- extensible language
- fabricated language
- finite state language
- flow language
- foreign language
- formalized language
- frame-based language
- freestanding language
- functional language
- generated language
- graphics language
- graph-oriented language
- hardware-description language
- hardware language
- higher-level language
- higher-order language
- host language
- human language
- human-oriented language
- human-readable language
- indexed language
- information retrieval language
- informational language
- information language
- inherently ambiguous language
- input language
- input/output language
- instruction language
- integrated language
- interactive language
- interim language
- intermediate language
- internal language
- interpreted language
- job control language
- job-oriented language
- knowledge representation language
- language pair
- letter-equivalent languages
- linear language
- linear-programming language
- list-processing language
- logic-type language
- low-level language
- machine language
- machine-dependent language
- machine-independent language
- machine-oriented language
- macroassembly language
- macro language
- macroinstruction language
- macroprogramming language
- man-to-computer language
- mathematical formular language
- memory management language
- mnemonic language
- modeling language
- native language
- natural language
- NC programming language
- nested language
- network-oriented language
- nonprocedural language
- numder language
- object language
- object modeling language
- object-oriented language
- one-dimensional language
- operator-oriented language
- original language
- page description language
- parallel language
- phrase structure language
- predicate language
- predicate logic-based language
- predicate logic language
- privacy language
- problem statement language
- problem-oriented language
- procedural language
- procedure-oriented language
- process control language
- production language
- program language
- programming language
- pseudo language
- pseudomachine language
- query language
- readable specification language
- reference language
- regular language
- relational language
- relational-type language
- representation language - requirements modeling language
- restricted language
- rule-based language
- ruly language
- schema language
- science-oriented language
- script language
- self-contained language
- semantic-formal language
- semiformal language
- sentential language
- serial language
- simulation language
- single-assignment language
- source language
- specialized language
- specification language
- stream-based language
- strict language
- structured programming language
- structured query language
- super language
- super-high-level language
- symbolic language
- symbolic programming language
- syntax language
- synthetic language
- system input language
- system language
- system-oriented language
- tabular language
- target language
- TC language
- time sharing language
- type-free language
- unified modeling language
- update language
- user language
- user-oriented language
- very-high-level languageEnglish-Russian dictionary of computer science and programming > language
-
35 mathematics
English-Russian dictionary of computer science and programming > mathematics
- 1
- 2
См. также в других словарях:
Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… … Wikipedia
Boolean algebras canonically defined — Boolean algebras have been formally defined variously as a kind of lattice and as a kind of ring. This article presents them more neutrally but equally formally as simply the models of the equational theory of two values, and observes the… … Wikipedia
Boolean logic — is a complete system for logical operations. It was named after George Boole, who first defined an algebraic system of logic in the mid 19th century. Boolean logic has many applications in electronics, computer hardware and software, and is the… … Wikipedia
Boolean — (after George Boole), as a noun or an adjective, may refer to: * Boolean algebra (logic), a logical calculus of truth values or set membership * Boolean algebra (structure), a set with operations resembling logical ones * Boolean datatype, a… … Wikipedia
Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… … Wikipedia
Boolean algebra (structure) — For an introduction to the subject, see Boolean algebra#Boolean algebras. For the elementary syntax and axiomatics of the subject, see Boolean algebra (logic). For an alternative presentation, see Boolean algebras canonically defined. In abstract … Wikipedia
Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… … Wikipedia
Boolean satisfiability problem — For the concept in mathematical logic, see Satisfiability. 3SAT redirects here. For the Central European television network, see 3sat. In computer science, satisfiability (often written in all capitals or abbreviated SAT) is the problem of… … Wikipedia
Boolean-valued function — A boolean valued function, in some usages a predicate or a proposition, is a function of the type f : X → B, where X is an arbitrary set and where B is a boolean domain.A boolean domain B is a generic 2 element set, say, B = {0, 1}, whose… … Wikipedia
Calculus ratiocinator — The Calculus Ratiocinator is a theoretical universal logical calculation framework, a concept described in the writings of Gottfried Leibniz, usually paired with his more frequently mentioned characteristica universalis , a universal conceptual… … Wikipedia
Boolean algebra — A Boolean algebra is a system consisting of a set S and two operations, n and ? (cap and cup), subject to the following axioms. For all sets a,b,c, that are members of S: 1 a n (b n c) = (a n b) n c. Also a ? (b ? c) = (a ? b) ? c (associativity) … Philosophy dictionary