数理逻辑和计算机科学有着十分密切的关系，数理逻辑是计算理论的基础。

Mathematical logic and computer science has a very close relationship. Also, the computational theory is based on mathematical logic.

youdao

您可能注意到，我们已经讨论了较基础，较理论的计算机科学的课程。

You might notice that I've been discussing the more fundamental, theoretical computer science courses.

youdao

它有很多实际应用，因为它所强调的是计算机维护和分析的理论基础。

It has few practical applications, because it concentrates on the theoretical underpinnings of computer maintenance and analysis.

youdao

Now, underlying our theory is the idea that we measure the outcome of your investment in your portfolio by the mean of the return on the portfolio and the variance of the return on the portfolio.

而理论的基础是,我们通过计算,组合收益率的均值，和组合收益率的方差,来衡量一个投资组合的优劣。

耶鲁公开课 - 金融市场课程节选