Hvad er oversættelsen af " TEORETISK DATALOGI " på engelsk?

• theoretical computer science
• theory of computation

Eksempler på brug af Teoretisk datalogi på Dansk og deres oversættelser til Engelsk

Sammenspillet mellem matematik og teoretisk datalogi.
The interaction between mathematics and theoretical computer science.

Teoretisk datalogi er en videnskab, hvis vigtigste hjælpemidler er papir, blyant, whiteboard og markers- og så hjerner.
Theory of computation is a discipline where the most important tools are paper, pencil, whiteboard and markers- and minds.

Sådanne ideer er grundlæggende for teoretisk datalogi i dag.
Such ideas are fundamental to theoretical computer science today.

Den europæiske forening for teoretisk datalogi(EATCS) har netop meddelt, hvem de vil optage i deres Fellow Class 2015.
The European Association for Theoretical Computer Science(EATCS) has announced who they will name as members of their fellow class 2015.

Ikke bare som person, men også hans bidrag til teoretisk datalogi.
Not just the person, but any information Langly contributed to theoretical computer science.

Dette arbejde er af stor betydning i teoretisk datalogi, og også har anvendelser i andre områder såsom teorien om dynamiske systemer.
This work is of major importance in theoretical computer science, and also has applications in other areas such as the theory of dynamical systems.

Hans arbejde på rekursion teori bidraget til at tilvejebringe grundlaget for teoretisk datalogi.
His work on recursion theory helped to provide the foundations of theoretical computer science.

Teoretisk datalogi er meget veludviklet men den slags problemer, at det beskæftiger sig med, hvad vi kalder diskrete problemer- problemer, der har til med grafer eller optælling.
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.

Arins skrev papirer om det beskrivende teori om funktioner…, teoretisk datalogi, og kybernetik.
Arins wrote papers on the descriptive theory of functions…, theoretical computer science, and cybernetics.

Han arbejdede på logik og teoretisk datalogi, især Turing-maskiner, udgivelse på ikke-beregnelige funktioner i 1962 og Computer undersøgelser af Turing maskinen problemer i 1965.
He worked on logic and theoretical computer science, particularly Turing machines, publishing On non-computable functions in 1962 and Computer studies of Turing machine problems in 1965.

I et 1975 papir Spectra og standse problemer, hun betragtede problemer i forbindelse med teoretisk datalogi.
In a 1975 paper Spectra and halting problems she considered problems related to theoretical computer science.

Blandt andet har han samlet et uovertruffent team af”chair professors” indenfor teoretisk datalogi, især fra USA og Israel, der jævnligt besøger Tsinghua og beriger forskningen og undervisningen.
This program is enabled in part by a supreme team of“chair professors” within theory of computation, in particular from the US and Israel, who all make regular visits to Tsinghua, enriching the research as well as the educational environment.

Selvfølgelig Rasiowa's arbejde med algebraisk logik var i præcis det rigtige område for at gøre hende en naturlig bidragyder til teoretisk datalogi.
Of course Rasiowa's work on algebraic logic was in precisely the right area to make her a natural contributor to theoretical computer science.

En af DIKUs gæsteprofessorer er blevet anerkendt som særligt medlem af Den europæiske forening for teoretisk datalogi(EATCS) for sit enestående bidrag til teoretisk datalogi.
One of DIKUs visiting professors has been recognized as an honorary fellow member of the European Association for Theoretical Computer Science(EATCS) for his outstanding contribution to theoretical computer science.

Den model for beregning udvikles i de følgende årtier, Turing maskinen, har været usædvanlig succesfuld i at give grundlaget og rammerne for teoretisk datalogi.
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.

Newman skrev også et vigtigt dokument om teoretisk datalogi, produceret en topologiske counter-eksempel af stor betydning i samarbejde med Henry Whitehead, og skrev et fremragende oplæg om periodiske forandringer i abelian topologiske grupper.
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.

EATCS Fellows Program blev etableret af foreningen i 2014 for at anerkende fremragende resultater inden for teoretisk datalogi.
The EATCS Fellows Program was established by the association in 2014 to recognize outstanding EATCS members for their scientific achievements in the field of Theoretical Computer Science.

På DTU, SDU, KU og AAU har forskergrupper markeret sig internationalt gennem publikationer i diskret matematik og teoretisk datalogi og ved at arrangere internationale møder, redaktionsarbejde for internationale tidsskrifter, plenumforelæsninger ved internationale konferencer etc.
Research groups at DTU, SDU, KU and AAU have distinguished themselves internationally through publications in discrete mathematics and theoretical computer science and by arranging international meetings, editorial work for international journals, plenary lectures at international conferences etc.

Ph.d. -studerende Kasper Green Larsen fra MADALGO modtager prestigiøse priser ved en af verdens højest rangerede konferencer for teoretisk datalogi.
PhD student Kasper Green Larsen from MADALGO receives the two most prestigious prizes at one of the highest ranked conferences in the world for theoretical computer science.

Teoretisk datalogi er en videnskab, hvis vigtigste hjælpemidler er papir, blyant, whiteboard og markers- og så hjerner. De allokerede midler vil derfor i høj grad anvendes til at bringe skarpe hjerner fra de to institutioner sammen og hermed hjælpe med til at skærpe især de yngre hjerner yderligere.
Theory of computation is a discipline where the most important tools are paper, pencil, whiteboard and markers- and minds. Thus, the allocated funds will be used mainly to bring brights minds from the two institutions together and thereby helping especially the younger bright minds to shine even brighter.

