contravariance oor Fins

contravariance

naamwoord

(computer science) The reversal of the order of data types acted upon by an operator

Vertalings in die woordeboek Engels - Fins

kontravarianssi

In programming languages, the ability to use a less derived type than that originally specified. Contravariance in generic interfaces and delegates allows for implicit conversion of generic type parameters. Contravariance is also supported for non-generic delegates for matching method signatures with delegate types.

Soortgelyke frases

contravariant
kontravariantti

voorbeelde

A four-velocity is thus the normalized future-directed timelike tangent vector to a world line, and is a contravariant vector.
Nelinopeus on näin ollen kohteen maailmanviivan normalisoitu ajanluontoinen tulevaisuuteen osoittava tangenttivektori, ja se on kovariantti vektori.

With the Minkowski metric defined in the two ways above, the only difference between covariant and contravariant four-vector components are signs, therefore the signs depend on which sign convention is used.
Nämä kaksi eri tavalla määriteltyä Minkowskin metriikkaa eroavat toisistaan vain nelivektorin kovarianttien ja kontravarianttien komponenttien etumerkkien osalta, toisin sanoen etumerkit riippuvat siitä, kumpaa käytäntöä noudatetaan.

The upper indices indicate contravariant components. Here the standard convention is that Latin indices take values for spatial components, so that i = 1, 2, 3, and Greek indices take values for space and time components, so used with the summation convention.
Tavanomainen käytäntö on, että latinalaisilla kirjaimilla indeksoidaan ainoastaan paikanluontoiset komponentit, i = 1, 2, 3, kun taas kreikkalaisia kirjaimia käytetään indeksoitaessa komponentit Einsteinin summaussäännön mukaisesti, kun myös myös ajanluontoinen komponentti on mukana: a = 0, 1, 2, 3, missä 0 vastaa ajanluontoista komponenttia.

With the Minkowski metric defined in the two ways above, the only difference between covariant and contravariant four-vector components are signs, therefore the signs depend on which sign convention is used. We have:
Nämä kaksi eri tavalla määriteltyä Minkowskin metriikkaa eroavat toisistaan vain nelivektorin kovarianttien ja kontravarianttien komponenttien etumerkkien osalta, toisin sanoen etumerkit riippuvat siitä, kumpaa käytäntöä noudatetaan.

A contravariant functor F: C → D, is like a covariant functor, except that it "turns morphisms around" ("reverses all the arrows").
Lisäksi puhutaan kontravarianteista funktoreista F: C → D. Ne määritellään muutoin samoin kuin kovariantitkin funktorit, paitsi että morfismit on "käännetty toisin päin".