"命题演算"的翻译 使用英语:


  字典 中国人-英语

命题演算 - 翻译 :

  例子 (外部来源,未经审查)

为什么我们要用计算机来演示如何用笔算解题呢 明明计算机可以自行计算来解题
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?

 

相关搜索 : 算命算命 - 算命 - 算命 - 命题 - 命题 - 演示命令 - 命题集 - 反命题 - 解命题 - 谓词演算 - 计算演习 - 数学演算 - 矩阵演算 - 优化演算