《C程序设计语言(第2版•新版)》讲述深入浅出,配合典型例证,通俗易懂,实用性强,适合作为大专院校计...

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模...