Translation for "computable" to finnish

Computable

• laskettavissa

Translation examples

laskettavissa

The difference quotient is first calculated then its limit computed as h ---
Ero osamäärä on ensin laskettava sitten sen raja lasketaan h ---

(d) amounts recognised in the balance sheet and profit and loss account shall be compute
d) taseeseen ja tuloslaskelmaan kirjatut määrät on laskettava suoriteperusteisesti;

Because production planning was quite complex it was natural to try to assign it for computers.
Koska tuotannon suunnittelu oli melko monimutkaista, oli luonnollista yrittää saada se tietokoneen laskettavaksi.

If the task has a repeat rule, the next instance will be computed and automatically added to the list.
Jos tehtävä on toista sääntöä, seuraavaksi esimerkiksi on laskettava ja lisätään automaattisesti luetteloon.

It only needs to be charged by hours or even minutes, instead of buying computers and servers.
Se on laskettava vain tuntien tai jopa minuuttien verran tietokoneiden ja palvelinten ostamisen sijasta.

In 1966, TAG Heuer invented the "Microtimer", the world's first miniature electronic timer computable only 1/1000 second, and patented
Vuonna 1966 TAG Heuer keksi "Micro", maailman ensimmäinen miniatyyri elektroninen ajastin laskettavissa vain 1/1000 toinen, ja patentoitu

Under Article 173, the computations of deductible portions must comply with the requirements of Art. 174 and Art.175 for all transactions carried out by the taxable person.
Arvonlisäverodirektiivin 173 artiklan mukaan vähennyskelpoinen osuus on laskettava direktiivin 174 ja 175 artiklassa olevien yksityiskohtaisten säännösten mukaisesti kaikista verovelvollisen suorittamista liiketoimista.

Kleene's formulation of computable function via six schemata is one of the most succinct and useful, and his previous work on lambda functions played a major role in supporting Church 's Thesis that these classes coincide with the intuitively calculable functions.
Kleene: n muotoilu computable funktio kautta kuusi schemata on yksi ytimekäs ja hyödyllistä, ja hänen aikaisemmat työt lambda tehtävät ollut merkittävä rooli, kun tuetaan kirkon 's Thesis, että nämä luokat sama kuin intuitiivisesti laskettavissa toimintoja.

Potential cost effects achieved by the Golli service are significant within the industry. Specific computational figures cannot be revealed due to competition-related reasons, but the potential of cost benefits in the order-to-delivery process is as much as MEUR 17 a year based on the average benefit achieved by trade groups.
Golli-palvelun aikaansaamat potentiaaliset kustannusvaikutukset ovat toimialassa merkittäviä. Tarkkoja laskennallisia lukuja ei voida kilpailusyistä paljastaa, mutta kustannushyötyjen potentiaali tilaus-toimitusprosessissa on jopa 17 miljoonaa euroa vuodessa perustuen kaupparyhmien saaman hyödyn keskiarvoon. Hyödyt ovat laskettavissa kaupparyhmäkohtaisesti nykyisin manuaaliseen työhön käytettävän ajan ja työtunnin kustannuksen perusteella.

Moreover, in Heath-Brown's result the constant c is effectively computable.
Lisäksi Heath-Brownin tuloksessa vakio c on efektiivisesti laskettavissa.

Becher and Figueira proved in 2002 that there is a computable absolutely normal number .
Becker ja Figueira todistivat vuonna 2002, että on olemassa laskettava normaali luku.

In computability theory, the Church–Turing thesis (also known as computability thesis, the Turing–Church thesis, the Church–Turing conjecture, Church's thesis, Church's conjecture, and Turing's thesis) is a hypothesis about the nature of computable functions.
Church–Turingin konjektuuri (myös Church-Turingin teesi, Churchin väite ja Turingin väite) on yhdistetty hypoteesi niiden funktioiden luonteesta, joiden arvot ovat tehokkaasti laskettavissa.

Although Linnik's proof showed c and L to be effectively computable, he provided no numerical values for them.
Vaikka Linnikin todistuksen mukaan c ja L ovat efektiivisesti laskettavissa, hän ei esittänyt niille numeerisia arvoja.

He argues against the viewpoint that the rational processes of the mind are completely algorithmic and can thus be duplicated by a sufficiently complex computer.
Marrin mukaan kognitiiviset prosessit ovat kuvattavissa algoritmein ja laskettavissa tietokoneella, mikä tekee hänestä komputationalistin.

Similarly, the product of the factors a − r2b is a square in Z, with a "square root" which also can be computed.
Samoin saadaan, että tekijöiden a- r2*b tulo on neliö Z:ssa, jonka "neliöjuuri" on myös laskettavissa.

Topos theory can interpret various alternatives to that theory, such as constructivism, finite set theory, and computable set theory.
Topos-teoriassa voidaan esittää tälle teorialle useita vaihto­ehtoja kuten konstruktivismi, äärellinen joukko-oppi ja Turingin koneeseen liittyvä laskettava joukko-oppi.

If this view is granted, then the treatment of infinite sets, both in naive and in axiomatic set theory, introduces into mathematics methods and objects that are not computable even in principle.
Jos tämä näkemys hyväksytään, äärettömien joukkojen käsittely sekä naiivissa että aksiomaattisessa joukko-opissa tuo matematiikkaan menetelmiä ja kohteita, jotka eivät edes periaatteessa ole laskettavissa.