Translation for "rekursiota" to english
Rekursiota
Translation examples
19.1 Missä rekursiota voidaan käyttää?
19.1 Where is Recursion Used?
Ei pysähdy, jos sijainti on saavutettu rekursion aikana.
Does not stop, if location is reached during recursion.
19.7 Rekursiivinen binaarihaku Rekursiota voidaan käyttää binaarihaussa.
Recursion can be also be used to perform a binary search.
Kertoman laskeminen on klassinen esimerkki rekursiosta.
Calculating the factorial of a number is a classic example of using recursion.
Hänen työtään rekursio teoriassa auttanut luovat perustan teoreettisen tietojenkäsittelyopin.
His work on recursion theory helped to provide the foundations of theoretical computer science.
Hänen työnsä on suuri merkitys matemaattista logiikkaa, rekursio teorian ja teoreettisen tietojenkäsittelyopin.
His work is of major importance in mathematical logic, recursion theory, and in theoretical computer science.
Karp ei anna luentoja klo Marylandin syksyllä 1970, infinitary logiikan ja rekursio teoriassa.
Karp did give lectures at Maryland in the Fall of 1970 on infinitary logic and recursion theory.
Vuonna 1993 hän julkaisi rekursio teoriaa metamathematics joka on jatkoa hänen 1992 tekstissä kuvattu.
In 1993 he published Recursion theory for metamathematics which is a sequel to his 1992 text described above.
Tapahtuma sarja, joka aiheutuu tapahtuman suoraan tai epäsuorasti soittamisesta. kutsutaan myös tapahtuman johdannais-tai rekursio-tapahtumaksi.
A sequence of events caused by an event procedure directly or indirectly calling itself; also called an event cascade or a recursion.
Pohjimmiltaan Karp halusi palata Gödel 's alkuperäinen todiste-theoretic määritelmät rekursiiviset asetetaan mutta tietenkin käyttää entistä liberaalimpi käsitteet todiste niin, että saadaan yleistyksiä, rekursio teoriassa.
Basically Karp wanted to return to Gödel 's original proof-theoretic definitions of recursive sets but of course using more liberal notions of proof so as to obtain generalisations of recursion theory.
Prolog-ohjelmointikielessä on käytettävissä edellä kuvatut predikaattilogiikan piirteet, mutta niiden lisäksi vielä rekursio, peräytys ja samastus, joiden ansiosta Prologia voidaan pitää tyypillisenä Turing-vahvana ohjelmointikielenä.
The research of the department is mostly in the area of algebraic recursion theory, modal, temporal and other non-classical logics, as well as logic programming including the development of a version of the Prolog programming language.
Vα voidaan määritellä tranfiniitisellä rekursiolla: Olkoon V0 tyhjä joukko: V 0 := ∅ . {\displaystyle V_{0}:=\emptyset .} Mille tahansa ordinaali numerolle β, olkoon Vβ+1, Vβ:n potenssijoukko: V β + 1 := P ( V β ) . {\displaystyle V_{\beta +1}:={\mathcal {P}}(V_{\beta }).} Mille tahansa raja ordinaalille λ, olkoon Vλ kaikkien Vβ yhdiste, jotta β on pienempi kuin λ: V λ := ⋃ β < λ V β . {\displaystyle V_{\lambda }:=\bigcup _{\beta <\lambda }V_{\beta }.} Ratkaiseva asia tässä määritelmässä on että vain yksi yhtälö φ(α,x) ZFN:n kielessä määrittää "joukko x on Vα:ssä".
Vα may be defined by transfinite recursion as follows: Let V0 be the empty set: V 0 := ∅ . {\displaystyle V_{0}:=\emptyset .} For any ordinal number β, let Vβ+1 be the power set of Vβ: V β + 1 := P ( V β ) . {\displaystyle V_{\beta +1}:={\mathcal {P}}(V_{\beta }).} For any limit ordinal λ, let Vλ be the union of all the V-stages so far: V λ := ⋃ β < λ V β . {\displaystyle V_{\lambda }:=\bigcup _{\beta <\lambda }V_{\beta }.} A crucial fact about this definition is that there is a single formula φ(α,x) in the language of ZFC that defines "the set x is in Vα".
How many English words do you know?
Test your English vocabulary size, and measure how many words you know.
Online Test