搜索【陆钟万】的结果 - 只为小站

数理逻辑与机器证明(陆钟万)

本书介绍数理逻辑在机器证明中的应用，陈述简明扼要，是入门的好书！

2021-11-14 15:47:19 2.57MB 人工智能 机器证明

1

陆钟万面向计算机科学的数理逻辑-（第二版）免费

免费下，不要钱陆钟万面向计算机科学的数理逻辑-（第二版）

2021-10-27 22:02:44 33.37MB 陆钟万 中科院考博 数理逻辑

1

陆钟万面向计算机科学的数理逻辑.pdf

陆钟万面向计算机科学的数理逻辑.pdf 中科院经典教材......

2021-10-27 17:23:43 3.28MB 陆钟万面向计算机科学的数理逻辑.pdf

1

面向计算机科学的数理逻辑(PDF:陆钟万)

1) PDF格式，带目录 2) 陆中万著，科学出版社

2021-08-03 16:31:24 3.07MB 数理逻辑 形式化

1

面向计算机科学的数理逻辑第二版-陆钟万习题答案

面向计算机科学的数理逻辑第二版-陆钟万习题答案

2019-12-21 21:19:40 2.11MB 习题答案

1

面向计算机科学的数理逻辑第二版-陆钟万习题答案

面向计算机科学的数理逻辑第二版-陆钟万习题答案

2019-12-21 21:05:25 2.11MB 数理逻辑 陆钟万 习题答案

1