theoretical computer science oor Tagalog

theoretical computer science

Vertalings in die woordeboek Engels - Tagalog

Teoretikal na agham pangkompyuter

subfield of computer science and of mathematics

voorbeelde

It has applications to enumerative combinatorics, fractal analysis, theoretical computer science, automata theory and linguistics.
Ito ay may mga aplikasyon sa kombinatorikang enumeratibo, analisis ng praktal, teoretikal na agham pangkompyuter, teoriyang automata, at linguistika.

Modern logic is divided into recursion theory, model theory, and proof theory, and is closely linked to theoretical computer science, as well as to category theory.
Ang modernong lohika ay nahahati sa teoriyang rekursiyon, teoriyang modelo, at teoriyang pagpapatunay at malapit na kaugnay ng teoretikal na agham pangkompyuter gayundin sa teoriya ng kategorya.

It was the first ever result in theoretical computer science to be published in Annals of Mathematics (see).
Ito ay ang unang pa resulta sa panteorya computer science na-publish sa Annals of Mathematics (makita).

His work is of major importance in mathematical logic, recursion theory, and in theoretical computer science.
Kanyang trabaho ay ng malaking kahalagahan sa matematikal na lohika, recursion teorya, at sa panteorya computer science.

[Arins] wrote papers on the descriptive theory of functions..., theoretical computer science, and cybernetics.
[Arins] wrote papeles sa naglalarawan teorya ng pag-andar..., panteorya computer science, at kibernetika.

In a 1975 paper Spectra and halting problems she considered problems related to theoretical computer science.
Sa isang 1,975 papel Spectra at pagtigil-tigil problema siya itinuturing na mga problema na kaugnay sa panteorya computer science.

His work on recursion theory helped to provide the foundations of theoretical computer science.
Kanyang trabaho sa recursion theory tumulong na magbigay ng komunidad ng panteorya computer science.

Kalmár was also involved in theoretical computer science and promoted the development of computer science and the use of computers in Hungary.
Kalmar rin ay kasangkot sa panteorya computer science at itaas ang pag-unlad ng computer science at ang paggamit ng mga computer sa Hungary.

Of course Rasiowa's work on algebraic logic was in precisely the right area to make her a natural contributor to theoretical computer science.
Ng mga kurso Rasiowa ng trabaho sa algebraic lohika ay sa tiyak na lugar ng karapatan upang gumawa ng kanyang isang natural na kontribyutor sa panteorya computer science.

This work is of major importance in theoretical computer science, and also has applications in other areas such as the theory of dynamical systems .
Ito ay gumagana ng malaking kahalagahan sa panteorya computer science, at din ay may mga aplikasyon sa ibang mga lugar tulad ng teorya ng dynamical system.

The model of computation developed in the following decades, the Turing machine, has been extraordinarily successful in giving the foundations and framework for theoretical computer science.
Ang modelo ng pagtutuos binuo sa mga sumusunod na mga dekada, ang Turing machine, ay extraordinarily matagumpay sa pagbibigay ng komunidad at framework para sa panteorya computer science.

Theoretical computer science is very well developed but the kinds of problems that it deals with are what we call discrete problems - problems that have to with graphs or counting.
Panteorya computer science ay maayos na binuo ngunit ang mga uri ng mga problema na ito sa mga usapan ay kung ano ang aming tawag discrete problema - problema na mayroon na sa mga graphs o bilangin.

He proved Santalo's inequality on the volume of the unit ball of a norm on Rn which is having important consequences in a variety of different areas including number theory and theoretical computer science.
He proved Santalo's hindi pagkakapareho sa dami ng mga produkto na bola ng isang modelo sa R n kung saan ay mahalaga sa pagkakaroon ng kahihinatnan sa isang iba't ibang mga magkakaibang lugar kabilang ang numero ng teorya at panteorya computer science.

Newman also wrote an important paper on theoretical computer science, produced a topological counter-example of major significance in collaboration with Henry Whitehead, and wrote an outstanding paper on periodic transformations in abelian topological groups .
Newman wrote rin ng isang mahalagang papel sa panteorya computer science, ginawa ng isang topological counter-example ng malaking kahalagahan sa pakikipagtulungan sa Henry Whitehead, at wrote isang natitirang papel sa pana-panahon transformations sa abelian topological grupo.

Her contribution to theoretical computer science stems from her conviction that there are deep relations between methods of algebra and logic on the one side and essential problems of foundations of computer science on the other.
Ang kanyang mga kontribusyon sa panteorya computer science stems mula sa kanyang pananampalataya na may malalim na ugnayan sa pagitan ng mga pamamaraan ng algebra at lohika sa isang tabi at mahahalagang mga problema ng mga komunidad ng computer science sa iba pang mga.