计算机科学本科核心课程教材的计算机数学内容概述如下:
第1章探讨集合理论,包括集合的直观概念、基本关系,如包含、相等、真包含,以及欧拉图、维恩图等。章节还详细讲解了空集、布尔运算(交集、并集、差集与补集)、广义并集与广义交集,以及部分重要的数字集合。
第二章涉及关系概念,涉及序偶、笛卡尔积、关系及其表和图的表示,以及关系运算,如逆运算、并运算、合运算和象/象集。自反性、传递性和等价关系的定义与划分也在此部分深入讨论。
第三章讲解函数,定义、运算和性质,如单射、满射、双射,以及函数大小比较的方法。章节中还介绍了常用函数如恒等函数、常数函数等。
第4章聚焦于归纳与递归,包括归纳原理的应用、递归定义和结构递归在证明和函数定义中的运用,以及良基集上的相关概念。
第5章介绍组合学,包括加法和乘法原理,组合问题的计算方法,以及排列、组合的计算公式,以及有重排列和划分的概念。
第六章深入概率论,涵盖有限概率空间、条件概率、贝叶斯定理和随机变量等概念。
存储数学方面,第7章讲解树结构,如有根树、标记树和二叉查找树,以及无根树的性质。
逻辑部分在第8章展开,涉及命题逻辑的基础,包括真值函数、逻辑等价、标准型表达和自然演绎。
最后,第9章探讨量化逻辑,包括量词语言、逻辑等价和量化逻辑的语义学,以及逻辑结论和推理。
《计算机数学》内容阐述清晰,适用于仅有最少数学背景的大学本科生,更是自学与课堂教学的理想教材。 在大学计算机专业学习中,要求学生具有将具体问题转变抽象表示,并采用抽象结构进行推理,求出特殊情况下的有用答案的能力。