本书共分八章，第一章主要介绍：命题基本概念、运算及推理理论。第二章主要介绍：谓词逻辑基本概念、等值演...
2018.
本书是作者参照国内外多种同类教材，结合多年的教学实践，在自编讲义的基础上整理而成的。全书覆盖了计算机...
2018.8