本书主要介绍集合论、关系、函数、近世代数、图论、数理逻辑。并为程序设计、数据结构、数字电路、算法设计...
2018.8
本书共7章，主要内容包括命题逻辑、谓词逻辑、集合、关系、函数、图论和树等知识。本书在叙述上深入浅出，...
2018.4