《离散数学：现代计算机科学的基础》是一本深受计算机科学专业学生和研究者喜爱的教材，这本书由美国著名的计算机科学家、教育学家埃德蒙·克鲁斯（Edmund F. Codd）和艾伦·罗宾逊（Alan M. Robinson）合著，由机械工业出版社于2010年出版。
作者简介：
埃德蒙·克鲁斯，美国计算机科学家，曾任教于美国伊利诺伊大学香槟分校，是数据库理论的先驱之一，艾伦·罗宾逊，美国计算机科学家，曾任教于美国斯坦福大学，对计算机科学的理论和实践有着深刻的贡献。
出版社及出版时间：
出版社：机械工业出版社
出版时间：2010年
书籍介绍：
《离散数学：现代计算机科学的基础》是一本系统介绍离散数学基础知识的教材，旨在帮助读者掌握离散数学的基本概念、原理和方法，为计算机科学的学习和研究打下坚实的基础，本书内容丰富，结构清晰，适合作为计算机科学、信息技术等相关专业的本科生和研究生教材，也可供广大计算机爱好者自学参考。
大纲：
第一章：引言
- 离散数学的定义和重要性
- 离散数学的应用领域
第二章：逻辑与命题
- 命题逻辑的基本概念
- 命题逻辑的推理规则
- 命题逻辑的应用
第三章：集合论
- 集合的基本概念
- 集合的运算
- 集合的等价和划分
第四章：关系与函数
- 关系的基本概念
- 关系的运算
- 函数的基本概念
- 函数的运算
第五章：图论
- 图的基本概念
- 图的运算
- 图的应用
第六章：组合数学
- 组合数学的基本概念
- 排列与组合
- 组合数学的应用
第七章：数理逻辑
- 数理逻辑的基本概念
- 谓词逻辑
- 形式系统
第八章：计算理论
- 计算理论的基本概念
- 计算复杂性理论
- 形式语言与自动机
通过以上八个章节的详细讲解，本书系统地介绍了离散数学的基本知识，并配以丰富的例题和习题，帮助读者更好地理解和掌握离散数学的理论和应用。
《离散数学：现代计算机科学的基础》作为一本经典的离散数学教材，以其严谨的体系、丰富的内容和实用的案例，为计算机科学的学习和研究提供了坚实的理论基础，无论是作为课堂教材还是自学参考，这本书都是不可多得的好书。