-
21 Boolean
Boolean /ˈbu:lɪən/a.(mat., comput.) booleano; di Boole: Boolean algebra, algebra di Boole; Boolean logic, logica booleana; Boolean function, funzione booleana; Boolean operator, operatore booleano. -
22 decidable
разрешимый effectively decidable function ≈ эффективно разрешимая функция effectively decidable predicate ≈ эффективно разрешимый предикат effectively decidable relation ≈ эффективно разрешимое отношение formally decidable formula ≈ формально разрешимая формула numeralwise decidable formula ≈ нумерически разрешимая формула numeralwise decidable function ≈ нумерически разрешимая функция numeralwise decidable predicate ≈ нумерически разрешимый предикат - completely decidable - decidable algebra - decidable arithmetic - decidable formula - decidable language - decidable predicate - decidable proposition - decidable relation - decidable sentence - decidable set - decidable statement - decidable system - decidable theor - effectively decidable - formally decidable - numeralwise decidable - partially decidable разрешимый - * set (математика) разрешимое множествоБольшой англо-русский и русско-английский словарь > decidable
-
23 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
-
24 Отсутствие артиклей в выражениях, используемых после with, without, in, as и at для уточнения свойств основного существительного
We shall be concerned with real $n$-spaceThis program package can be installed without much difficultyThen $D$ becomes a locally convex space with dual space $D'$The set of points with distance 1 from $K$The set of all functions with compact supportThe compact set of all points at distance 1 from $K$An algebra with unit $e$An operator with domain $H^2$A solution with vanishing Cauchy dataA cube with sides parallel to the axes of coordinatesA domain with smooth boundaryAn equation with constant coefficientsA function with compact supportRandom variables with zero expectation (zero mean)Any random variable can be taken as coordinate variable on $X$Here $t$ is interpreted as area and volumeWe show that $G$ is a group with composition as group operationIt is assumed that the matrix $A$ is given in diagonal (triangular, upper (lower) triangular, Hessenberg) formThen $A$ is deformed into $B$ by pushing it at constant speed along the integral curves of $X$$G$ is now viewed as a set, without group structureThe (a) function in coordinate representationThe idea of a vector in real $n$-dimensional spaceThe point $x$ with coordinates $(1,1)$A solution in explicit (implicit, coordinate) formОднако: let $B$ be a Banach space with a weak sympletic form $w$Однако: (the) two random variables with a common distributionОднако: this representation of $A$ is well defined as the integral of $f$ over the domain $D$Then the matrix $A$ has the simple eigenvalue $lambda=1$ with eigenvectors $x=(1,0)$ and $y=(1,-100)$Русско-английский словарь по прикладной математике и механике > Отсутствие артиклей в выражениях, используемых после with, without, in, as и at для уточнения свойств основного существительного
-
25 field
1) поле || полевой2) магн. наряжённость поля3) участок; область5) полигр. фон; грунт6) горн. прииск; месторождение7) горн. промысел || промысловый8) матем. тело; поле10) полевой; эксплуатационный•- algebraically complete field - axisymmetric field - base field - basic field - completely valuated field - field of algebraic numbers - fully ordered field - fully ramified field - gross field - guiding magnetic field - linear transformation field - locally compact ultrametric field - locally finite field - purely unseparable field - strictly monotone field - strongly isomorphic field - topologized algebraic field - totally imaginary field - totally ramified field - totally real fieldfield with a valuation — поле с оценкой, поле с нормой; метризованное поле
-
26 theorem
- analytical hierarchy theorem - arithmetical hierarchy theorem - closed range theorem - formally provable theorem - implicit function theorem - initial value theorem - integral representation theorem - local limit theorem - maximal ergodic theorem - mean value theorem - normal form theorem - ratio limit theorem - rational root theorem - second mean value theorem - theorem of consistency proofs - theorem of corresponding states - three line theorem - three series theorem - uniform convergence theorem - uniform ergodic theorem - uniform mean value theoremtheorem implies — из теоремы следует, что…
-
27 Būla funkcija
▪ Terminien Boolean function, en logical function inf.lv loģiskā funkcijalv Funkcija Būla algebrā. Būla funkcijas pieraksta Būla izteiksmju veidā un to vērtība atkarībā no mainīgo vērtību kombinācijas var būt 0 vai 1. Būla funkcijas parasti uzdod ar patiesuma tabulu palīdzīburu булева функцияru логическая функцияLZAit▪ EuroTermBank terminiInf, Kom, ITlv loģiskā funkcijaru булева функцияru логическая функцияETB▪ Sinonīmiloģiskā funkcijaT09 -
28 loģiskā funkcija
▪ Terminien Boolean function, en logical function inf.lv Būla funkcijalv Funkcija Būla algebrā. Būla funkcijas pieraksta Būla izteiksmju veidā un to vērtība atkarībā no mainīgo vērtību kombinācijas var būt 0 vai 1. Būla funkcijas parasti uzdod ar patiesuma tabulu palīdzīburu булева функцияru логическая функцияLZAit▪ EuroTermBank terminiInf, Kom, ITlv Būla funkcijaru булева функцияru логическая функцияETB▪ SinonīmiBūla funkcijaT09 -
29 acyclic
1) ацикличный
2) нециклический
3) научн. непериодический
4) ациклический ∙ integrally acyclic complex ≈ целочисленно ацикличный комплекс maximal acyclic digraph ≈ максимальный ациклический орграф method of acyclic models ≈ метод ацикличных моделей rationally acyclic complex ≈ рационально ацикличный комплекс - acyclic algebra - acyclic carrier - acyclic complex - acyclic continuum - acyclic cover - acyclic fibration - acyclic function - acyclic graph - acyclic image - acyclic manifold - acyclic model - acyclic morphism - acyclic net - acyclic object - acyclic orientation - acyclic parallelotope - acyclic polyhedron - acyclic property - acyclic relation - acyclic resolvent - acyclic set - acyclic sheaf - acyclic simplex - acyclic space - acyclic star - acyclic subcomplex - acyclic support - acyclic tree(техническое) нецикличный;
непериодического действия( химическое) ациклический (математика) непериодический (ботаника) спиральныйacyclic апериодический ~ непериодический -
30 affine
аффинный, аффинно affine differential equation ≈ аффинное дифференциальное уравнение affine differential geometry ≈ аффинно-дифференциальная геометрия affine invariant point ≈ аффинно инвариантная точка affine ratio of three points ≈ простое отношение трех точек affine resolvable configuration ≈ афинно разрешимая конфигурация affine resovable design ≈ аффинно разрешимый план affine vector field ≈ аффинное векторное поле cellwise affine mapping ≈ клеточно аффинное отображение centered affine space ≈ геом. пространство центроаффинное coefficient of affine connection ≈ коэффициент аффинной связи group of affine transformations ≈ группа аффинных преобразований least affine multiple ≈ наименьшее аффинное кратное( многочлена) locally affine transformation ≈ локально аффинное преобразование space of affine connectedness ≈ пространство аффинной связности space with affine connection ≈ пространство с аффинной связью - affine algebra - affine basis - affine binormal - affine bundle - affine capsule - affine center - affine classification - affine collineation - affine combination - affine completeness - affine cone - affine conic - affine connectedness - affine connection - affine connectivit - affine coordinates - affine correspondence - affine covariant - affine covering - affine curvature - affine curve - affine cylinder - affine dependence - affine design - affine diameter - affine diffeomorphism - affine distance - affine embedding - affine equivalence - affine equivalent - affine expression - affine extension - affine figure - affine frame - affine framing - affine function - affine geodesic - affine geometry - affine group - affine homeomorphism - affine homology - affine hull - affine hyperplane - affine hypersurface - affine independence - affine index - affine invariant - affine isomorphism - affine loop - affine manifold - affine mapping - affine matroid - affine model - affine module - affine morphism - affine motion - affine net - affine normal - affine operator - affine parameter - affine parametrization - affine perspectivity - affine plane - affine polynomial - affine product - affine property - affine pseudodistance - affine quadric - affine ratio - affine representation - affine resolvable - affine restriction - affine retraction - affine ring - affine scheme - affine set - affine simplex - affine space - affine sphere - affine structure - affine subspace - affine superconnection - affine tensor - affine torus - affine transformation - affine translation - affine variety - perspectively affine - piecewise affine -
31 compactly
плотно compactly circled subset ≈ компактно закругленное подмножество compactly connected set ≈ компактно связное множество compactly convergent sequence ≈ компактно сходящаяся последовательность compactly covered object ≈ компактно покрывающий объект compactly covered reflection ≈ компактно покрытое отражение compactly divergent sequence ≈ компактно расходящаяся последовательность compactly embedded algebra ≈ компактно вложенная алгебра compactly embedded subalgebra ≈ компактно вложенная подалгебра compactly generated lattice ≈ компактно порожденная решетка compactly generated space ≈ компактно порожденное пространство compactly ordered space ≈ компактно упорядоченное пространство compactly supported function ≈ функция с компактным носителем compactly supported isotopy ≈ компактно опорная изотопия - compactly convergent - compactly covered - compactly divergent - compactly embedded - compactly generated плотно, компактно сжато;
точно и краткоБольшой англо-русский и русско-английский словарь > compactly
-
32 extremal
экстремаль, экстремальный extremal [extreme value] distribution ≈ распределение экстремальных значений extremal [extreme] vector ≈ экстремальный вектор extremal [extremum] problem ≈ экстремальная задача extremal probability paper ≈ вероятностная бумага для распределения экстремальных значений extremal with corners ≈ экстремаль с углубленными точками method of extremal metric ≈ метод экстремальной метрики sequence of extremal points ≈ последовательность экстремальных точек - absolute extremal - absolutely extremal - admissible extremal - anormal extremal - broken extremal - canonical extremal - closed extremal - conditional extremal - extremal algebra - extremal basis - extremal characteristic - extremal circle - extremal clique - extremal control - extremal curvature - extremal curve - extremal derivative - extremal diameter - extremal domain - extremal equation - extremal experiment - extremal function - extremal functional - extremal graph - extremal involution - extremal lattice - extremal length - extremal mapping - extremal measure - extremal metric - extremal monomorphism - extremal path - extremal polynomial - extremal quotient - extremal relation - extremal representation - extremal space - extremal spline - extremal statistic - extremal strategy - extremal submanifold - extremal subset - extremal system - extremal transversal - extremal uniformity - global extremal - neighboring extremal - nonsingular extremal - ordinary extremal - parametric extremal - regular extremal - secondary extremal - unconditional extremal (математика) экстремаль, линия экстремумов экстремальный;
крайнийБольшой англо-русский и русско-английский словарь > extremal
-
33 multilinear
полилинейный - multilinear algebra - multilinear approximation - multilinear category - multilinear covariant - multilinear determinant - multilinear expression - multilinear form - multilinear function - multilinear functional - multilinear identity - multilinear module - multilinear operation - multilinear operator - multilinear product многолинейныйБольшой англо-русский и русско-английский словарь > multilinear
-
34 nonatomic
неатомарный, неатомный completely nonatomic set ≈ вполне неатомистичное множество - nonatomic algebra - nonatomic function - nonatomic game - nonatomic measure - nonatomic space неатомный (об оружии) - * weapons обычные виды оружия (не атомного) - * war война без применения атомного оружияБольшой англо-русский и русско-английский словарь > nonatomic
-
35 ramified
1) разветвленный
2) ветвистый
3) ветвящийся ∙ analytically ramified covering space ≈ аналитически разветвленное накрытие analytically ramified space ≈ аналитически разветвленное пространство completely ramified surface ≈ вполне разветвленная поверхность fully ramified extension ≈ вполне разветвленное расширение fully ramified field ≈ вполне разветвленное поле purely ramified extension ≈ вполне разветвленное расширение ramified class calculus ≈ разветвленное исчисление классов ramified prime divisor ≈ разветвленный простой дивизор strongly ramified ideal ≈ сильно разветвленный идеал tamely ramified extension ≈ слабо разветвленное расширение totally ramified extension ≈ вполне разветвленное расширение totally ramified field ≈ вполне разветвленное поле totally ramified ideal ≈ вполне разветвленный идеал totally ramified value ≈ вполне разветвленное значение wildly ramified extension ≈ бурно разветвленное расширение - analytically ramified - completely ramified - fully ramified - ramified algebra - ramified covering - ramified element - ramified expansion - ramified experiment - ramified extension - ramified field - ramified function - ramified hierarchy - ramified ideal - ramified manifold - ramified morphism - ramified place - ramified prime - ramified search - ramified solution - ramified system - ramified theor - ramified value - strongly ramified - tamely ramified - totally ramified - wildly ramified разветвленный - * system разветвленная системаБольшой англо-русский и русско-английский словарь > ramified
-
36 unimodular
унимодулярный full unimodular group ≈ полная унимодулярная группа properly unimodular group ≈ собственно унимодулярная группа totally unimodular matrix ≈ вполне унимодулярная матрица totally unimodular set ≈ вполне унимодулярное множество - totally unimodular - unimodular affinity - unimodular algebra - unimodular automorphism - unimodular eigenvalue - unimodular equivalence - unimodular function - unimodular graph - unimodular group - unimodular matrix - unimodular matroid - unimodular number - unimodular property - unimodular representation - unimodular substitution - unimodular topology - unimodular transformationБольшой англо-русский и русско-английский словарь > unimodular
-
37 unramified
неразветвленный absolutely unramified ideal ≈ абсолютно неразветвленный идеал analytically unramified ring ≈ аналитически неразветвленное кольцо unramified prime divisor ≈ неразветвленный простой дивизор - absolutely unramified - analytically unramified - unramified algebra - unramified character - unramified covering - unramified expansion - unramified experiment - unramified extension - unramified field - unramified function - unramified ideal - unramified morphism - unramified place - unramified quasicharacter - unramified representation - unramified surface - unramified valuationБольшой англо-русский и русско-английский словарь > unramified
-
38 language
-
absolute language
-
algorithmical language
-
algorithmic language
-
applicative language
-
artificial language
-
assembler language
-
block-structured language
-
Boolean algebra-based language
-
Boolean based language
-
command language
-
compilative language
-
compiler language
-
computer language
-
computer-dependent language
-
computer-independent language
-
computer-oriented language
-
computer-sensitive language
-
context-free language
-
control language
-
conversational language
-
core language
-
data language
- data manipulation language -
data-base language
-
data-definition language
-
data-query language
-
declarative language
-
deduction-oriented language
-
design language
-
explicit language
-
expression-oriented language
-
extensible language
-
FG-kernel language
-
finite state language
-
formal specification language
-
function language
-
functional language
-
graphics-oriented language
-
graphics language
-
hardware-based language
-
high-level language
-
host language
-
human language
-
human-oriented language
-
hybrid language
-
imperative language
-
input language
-
instruction language
-
interactive language
-
interface language
-
intermediate language
-
interpretive language
-
job control language
-
kernel language
-
knowledge representation language
-
list-processing language
-
low-level language
-
machine language
-
machine-dependent language
-
machine-independent language
-
machine-oriented language
-
macro language
-
meta language
-
mnemonic language
-
narrative language
-
native language
-
native-mode language
-
natural language
-
NC-AM language
-
network control language
-
nonprocedural language
-
nucleus language
-
object language
-
object-oriented language
-
original language
-
parallel language
-
plain language
-
privacy language
-
problem solving language
-
problem-oriented language
-
procedural language
-
program development language
-
program language
-
programming language
-
pseudo language
-
query language
-
real-time language
-
reference language
-
regular language
-
relational language
-
retrieval language
-
robot language
-
rule language
-
semantic language
-
sentential language
-
simulation language
-
source language
-
specification description language
-
specification language
-
stratified language
-
structured language
-
symbolic language
-
system language
-
system-oriented language
-
target language
-
typed language
-
unstratified language
-
untyped language
-
user-oriented language
-
world-modeling language -
39 fundamental
1) основной
2) принципиальный
3) фундаментальный
4) капитальный
5) основоположный
– fundamental astrometry
– fundamental circle
– fundamental frequency
– fundamental function
– fundamental harmonic
– fundamental law
– fundamental oscillations
– fundamental particle
– fundamental period
– fundamental principle
– fundamental relation
– fundamental sequence
– fundamental tone
– fundamental unit
– fundamental wave
fundamental probability set — множество элементарных событий
-
40 generalized
1) обобщать
2) обобщенный
– generalized algorithm
– generalized coordinate
– generalized coordinates
– generalized display
– generalized entropy
– generalized function
– generalized momentum
– generalized portrait
– generalized quantity
– generalized space
– generalized variance
generalized impedance transformer — < radio> преобразователь сопротивления обобщенный
generalized uniserial algebra — обобщенно однорядная алгебра
См. также в других словарях:
Banach function algebra — In functional analysis a Banach function algebra on a compact Hausdorff space X is unital subalgebra, A of the commutative C* algebra C(X) of all continuous, complex valued functions from X , together with a norm on A which makes it a Banach… … Wikipedia
Algebra of Communicating Processes — The Algebra of Communicating Processes (ACP) is an algebraic approach to reasoning about concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras or process calculi. ACP was initially… … Wikipedia
Algebra — This article is about the branch of mathematics. For other uses, see Algebra (disambiguation). Algebra is the branch of mathematics concerning the study of the rules of operations and relations, and the constructions and concepts arising from… … Wikipedia
algebra, elementary — Introduction branch of mathematics that deals with the general properties of numbers and the relations between them. Algebra is fundamental not only to all further mathematics and statistics but to the natural sciences, computer science,… … Universalium
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
algebra — /al jeuh breuh/, n. 1. the branch of mathematics that deals with general statements of relations, utilizing letters and other symbols to represent specific sets of numbers, values, vectors, etc., in the description of such relations. 2. any of… … Universalium
algebra, modern — ▪ mathematics Introduction also called abstract algebra branch of mathematics concerned with the general algebraic structure of various sets (such as real numbers (real number), complex numbers (complex number), matrices (matrix), and… … Universalium
Function space — In mathematics, a function space is a set of functions of a given kind from a set X to a set Y . It is called a space because in many applications, it is a topological space or a vector space or both. ExamplesFunction spaces appear in various… … Wikipedia
Function-level programming — In computer science, function level programming refers to one of the two contrasting programming paradigms identified by John Backus in his work on programs as mathematical objects, the other being value level programming.In his 1977 Turing award … Wikipedia
algebra, linear — Introduction mathematical discipline that deals with vectors (vector) and matrices (matrix) and, more generally, with vector spaces (vector space) and linear transformations. Unlike other parts of mathematics that are frequently invigorated … Universalium
Algebra homomorphism — A homomorphism between two algebras over a field K , A and B , is a map F:A ightarrow B such that for all k in K and x , y in A ,* F ( kx ) = kF ( x )* F ( x + y ) = F ( x ) + F ( y )* F ( xy ) = F ( x ) F ( y )If F is bijective then F is said to … Wikipedia