本书共分为:命题逻辑;谓词逻辑;集合与关系;函数;代数系统;格与布尔代数;图论初步几部分,主要内容包括:命题及其表示、逻辑联结词、命题公式与符号化、真值表与等价公式等。
阅读更多
漫游鲸二手书店
微信扫码去买书
扫码访问微信小程序