Det er et hovedformål med det fremtidige arbejde at styrke samspillet mellem matematik(grafteori) og teoretisk datalogi algoritmer, datastrukturer.
One of the main goals of the collaboration is to strengthen the interaction between mathematics(graph theory) and theoretical computer science algorithms, data structures.

En ph.d. -studerende på Aarhus Universitet har gjort rent bord ved en af verdens højest rangerede konferencer for teoretisk datalogi ved at modtage de to mest prestigiøse priser. Kasper Green Larsen fra Center for Massive Data Algoritmer(MADALGO) har fundet frem til, at svaret er 900. Hvad er spørgsmålet?
A PhD student at Aarhus University has swept the board by winning the two most prestigious prizes at one of the highest ranked conferences in the world for theoretical computer science. Kasper Green Larsen, from the Center for Massive Data Algorithmics(MADALGO), worked out that the answer is 900. But what is the question?

Han viste sig Santalo's ulighed på omfanget af enheden bolden af en norm på R n, der har store konsekvenser i en række forskellige områder, herunder talteori og teoretisk datalogi.
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.

Selv om der til en vis grad den gentager, hvad vi har skrevet ovenfor, er det en ikke-teknisk beskrivelse, som er værd at citere: Teoretisk datalogi er meget veludviklet men den slags problemer, at det beskæftiger sig med, hvad vi kalder diskrete problemer- problemer, der har til med grafer eller optælling.
Although to some extent it repeats what we have written above, it is a non-technical description which is well worth quoting: 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.

Dette center blev et forsknings-virksomhed, hvor forskningen i datalogi og matematik blev gennemført:[Arins] skrev papirer om det beskrivende teori om funktioner…, teoretisk datalogi, og kybernetik.
This Centre became a research establishment where research in computer science and mathematics was carried out:[Arins] wrote papers on the descriptive theory of functions…, theoretical computer science, and cybernetics.

Teoretisk datalogi er en matematisk disciplin, der former fundamentet for fremtidens IT-systemer. Centrets forskning vil koncentrere sig om fire fokusområder indenfor teoretisk datalogi, som alle har interaktion mellem beregningsagenter som centralt begreb: Kompleksitetsteori, Kryptologi, Kvanteinformatik og Algoritmisk spilteori.
The theory of computation is a mathematical discipline making the foundations for the information technology of the future. The research of the center will focus on four subareas that all includes interaction between computational agents as a central concept: computational complexity theory, cryptology, quantum informatics, and algorithmic game theory..

En ph.d. -studerende på Aarhus Universitet har gjort rent bord ved en af verdens højest rangerede konferencer for teoretisk datalogi ved at modtage de to mest prestigiøse priser.
A PhD student at Aarhus University has swept the board by winning the two most prestigious prizes at one of the highest ranked conferences in the world for theoretical computer science.

I Tsinghuas tilfælde er det instituttets leder, Turingprismodtager Andy Yao, der har sat ITCS på landkortet ved at starte verdens formentlig bedste eliteprogram inden for undergraduate undervisning i teoretisk datalogi.
In the case of Tsinghua University, Turing Prize winner Professor Andy Yao has put ITCS on the map by initiating what is probably the best elite undergraduate program in the world within the area of the theory of computation.

Hun offentliggjort papirer om matematisk logik, rekursiv funktion teori, og teoretiske datalogi.
She published papers on mathematical logic, recursive function theory, and theoretical computer science.

Begge institutioner er fyrtårne inden for teoretiske datalogi.
Both institutions are highly esteemed centers of theoretical computer science.

Hvordan man bruger "teoretisk datalogi" i en Dansk sætning

Jeg opdager det selv når jeg underviser i kurser i teoretisk datalogi, hvor der er bestemte bevisteknikker, der går igen og igen.

Peter er interesseret i alle aspekter af kvantemæssige beregninger og teoretisk datalogi.

Lars Birkedal forsker indenfor teoretisk datalogi og er international førende indenfor logik og semantik af programmeringssprog.

Hans forskningsområde er teoretisk datalogi, nærmere bestemt logik og semantik.

Kommentar til Dansker er blandt verdens mest lovende inden for teoretisk datalogi Mandag, 11.

Sådan er det selvfølgelig af og til, men i mange områder af teoretisk datalogi, som studerende møder, kan beviserne udformes ud fra en meget præcis opskrift.

Det har ført til fornemme priser i teoretisk datalogi.

Og jeg vil da gerne betale for at komme ind og se dem, siger han. - Han grundlagde det, vi i dag kalder for teoretisk datalogi.

Et velkendt eksempel fra teorien for beregnelighed (der er central i teoretisk datalogi og matematisk logik) er det begreb, der hedder reduktion.

Hvordan man bruger "theory of computation, theoretical computer science" i en Engelsk sætning

Elements of the Theory of Computation (2nd ed.).

DeleteReplyOwkey read Theory of Computation 4, 2015 at 2:05 AMPuro participants.

Theoretical Computer Science 483, pp. 36-50, 2013.

Demonstrate advanced knowledge in theory of computation and computer architecture.

Theoretical Computer Science 259 (2001), 1-61].

Theoretical Computer Science 444 (2012), pp. 60-76.

Theoretical Computer Science (TCS), November 2016.

Its theory of computation is based on first order logic .

Introduction to the Theory of Computation Homework 2 Solutions.

Theoretical Computer Science 713, pp. 78--84, 2018.