搜索【数理逻辑】的结果

Logic for mathematicians

稀缺资源，hamilton:数理逻辑

2019-12-21 22:20:10 9.24MB Hamilton 数理逻辑

1

面向计算机科学的数理逻辑课后习题答案 1-5章

面向计算机科学的数理逻辑系统建模与推理原书第2版的课后习题1-5章的英文答案，虽然是英文，不过对照习题，很容易看懂。

2019-12-21 22:16:57 444KB 数理逻辑 习题答案

1

面向计算机科学的数理逻辑课后答案

面向计算机科学的数理逻辑课后答案，英文版课后答案 logic

2019-12-21 22:01:20 630KB 数理逻辑课后答案

1

中科院数理逻辑作业

这是中国科学院大学（简称：国科大）数理逻辑与程序理论课程的平时作业与答案

2019-12-21 21:49:56 3.1MB 国科大 数理逻辑

1

数理逻辑入门 A Friendly Introduction to Mathematical Logic

2019-12-21 21:45:06 1.69MB logic

1

Introduction to Mathematical Logic, Sixth Edition

数理逻辑，经典本科教材，英文第六版，略讲二阶逻辑。

2019-12-21 21:35:12 9.99MB 数理逻辑

1

computability and logic 中文译文

英文版computability and logic 书的译文

2019-12-21 21:25:05 8.19MB 数理逻辑

1

数理逻辑与集合论（第二版）精要与题解

是清华版《数理逻辑与集合论（第二版）》的讲义与习题解答。

2019-12-21 21:24:17 2.43MB 数理逻辑 集合论 题解

1

数理逻辑与集合论第二版·

清华出的数理逻辑与集合论，计算机专业研究生基础课。这本很精简，不错。

2019-12-21 21:24:17 1.33MB 数理逻辑 集合论 计算机基础

1

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

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

1