"命题演算"的翻译 使用英语:
字典 中国人-英语
命题演算 - 翻译 :
例子 (外部来源,未经审查)
为什么我们要用计算机来演示如何用笔算解题呢 明明计算机可以自行计算来解题 | Why are we using computers to show a student how to solve a problem by hand that the computer should be doing anyway? |
下面让我为你演示 计算机如何运算出更复杂的题目 | Let me show you that you can also make problems harder to calculate. |
大导演先生 我打算给我演什么呢 | Mr. Director, what part do I get? |
她打算成為一名演員 | She intended to become an actress. |
计算此点的反演结果 | Compute the inversion of this point |
计算此圆的反演结果 | Compute the inversion of this circle |
计算此弧的反演结果 | Compute the inversion of this arc |
计算此对象的反演结果 | Compute the inversion of this object |
计算此直线的反演结果 | Compute the inversion of this line |
计算此线段的反演结果 | Compute the inversion of this segment |
莫娜 你快来算算命 | Oh, Merna, you must have your fortune told! |
(a) 任命行政和预算问题咨询委员会成员(A 60 542) | (a) Appointment of members of the Advisory Committee on Administrative and Budgetary Questions (A 60 542) |
(a) 任命行政和预算问题咨询委员会成员 A 52 670 | (a) Appointment of members of the Advisory Committee on Administrative and Budgetary Questions report of the Fifth Committee (A 52 670) |
任命各附属机构成员以补空缺并作其他任命 任命行政和预算问题咨询委员会成员 | Appointments to fill vacancies in subsidiary organs and other appointments appointment of members of the Advisory Committee on Administrative and Budgetary Questions |
任命各附属机构成员以补空缺 并作出其他任命 任命行政和预算问题咨询委员会成员 | Appointments to fill vacancies in subsidiary organs and other appointments appointment of members of the Advisory Committee on Administrative and Budgetary Questions |
演示人工生命的 3D 培养皿宇宙 | Petri dish universe in 3D that demonstrates evolving artificial life |
Jeff Han演示他革命性的触摸屏幕 | Jeff Han demos his breakthrough touchscreen |
好 杜拉你在用我们的性命演戏 | Tura, you're playing for our lives. |
但后来表演逐渐占据我的生命 | But, somehow, acting and makebelieve began to fill up my life more and more. |
這是上次我們看到的演算法 | Here's the gradient descent algorithm that we saw last time. |
您打算什么时候去看演出呢? | When are you coming to see the show? |
而这就是我今天演讲的主题 一个小的改变 如何引发了一个巨大的革命 | And that's what I'm going to talk about, how a small change leads to a very big revolution. |
重命名预算 | Rename budget |
你真能算命 | Can you really tell my future from that? |
你相信算命? | I'm afraid of everything... birds, storms, lifts, needles... and now, this great fear of death |
先前所存在的紧张难免在当前的交火中扮演着重要角色 但欧盟的预算计算方式是否也有问题 | Pre existing tensions have inevitably played a large part in the current flare up. But is the EU s budget calculation method also at fault? |
你会怎样用生命来演绎这个故事 | How would you bring that story to life? |
它在沙皇毙命当天表演作为送葬 | It was performed the same day as the funeral of the czar. |
我说 我打算去对一群好人演讲 | I said, I've got to talk to a bunch of nice people. |
特别报告员在演讲以后就司法独立问题 尤其是司法人员的任命问题 接受了新闻记者的访问 | Following his address, the Special Rapporteur was interviewed by journalists on the issue of judicial independence and, in particular, on judicial appointments. |
我已经很久没有演戏了 而且我从没演过这样性命攸关的角色 | It's been a long time since I acted and I never played such a vital role. |
所以这是一个 我曾算是一个演员 | So this is a I used to kind of be an actor. |
我们今后所需要的是演变 而不是革命 | Evolution, more than revolution, is what we need in the future. |
拜托3万算什么 上次演唱会的时候 | What the...just those are 30 dollars each? |
达尔文是解释了生命的演变 没错 但生命的精髓到底是什么呢 | You know, Darwin explained life after it got started, but what was the essence of life? |
你打算做一個演說,還是我們來問問題 | Alright, Dunn, are you gonna give us a statement, or do we ask questions? What about it? |
上述计算机革命的结果 是作为计算机革命之子的 生物学的变革 | As an outgrowth of that, as a child of that revolution, is the revolution in biology. |
我们用超级计算机做大量的模型演算 这个刚好是我做的事 | We run enormous models on supercomputers this is what I happen to do. |
现在 在我进入主题之前 我先给大家一些事先声明 我不是算命的 | Now before I get into how to do it let me give you a little truth in advertising, because I'm not engaged in the business of magic. |
这就是我演讲的主题 | That's the theme of my talk. |
讲演之后将解答问题 | The Lecture will be followed by a question and answer period. |
演化的一件事就是 地球上无处找不到生命 | One of the things about evolution is that nowhere on Earth have we ever been where we don't find life. |
我曾经在这儿表演过 一个革命的世界名剧 | Once I performed a worldfamous play here |
你还没有给我算命呢 | You haven't told my fortune. |
你打算违背我的命令 | Are you going to disobey me? |
相关搜索 : 算命算命 - 算命 - 算命 - 命题 - 命题 - 演示命令 - 命题集 - 反命题 - 解命题 - 谓词演算 - 计算演习 - 数学演算 - 矩阵演算 - 优化演算