6.1 代数结构的定义与例 6.2 代数结构的基本性质 6.3 同态与同构 6.4 同余关系 6.5 商代数 6.6 积代数

9.1 格 9.2 布尔代数 9.3 子布尔代数、积布尔代数 和布尔代数同态 9.4 布尔代数的原子表示 9.5 布尔代数Br2 9.6 布尔表达式及其范式定理

7.1 半群和独异点的定义及其性质 7.2 半群和独异点的同态与同构 7.3 积半群 7.4 群的基本定义与性质 7.5 置换群和循环群 7.6 子群与陪集 7.7 群的同态与同构

1.1 命题与联结词 1.2 命题变元和合式公式 1.3 公式分类与等价公式 1.4 对偶式与蕴涵式 1.5 联结词的扩充与功能完全组 1.6 公式标准型——范式 1.7 公式的主范式 1.8 命题逻辑的推理理论

2.1 个体、谓词和量词 2.2 谓词公式与翻译 2.3 约束变元与自由变元 2.4 公式解释与类型 2.5 等价式与蕴涵式 2.6 谓词公式范式 2.7 谓词逻辑的推理理论

Internet已逐渐成为人们进行信息交 流的重要手段，并为用户提供了资源共享 的有效途径。为适应互联网络的快速发展， 使用户能够快速有效地共享设计信息， AutoCAD 2004不仅大大强化了其Internet 功能，而且还进行了全面改进，使得其与 互联网相关的操作更加方便、高效

AutoCAD 2004提供了图形输入与输出接口。用 AutoCAD 2004绘制好图形后，可以使用多种方法输出。 可以将图形打印在图纸上，也可以创建文件供其他应用 程序使用。以上两种情况都需要选择打印设置。在绘制 好图形时，用户可以随时使用“文件”→“打印”命令 来打印草图，但在很多情况下，需要在一张图纸中输出 图形的多个视图，添加标题块等，这时就要使用图纸空 间了。图纸空间是完全模拟图纸页面的一种工具，用于 在绘图之前或之后安排图形的输出布局

在机械工程中，一台机器或一个部件都是 由若干个零件按一定的装配关系和技术要求装配 起来的，而表示机器或部件的图样就是装配图。 通过前一章的学习，读者已经了解了零件图的绘 制方法，本章首先介绍绘制装配图的基本知识， 然后通过一个蜗轮减速器装配图的绘制实例，详 细阐述用AutoCAD 2004绘制装配图的一般方法 及步骤

在一张完整的工程图纸中，除了表达结构 形状的轮廓图形外，还必须有完整的尺寸标注、 形位公差标注、技术要求和明细表等文字注释。 这些文字作为表达图形意思的有效手段，对任何 工程设计都是必要的。通过使用尺寸和文本标注， 可以在图形中提供更多的信息，不仅可以增加图 形的易懂性，而且也可以表达出图形不易表达的 信息

本章主要介绍国家标准对工程制图 中的图幅、线型、文字、尺寸标注和各 种符号等做的规定以及在AutoCAD 2004 中的实现方法及操作步骤