面向计算机科学的数理逻辑 陆中万著,科学出版社
2021-09-16 11:49:37 3.29MB 数理逻辑
1
数理逻辑(中文版 H.B.Enderton)是翻译的H.B.Enderton的英文原著。
2021-09-16 08:06:37 3.05MB 书籍
1
数理逻辑的课后答案,是王庭芳版的,基本上都有的,大家可以看看
2021-09-09 18:58:43 1.41MB 数理逻辑 王庭芳
1
该书以可读性强而著称, 在美国大学中采用率很高, 是数理逻辑方面的经典教材之一
2021-09-08 18:15:22 11.72MB 数理逻辑
1
数理逻辑的经典教材, 经过OCR处理部清晰版.
2021-09-08 18:10:09 6.18MB 数理逻辑 Enderton Mathematic Logic
1
哥德尔不完备定理是数理逻辑及形式语言的一次突破(及灾难)
2021-09-05 20:08:33 4.64MB 哥德尔 不完备定理 pdf 数理逻辑
1
详细介绍数理逻辑引论与归结原理,主要是数理逻辑方面。
2021-09-04 15:41:19 4.36MB 刘国俊 数理逻辑 归结原理
1
哈工大数理逻辑2003-2004试卷+答案 希望对大家复习有帮助啊
2021-08-21 16:33:44 16KB 哈工大 数理逻辑 试卷 答案
1
哈工大数理逻辑2005-2006试卷+答案 希望对大家复习有所帮助啊
2021-08-21 16:30:52 69KB 哈工大 数理逻辑 试卷 答案
1
哈尔滨工业大学(深圳)2019年数理逻辑试卷,供有需要的小伙伴下载学习,较新,有较大的参考价值,学弟学妹们可以下载
1