点此购买报价￥20.30
目录：图书,考试、教材与参考书,本科及研究生教材,计算机专业,
品牌：吴晟
基本信息
·出版社：清华大学出版社
·页码：264 页码
·出版日：2007年
·ISBN：9787302154211
·条码：9787302154211
·版次：2007年10月第1版
·装帧：平装
·开本：16开 16开
内容简介
本书共分为数理逻辑、关系、图论、代数系统及组合分析初步5个部分，其中包括命题逻辑、谓词逻辑、非经典逻辑、集合、二元关系、函数、图论、代数系统以及组合计数等内容。本书既注重各部分内容之间的联系，又注重基础理论及其实际应用。各章配有小结及大量的例题分析，除第2章外每章本有两套习题，习题一供学习者熟悉本章概念、理论和方法；习题二供学习者进行自我检测。
本书可作为高等院校计算机及其相关专业的本科生、研究生教材，也可供从事计算机工作的科学技术人员以及相关人士使用或参考，还可用作大学毕业生的考研复习用书。
编辑推荐
本书共分为数理逻辑、关系、图论、代数系统及组合分析初步5个部分，其中包括命题逻辑、谓词逻辑、非经典逻辑、集合、二元关系、函数、图论、代数系统以及组合计数等内容。本书既注重各部分内容之间的联系，又注重基础理论及其实际应用。各章配有小结及大量的例题分析，除第2章外每章本有两套习题，习题一供学习者熟悉本章概念、理论和方法；习题二供学习者进行自我检测。
本书可作为高等院校计算机及其相关专业的本科生、研究生教材，也可供从事计算机工作的科学技术人员以及相关人士使用或参考，还可用作大学毕业生的考研复习用书。
目录
第1篇 数理逻辑
第1章数理逻辑
1.1命题及命题联结词
1.1.1命题
1.1.2命题联结词
1.1.3命题的符号化
……[看更多目录]
点此购买报价￥20.30
