formal invariant
Смотреть что такое "formal invariant" в других словарях:
Invariant based programming — is a programming methodology where specifications and invariants are written before the actual program statements. Writing down the invariants during the programming process has a number of advantages: it requires the programmer to make his… … Wikipedia
Invariant (mathematics) — In mathematics, an invariant is a property of a class of mathematical objects that remains unchanged when transformations of a certain type are applied to the objects. The particular class of objects and type of transformations are usually… … Wikipedia
Invariant estimator — In statistics, the concept of being an invariant estimator is a criterion that can be used to compare the properties of different estimators for the same quantity. It is a way of formalising the idea that an estimator should have certain… … Wikipedia
Invariant (computer science) — In computer science, a predicate that, if true, will remain true throughout a specific sequence of operations, is called (an) invariant to that sequence.UseAlthough computer programs are typically mainly specified in terms of what they change, it … Wikipedia
Time-invariant system — A time invariant system is one whose output does not depend explicitly on time.:If the input signal x produces an output y then any time shifted input, t mapsto x(t + delta), results in a time shifted output t mapsto y(t + delta).Formal: If S is… … Wikipedia
Arf invariant (knot) — In the mathematical field of knot theory, the Arf invariant of a knot, named after Cahit Arf, is a knot invariant obtained from a quadratic form associated to a Seifert surface. If F is a Seifert surface of a knot, then the homology group H1( F … Wikipedia
Modular invariant of a group — In mathematics, a modular invariant of a group is an invariant of a finite group acting on a vector space of positive characteristic (usually dividing the order of the group). The study of modular invariants was originated in about 1914 by… … Wikipedia
Normal invariant — In mathematics, a normal map is a concept in geometric topology due to William Browder which is of fundamental importance in surgery theory. Given a Poincaré complex X, a normal map on X endows the space, roughly speaking, with some of the… … Wikipedia
Mildred Sanderson — was an American mathematician, best known for her mathematical theorem concerning modular invariants.[1][2] Life Sanderson was born in Waltham, Massachusetts, in 1889 and was the valedictorian of her class at the Waltham High School.[1] She… … Wikipedia
Special relativity — (SR) (also known as the special theory of relativity or STR) is the physical theory of measurement in inertial frames of reference proposed in 1905 by Albert Einstein (after considerable contributions of Hendrik Lorentz and Henri Poincaré) in the … Wikipedia
Set theory — This article is about the branch of mathematics. For musical set theory, see Set theory (music). A Venn diagram illustrating the intersection of two sets. Set theory is the branch of mathematics that studies sets, which are collections of objects … Wikipedia
