go top

网络释义

  Fundations of Mathematical Logic

... Modern Mathematical Logic 现代数理逻辑 Fundations of Mathematical Logic 数理逻辑基础 Mathematical logic-- 数理逻辑 ...

基于88个网页-相关网页

  Elements of Mathematical Logic

... 第一外国语 First Foreign Language 数理逻辑基础 Elements of Mathematical Logic 形式语言与自动机 Formal Language and Automata ...

基于1个网页-相关网页

短语

数理逻辑与基础 Mathematical logic and foundations

数理逻辑与数学基础 Mathematical Logic & Mathematical Foundations

双语例句

  • 由于。诺依曼式计算机理论基础数理逻辑,现今计算机处理数理问题无比成功。

    Due to the rationale of Von Neumann computer are based on mathematical logic, it did a wonderful job when dealing with mathematics problem.

    youdao

  • 数理逻辑计算机科学有着十分密切关系数理逻辑计算理论基础

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

    youdao

更多双语例句

百科

数理逻辑基础

德国希尔伯特及其学生阿克曼合著。分命题演算、类演算、狭义谓词演算、广义谓词演算四章。 原书名为《理论逻辑基础》,第一、二版分别于1928年、1938年出版,第三、四版在希尔伯特身后由阿克曼修订分别于1949年、1959年出版。中国莫绍揆译本出版于1958年,是据第三版译出的。原书第四版有较多的修改(包括符号体系的改变)和补充。

详细内容

以上来源于: 百度百科
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定