Introduction to Mathematical Logic Sixth Edition 数理逻辑,经典本科教材,英文第六版,略讲二阶逻辑。 语言: 其他 大小: 类型: tag: 上传人:haoyisheng 上传时间:2023-12-07 0 数理逻辑与集合论第二版精要与题解 是清华版《数理逻辑与集合论(第二版)》的讲义与习题解答。 语言: 其他 大小: 类型: tag: 上传人:haoyisheng 上传时间:2023-12-06 0 数理逻辑教材 这是一本有关于数理逻辑的教材。计算机专业背景的朋友都会用到这本书的。 语言: 其他 大小: 类型: tag: 上传人:haoyisheng 上传时间:2023-12-06 0 面向计算机科学的数理逻辑即系统与建模(中文版-第二版) 本书是面向计算机科学的数理逻辑即系统与建模(中文版-第二版),是关于离散数学,数理逻辑方面很有用的参考书。 语言: 其他 大小: 类型: tag: 上传人:fuaoxing55 上传时间:2023-10-01 0 数理逻辑 汪芳庭 XPS文档可用IE直接打开 国内最为经典详实的数理逻辑教材。中国科学技术大学出版社1990年出版。包含命题逻辑、谓词逻辑、哥德尔不完备性定理等内容。下载后可以通过Adobe PDF虚拟打印机打印成PDF文档。 语言: 其他 大小: 类型: tag: 上传人:zhanzhil 上传时间:2023-09-30 0 数理逻辑与范畴论应用王世强 数理逻辑是基础工具,研究PLT必备。类型论是PLT的一个重要方面。范畴论是类型论的抽象工具。编程语言有无类型都是图灵等价的。类型只是标注,擦除掉也不影响解释执行。类型标志 语言: 其他 大小: 类型: tag: 上传人:huaihua 上传时间:2023-09-26 0 《离散数学》课程课件 太原理工大学软件工程专业《离散数学》课程PPT,内容涵盖:命题逻辑、谓词逻辑、集合、关系、函数、代数系统、群、图论等内容 语言: 其他 大小: 类型: tag: 上传人:yangfen 上传时间:2023-09-24 1 面向计算机科学的数理逻辑第二版-陆钟万 习题答案 面向计算机科学的数理逻辑第二版-陆钟万 习题答案 语言: 其他 大小: 类型: tag: 上传人:fuaoxing55 上传时间:2023-09-18 0 哥德尔证明 pdf 中文 《哥德尔证明》是第一本既面向学者又面向非专业人士,对哥德尔证明的主要思路和广泛含义作了易读的解释的书。内容简介《哥德尔证明》是第一本既面向学者又面向非专业人士,对 语言: 其他 大小: 类型: tag: 上传人:tianbu 上传时间:2023-08-28 0 数理逻辑与集合论第二版· 清华出的 数理逻辑与集合论,计算机专业研究生基础课。这本很精简,不错。 语言: 其他 大小: 类型: tag: 上传人:tianbu 上传时间:2023-08-28 0 10条