查询词典 constructive mathematics

The mathematics of logic, upon which such machines work, was originated a century ago by an obscure Englishman named George Boole.

这种机器赖以工作的逻辑数学是一个世纪以前一位毫无名气的叫乔治布尔的英国人创造的。

Students who enter the program have completed undergraduate course work in mathematics, computer applications, behavioral science, and statistics.

学生进入该程序已完成本科的工作在数学，计算机应用，行为科学和统计。感谢！

On 10 November 1618, while walking through Breda, Descartes met Isaac Beeckman, who sparked his interest in mathematics and the new physics, particularly the problem of the fall of heavy bodies.

贝克曼，是他激起了笛卡尔对数学与新物理学特别是重物下落问题的兴趣。在他为巴伐利亚的马克西米利安公爵服役期间，笛卡尔在1620年11月参加了布拉格外围的白山战役。

Concerning the alien ruins discovered in Zone 67, we continue to find evidence of an advanced culture with a superlative grasp of mathematics and astrogation, WITH some possible artistic representations that suggest a space-faring race (see attached digital images of onyx carvings).

关于67号地区外星人遗址的挖掘工作，我们继续寻找掌握了先进数学和航天学知识的高等文明存在的证据，一些可能的艺术图象暗示了一个太空旅行种族（参见奥星雕刻的数码照片）。

Hawking is the Lucasian Professor of Mathematics at the University of Cambridge, and a Fellow of Gonville and Caius College, Cambridge.

Hawking 是数学Lucasian 教授在剑桥大学，和Gonville 和Caius 学院，剑桥的家伙。

WVOQuine 'Carnap and Logical Truth' in P.Benacerraf and H.Putnam Readings in the Philosophy of Mathematics.

WVOQuine，'卡尔纳普和逻辑真理'，在体育贝纳塞拉夫和普特南，在数学哲学读。

College of Mathematics and Computer Science,Anhui Normal University,Wuhu,Anhui 241000,China

安徽师范大学数学与计算机科学学院，安徽芜湖 241000

Department of Computer Science and Applied Mathematics, Weizmann Institute, Rehovot 76100, Israel

图谱还揭示了两种区分胚胎干细胞和成年组织干细胞的主要基因模块。

Clausius had recently published two articles using the mathematics of probabilities to express the velocities of molecules in gas, and this stimulated Maxwell to write about gas molecules having a range of velocities, known today as the Maxwell

在1859年，他出版了一本厚达1859页的&气体的动态的理论的插图&文章。

In this context, the research and instruction of mathematics—which, as established by Christophorus Clavius, teacher of Matteo Ricci, included geography and cartography—constituted a process of spiritual elevation, a journey toward salvation.

在耶稣会士于1551年建立的罗马学院中，来自整个欧洲的学生除了学习神学以外，还接受着高强度的学术培训，学习修辞学、记忆法、哲学，以及数学，包括算术、几何、透视、宇宙学、地球体学、天文制表、天体观测学（后四者可称作 sphaera ），还要学习计时学、音乐、力学、水文地理学和建筑学。

Finally, the Knight strung a line between two of the monoliths and tied the horses up there.

最后，骑士们在两颗巨石之间拉了一条绳子，将他们的座骑绑在上面。

T7zN/hyS0 The island lies south by east from here.

那个岛位于此地的正南偏东方向。