数理逻辑引论

数理逻辑是离散数学的重要组成部分之一,是计算机科学的数学基础。本书内容主要侧重于逻辑演算:即命题逻辑...

2011.11

计算理论与符号逻辑

本书主要介绍、阐释了现代社会常见、实用的公务文书、事务文书、经济文书、法律文书、学术文书、书信文书、...

2011.10