Institute for Theoretical Computer Science
清华大学理论计算机科学研究中心
theoretical computer science oor Sjinees
theoretical computer science
Vertalings in die woordeboek Engels - Sjinees
理論計算機科學
en
subfield of computer science and of mathematics
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
Soortgelyke frases
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
For example, in theoretical computer science, least fixed points of monotone functions are used to define program semantics.
在 某 种 特殊 情? 况 下 比如 影? 响 公共 安全 先生重 复 我? 说 的? 话 按照 公共 和? 个 人? 卫 生? 卫 生? 标 准LASER-wikipedia2 LASER-wikipedia2
It is an NP-hard problem in combinatorial optimization, important in operations research and theoretical computer science.
你?? 过 你 有? 时 候 看到 幻影WikiMatrix WikiMatrix
However, they have other interesting properties that have led to applications in theoretical computer science and artificial intelligence.
你?? 为 托 德 表弟? 会 介? 绍 我...? 给 他的? 队 友? 吗 ?WikiMatrix WikiMatrix
Quantum complexity theory is a part of computational complexity theory in theoretical computer science.
你 有否 想過幹 嘛 香港 很少 機會 看到 飛碟 呢 ? 但 外國 卻 時常 都有 ?LASER-wikipedia2 LASER-wikipedia2
Due to its hardness, the problem of finding the optimal control law has also received attention from the theoretical computer science community.
你 想我 會 記得 這雙 眼睛 的LASER-wikipedia2 LASER-wikipedia2
In graph theory and theoretical computer science, the longest path problem is the problem of finding a simple path of maximum length in a given graph.
有? 个 中? 国 人 在 看?? 纸 仔 细一看,我看到了谁? 一看 , 我 看到 了??LASER-wikipedia2 LASER-wikipedia2
Quanta Magazine is an editorially independent online publication of the Simons Foundation covering developments in mathematics, theoretical physics, theoretical computer science and the basic life sciences.
婚禮 上 會 有 像樣 的 男人 嗎 ?LASER-wikipedia2 LASER-wikipedia2
Currently, one of the most famous open problems in theoretical computer science is the P = NP problem, which involves the relationship between the complexity classes P and NP.
也 不算 不好一般 般 巴 史 , 謝謝LASER-wikipedia2 LASER-wikipedia2
Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until they are given some interpretation.
葛 滴 郴 出俺 牢 狼?? 粮决 苞 啊 摹? 绰 葛 滴 俊 霸 牢? 沥 蹬 具?? 钦聪 促WikiMatrix WikiMatrix
In mathematical logic and theoretical computer science, a rewrite system has the (strong) normalization property or is terminating if every term is strongly normalizing; that is, if every sequence of rewrites eventually terminates with an irreducible term, also called a normal form.
你 跟 我 說...你 要 我 怎麼 證明 ?LASER-wikipedia2 LASER-wikipedia2
The upshot of these historical contingencies was that until theoretical computer science began taking an interest in combinatory logic in the 1960s and 1970s, nearly all work on the subject was by Haskell Curry and his students, or by Robert Feys in Belgium.
是的 ,? 对 不起 , 我 是 想?# # 到 # 分? 钟LASER-wikipedia2 LASER-wikipedia2
Theoretical computational linguistics focuses on issues in theoretical linguistics and cognitive science, and applied computational linguistics focuses on the practical outcome of modeling human language use.
我? 烦 透了 我? 烦 透 ,? 烦 透 ,? 烦 透 你 了WikiMatrix WikiMatrix
Main article: Theoretical computer science
你 不能?? 样 做- 为什么? 什 么?ParaCrawl Corpus ParaCrawl Corpus
Closely related fields in theoretical computer science are analysis of algorithms and computability theory .
折射计用于测量光学媒介的折射率。 不同的化学品有不同的折射率。 在化学合成后常用折射计测定样品的折射率以确定它的纯度或者间接地审查化学合成是否成功 。ParaCrawl Corpus ParaCrawl Corpus
It was the first ever result in theoretical computer science to be published in Annals of Mathematics (see ).
? 为 何不 叫 我? 维 克 多 伊 普 提?? 兹ParaCrawl Corpus ParaCrawl Corpus
She published papers on mathematical logic, recursive function theory, and theoretical computer science.
我? 们 正在? 为 新的? 龙 舌? 兰 公司?? 办 私人?? 议ParaCrawl Corpus ParaCrawl Corpus
It is an NP-hard problem in combinatorial optimization , important in operations research and theoretical computer science .
袣芯 褬械 写褉褍谐懈? 芯 褬 械? 褉?? 懈?- 小? 褍 薪 邪 褬. 袗? 褏 屑 械 褌 小? 褍 薪 邪 褬ParaCrawl Corpus ParaCrawl Corpus
His work on recursion theory helped to provide the foundations of theoretical computer science.
你 就 要 得到 了- 是的 , 已經 得到 了ParaCrawl Corpus ParaCrawl Corpus
His work is of major importance in mathematical logic, recursion theory, and in theoretical computer science.
看 , 在 夜裡 她 從 不睡 ,出來 繞著 花園 轉ParaCrawl Corpus ParaCrawl Corpus
Institute of software engineering and theoretical computer science
我 听? 说 艾 曼? 达 首次 捐? 赠 后 就?? 结 了ParaCrawl Corpus ParaCrawl Corpus
It is a theory in theoretical computer science, under Discrete mathematics (a section of Mathematics and also of Computer Science ).
不是 冷?? 还 不? 够? 还 要? 齐 心 朝 一? 个 目? 标 前? 进ParaCrawl Corpus ParaCrawl Corpus
Kalmár was also involved in theoretical computer science and promoted the development of computer science and the use of computers in Hungary.
? 这 是? 个 出版商 之女 ,? 个 性 超 理想化ParaCrawl Corpus ParaCrawl Corpus
This work is of major importance in theoretical computer science, and also has applications in other areas such as the theory of dynamical systems .
? 这 里 被 下了 死亡 咒- 你 是? 谁 ?ParaCrawl Corpus ParaCrawl Corpus
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.
其實 從 根本 來 講 很 簡單ParaCrawl Corpus ParaCrawl Corpus
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.
? 对 了 , 我? 刚 有 提到 他 床上 有 多 棒 么 ?ParaCrawl Corpus ParaCrawl Corpus
50 sinne gevind in 14 ms. Hulle kom uit baie bronne en word nie nagegaan nie.