查询词典 foundations

Foundations of mathematics and logic.

形而上学基础上有强烈的研究兴趣。

On one occasion, Hilbert squeaked to the assembly: There have been two great crises in the Foundations of Mathematics.

有一天，希尔伯特对它的听众说：数学基础存在两个极大的危机。

Babylonian scholars completed maps of constellations, and created the foundations of modern astronomy and mathematics.

巴比伦的学者完成了星座图，为现代天文学和数学创造了基础。

In Introduction to Mathematical Philosophy, the later view as Russel refer to is about mathematical philosophy and foundations of mathematics.

罗素在《数学哲学导论》中所说的后一方向既数学哲学或数学基础。

With the Wikipedia approach, you'll also quickly find your way to the Foundations of Mathematics, the Rome to which all roads lead.

凭借着维基百科，你也能快速的找到一条了解基本原理的途径，条条大道通罗马。

With the Wikipedia approach, you'll also quickly find your way to the Foundations of Mathematics, the Rome to which all math roads lead.

凭借着维基百科，你也能快速的找到一条了解数学基本原理的途径，条条大道通罗马。

Since its inception, mathematical logic has contributed to, and has been motivated by, the study of foundations of mathematics.

程序语言学、语义学的研究从模型论衍生而来，而程序验证则从模型论的模型检测衍生而来。

Intuitionism was proposed by Brouwer as a philosophy of mathematics without foundations.

直觉主义，是由布劳威尔数学作为一无基础的哲学。

This, I believe, will be one of the strongest foundations of our long-term relationship.

我相信这一点将是我们长期关系中最坚实的基础之一。

Under the market economy system, the credit is one of the most important foundations of social economy.

在市场经济体制下，信用是社会经济运行的最重要基础之一。

He became prime minister in 1997 and won international acclaim for his role in the Northern Ireland peace process.

他在1997年成为总理，并且因为在北爱尔兰的和平进程中发挥的作用受到国际社会的赞许。

Mixed Page Sorting Method Using the cuttable user model, this thesis proposes a mixed page sorting method by using cutted user model in server-side and complete user model in client-side.

隐私分级利用的混合式页面排序方法针对个性化搜索中搜索结果排序的问题，本文利用隐私可控开放的用户偏好模型，提出一个在客户端和服务器端分步进行的隐私分级利用的混合式页面排序方法。