耿素云,屈婉玲编著2002 年出版245 页ISBN:7301056680
本书共分四大部分,数理逻辑部分包括命题逻辑的基本概念、等值演算、范式与推理论,一阶逻辑的基本概念、前束范式以及推理理论。集合论部分包括集合的基本概念与运算,二元关系的性质与运算、等价关系与偏序关系...
屈婉玲,耿素云,张立昂编著2014 年出版238 页ISBN:9787302339908
本书主要包含数理逻辑、集合论、代数结构、图论、组合分析、初等数论、离散概率、代数系统等部分内容,可作为《离散数学》(第3版)的教学辅导用书。...
耿素云,屈婉玲,张立昂编著2013 年出版257 页ISBN:9787302325079
本教材面向计算机应用人才的培养目标,重点讲授离散数学的基本概念、相关理论及其在计算机科学技术中的应用,主要包括以下6个方面的内容:(1)数理逻辑;(2)集合论;(3)图论;(4)组合数学;(5)代数结构简介;......
屈婉玲等编2016 年出版298 页ISBN:9787302424505
本教材为计算机科学与技术专业、软件工程专业“算法设计与分析”课程教材。全书以算法设计技术和分析方法为主线来组织各知识单元,主要内容包括基础知识、分治策略、动态规划、贪心法、回溯和分支限界、线性...
耿素云,屈婉玲,张立昂编著2013 年出版179 页ISBN:9787302325086
本教材配合主教材的章节,总结有关的知识点和解题方法,并对习题给出解答和分析。主要包括以下6个方面的内容:(1)数理逻辑;(2)集合论;(3)图论;(4)组合数学;(5)代数结构简介;(6)形式语言与自动机初步......
屈婉玲,刘田,张立昂,王捍贫编著2014 年出版120 页ISBN:9787302364924
本书主要包含分治策略、动态规划、贪心法、回溯与分支限界等算法设计技术和分析方法以及问题计算复杂度的界定。在此基础上简要介绍了NP完全理论的基础知识以及近似算法、随机算法等。本书可作为《算法设计...
屈婉玲,耿素云,张立昂编著2005 年出版388 页ISBN:7302107572
本教材是根据ACM和IEEE/CS制定的CC2001,以及教育部高等教育司组评审通过的《中国计算机科学与技术学科教程2002》中制定的关于离散数学的知识结构和体系撰写的。全书共14章,主要内容包含证明技巧,数理逻辑、集...
屈婉玲,耿素云,张立昂著2008 年出版381 页ISBN:7040231255
本书是普通高等教育“十一五”国家级规划教材,也是国家精品课程“离散数学”的主讲教材。本书参照教育部计算机科学与技术教学指导分委会制订的《计算机科学与技术本科专业规范》和ACM/IEEEComputingCurricu...
屈婉玲等编2016 年出版179 页ISBN:9787302429555
本书主要包含分治策略、动态规划、贪心法、回溯与分支限界、线性规划、网络流等算法设计技术和分析方法以及问题计算复杂度的界定。在此基础上简要介绍了NP完全理论的基础知识以及近似算法、随机算法等。本...