本书共分8章。第1章介绍命题及命题逻辑, 第2章介绍谓词逻辑及其推理理论, 第3章介绍集合的基本概念、性质及计数方法, 第4章介绍二元关系及其性质, 第5章介绍函数及其性质, 第6章介绍图论的基础内容和一些特殊图, 第7章介绍树及其应用, 第8章介绍代数系统及一些与计算机密切相关的代数系统。各章后均配有难度适当的习题, 便于学生课后练习。本书结构严谨, 逻辑清晰, 讲解透彻, 示例丰富。
馆藏号 | 馆藏地名称 | 索书号 | 文献状态 | |
---|---|---|---|---|
001413890 | 西校理科 (西区图书馆主楼五楼) 定位 | O158-43 1016 1 | 在馆 |
预约情况:当前已有0人预约,还可 1人预约
预约
作者:张俊,肖利芳
出版:科学出版社,2022
作者:王庆先,顾小丰,王丽杰
出版:人民邮电出版社,2021
作者:周丽,方景龙
出版:人民邮电出版社,2021
作者:中国科学技术情报研究所重庆分所等编辑
出版:科学技术文献出版社重庆分社,61979
作者:中国科学技术情报研究所重庆分所等编辑
出版:科学技术文献出版社重庆分社,61979
作者:俞宏毓
出版:东南大学出版社,2024