布尔代数是计算机科学最重要的基础理论之 一,它在开关网络及数字电路的设计上有广 泛深入的应用. 布尔代数是计算机科学工作者必备的基础知 识，应掌握格与布尔代数的一般理论和方法， 除§3 Stone定理的证明细节可根据具体情 况删减外，其他内容应很好地掌握

一、本章讨论集合论中较为困难的问题—集合的基数问题；但只限于对基数作一简单介绍；如学时较少可不讲本章或对本章作恰当的删减. 二、本章主要概念为:集合的等势、有限集与无限集、可数集与不可数集及较为常见的集合的基数

本章可视为前一章的深入和提高； 由于命题逻辑的局限性我们必须 引入谓词逻辑.学习本章时要求掌 握好谓词与命题的关系、量词、 辖域、公式等概念.比较谓词公式 的等价、蕴涵与命题公式相应的 概念的异同；能将自然语言符号 化；能用谓词逻辑进行推理；理 解前束范式的意义

一、Par 公司问题提出 1、两种产品：中档、高档golf 球袋 2、四工序：切割（C）缝制（S）装配（F）检验和包装（I& P） 3、问题： 如何组织生产？中、高档产品各应计划生产多少？

生活中排队现象司空见惯，如：超市、银行 里的排队、马路上红绿灯前的排队、计算机 指令排队等待被执行 几乎没有人喜欢排队，只要有选择，排长队 的人都会变得不耐烦。所以，管理人员都知 道：队伍长意味着服务质量不高，可能导致 潜在的回头客另寻出路，于今后不利 从管理看，降低服务成本与提高服务质量相 互矛盾，如何平衡？

一、 课程的性质和任务 物理化学课程是化工类专业和分析化学专业的一门主干课，是 学生在具备了必要的数学、物理、无机、有机化学等基础知识之后 必修的专业基础课。 物理化学主要学习内容是化学热力学和化学动力学的基础知 识。物理化学属理科和工科的交叉学科，它是解决化工过程应用问 题的理论基础，本课程强调理论与实际的紧密结合，注重抽象概念 的具体应用

代数结构的主要研究对象是各种各样的代数系 统，即具有一些元运算的集合,本章介绍的群就 是具有一个二元运算的代数系统. 本章以群为例讨论代数结构，它的思想和方 法已经渗透到现代科学的许多分支、它的结果 已应用到计算机的不少方面，因此计算机科学 工作者应初步掌握其基本的理论和方法. 读者通过对群的学习应初步掌握对代数系统研 究的一般方法，从简单到复杂、从具体到一般

本章是数理逻辑中的最基本内容， 是下一章的基础.本章主要讲述命 题与联结词、命题公式、恒真命 题、等价式、蕴涵式及范式等基 本内容；能将自然语言符号化； 能用等价式、蕴涵式等进行命题 演算和推理；能用逻辑推理的方 法解决一些实际问题

一、课后练习 1. 设 , 是二阶线性微分方程 对应的齐次方程的基本解组，直接验证是非齐次方程的特解. 2. 求方程 的通解. 3. 求方程 的通解

B 样条方法在表示与设计自由型曲线曲面形状时显示了强大的威力，然而在表示与设计初等曲线曲面时时 却遇到了麻烦。因为 B 样条曲线包括其特例的 Bezier 曲线都不能精确表示出抛物线外的二次曲线，B 样条曲 面包括其特例的 Bezier 曲面都不能精确表示出抛物面外的二次曲面，而只能给出近似表示。提出 NURBS 方法， 即非均匀有理 B 样条方法主要是为了找到与描述自由型曲线曲面的 B 样条方法既相统一、又能精确表示二次 曲线弧与二次曲面的数学方法。NURBS 方法的主要优点：