查询词典 mathematicians

"Augustus de Morgan",,We know that mathematicians care no more for logic than logicians for mathematics.

&，&我们知道，数学家对於逻辑不如逻辑学家对於数学那样关心。

Interactive provers are used for a variety of tasks, but even fully automatic systems have by now proven a number of interesting and hard theorems, including some that have eluded human mathematicians for a long time.

互动provers用于各种任务，但即使完全自动化系统现在已经证明了许多有趣的和艰苦的定理，其中有些人已经享受到数学家很长一段时间。

After 3800 Death of the World's top math problems -- Ruler as "arbitrary angle trisection, turning round to square, fold the cube, as is 7-gon, as is 9-gon, as are 10 side of the form, as are 13-gon," The world, where people called mathematicians have challenged the "seven problems" Archimedes Newton Gauss, etc., Are hard to understand in the end.

历经3800年世界顶级数学死题——尺规作&任意角三等分、化圆为方、倍立方体、作正七边形、作正九边形、作正十一边形、作正十三边形&，全球，凡称得上数学家的人都曾挑战过这&七大难题&，阿基米德、牛顿、高斯等等，均以不得其解而告终。

Since Newton's time, mathematicians and physicist have investigated the tides by considering the response of the oceans to the tide-generating forces.

从牛顿时代以来，数学家和物理学家们就一直通过考虑海洋对引潮力的响应来研究海潮现象。

Since Newton's time, mathematicians and physicist HAs investigated the tides by considering the response of the oceans to the tide-generating forces.

从牛顿时代以来，数学家和物理学家们就一直经过考虑海洋对引潮力的响应来研究海潮显像。

We asked the mathematicians and game theorists for their best march madness advice.

我们问他们的意见，最好的疯狂三月数学家和游戏理论家。

Most mathematicians, theoretical physicists, and astrophysicists do what we consider their best work when they are young.

大多数数学家、理论物理学家，以及天体物理学家都在他们的早年作出了我们公认的他们最好的成就。

In fact, adds Pearlson, postmortem examination of the brains of mathematicians and physicists, such as Albert Einstein, show they had larger than average IPLs.

事实上波尔森又说，数学家和物理学家，例如像对阿尔伯特-爱因斯坦死后做大脑检测发现，他们的顶下小叶确实比平常人的大。

Now, I said that mathematicians thought that this was impossible.

数学家认为这是不可能的。

She's one of the permier mathematicians in the nation.

她是国家首屈一指的数学家之一。

When this condition occurs, inbound replication with the source partner is stopped on the destination domain controller and event ID 2042 is logged in the Directory Services event log.

计算机密码学是研究计算机信息加密、解密及其变换的科学，是数学和计算机的交义学科，也是一门新兴的学科。

Instructions: click on the thumbnails to see a larger image, then use the left-right arrow keys to scroll through the slideshow.

使用说明：滑鼠点在小图上即可放大观赏。开启后键盘左右键可用来换照片。