Англо-русский Русско-английский научно-технический словарь - formal

формальный correct formal system — корректная формальная система derivational formal system — деривативная формальная система formal log-exponential matrix — формальная логарифмически экспоненциальная матрица ring of formal power series — кольцо формальных степенных рядов - formal algorithm - formal analysis - formal approximation - formal arithmetic - formal axiomatics - formal branch - formal calculation - formal calculus - formal causality - formal characterization - formal class - formal commutator - formal complex - formal computation - formal condition - formal congruence - formal connective - formal consequence - formal consistency - formal construction - formal contradiction - formal corollary - formal criterion - formal decidability - formal deducibility - formal deduction - formal definition - formal demonstration - formal derivability - formal derivation - formal derivative - formal development - formal differentiation - formal equality - formal equivalence - formal error - formal expansion - formal expression - formal factorization - formal fallacy - formal grammar - formal group - formal homomorphism - formal ideal - formal identity - formal implication - formal impossibility - formal inconsistency - formal inference - formal integral - formal integration - formal invariant - formal kernel - formal language - formal logic - formal manifold - formal manipulation - formal mathematics - formal meaning - formal method - formal model - formal multiplication - formal neuron - formal object - formal operation - formal operator - formal parameter - formal polynomial - formal procedure - formal product - formal proof - formal property - formal reasoning - formal relation - formal renormalization - formal representation - formal rule - formal scheme - formal self-adjointness - formal semantics - formal semiinvariant - formal sentence - formal series - formal simplification - formal smoothness - formal solution - formal space - formal statement - formal structure - formal substitution - formal sum - formal symbol - formal symbolism - formal system - formal term - formal theorem - formal theory - formal theory - formal transformation - formal treatment - formal validation - formal validity - formal variable