1.给出了命题的概念,即命题是能判断真假的陈述句 2.命题的判断结果称为命题的真值; 3.一个命题若不能再分割成更小的命题,该命题称为原子命题,否则称为复合题

我们在前面已经研究过集合,那时没有 过多地考虑一个集合内部元素之间的联 系.现在我们要在一个集合的内部引入 运算,并研究其运算规律,主要内容为:

本章可视为前一章的深入和 于题逻辑的扃限性我 感 须引入谓词逻辑学习本章时要求 掌握好谓词与命题的关系、量词 辖域、公式等概念比较谓词公 式的等价二蕴涵与命题式 的概的异能语 写化能角谓词逻辑迸行嶊理 理解前束范式的意义

树是一类结构较为算单的图途极 泛的散数学模型,特别是 它在许算机科学中用得最多因此在学 习时应很好地棠握好诸如树的充要条件 生成树、最优生成根树、树的各 种法

布尔代数是计算机科学最重要的基础理论之 泛深关网络及数字电路的设计上有厂 的应用 布尔代数是计算机科学工作者必备的基础知 识,应掌握格与布尔代数的一般理论和方法 情减巽惩覆舞握据具体

第12章文件处理 12.1文件简介 12.2文件和流 12.3顺序文件的访问 12.4随机文件的访问

第10章虚函数和多态性 10.1虚函数 10.2抽象类 10.3虚析构函数 10.4多态

第8章运算符重载 8.1概述 8.2运算符重载的一般规则 8.3一些特殊操作符的重载

第6章指针和引用 6.1指针 6.2引用

第4章数组 4.1一维数组的定义和数组元素的引用 4.2二维数组的定义和数组元素的引用 4.3字符数组