Translation for "formalisation" to finnish

Formalisation

• virallistaminen

Translation examples

virallistaminen

This is not to say that formalisation of a group structure will destroy the informal structure.
Tämä ei tarkoita sitä, että ryhmän rakenteen virallistaminen tuhoaisi sen epävirallisen rakenteen.

There were others interested in intuitionist logic working on similar problems of formalisation at the same time as Heyting.
Ei ollut muita kiinnostuneita intuitionist logiikka työskentelee samanlaisia ongelmia virallistaminen samaan aikaan kuin Heyting.

They asked for a formalisation of Brouwer 's intuitionist theories and Heyting's outstanding essay was awarded the prize in 1928.
He pyysivät, että virallistaminen Brouwer 's intuitionist teorioita ja Heyting ansiokkaaseen essee sai palkinnon vuonna 1928.

formalisation of the European groups of transmission system operators for better coordination and, in particular, the drawing-up of joint market and technical codes;
eurooppalaisten siirtoverkonhaltijoiden ryhmittymien virallistaminen paremman koordinaation varmistamiseksi ja yhteisten teknisten ja markkinoita koskevien sääntöjen laatimiseksi