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 中的实现方法及操作步骤

5.1概述 5.2反馈振荡器的工作原理 5.3LC正弦振荡器 5.4LC正弦振荡器的频率稳定度 5.5晶体振荡器

3.1小信号谐振放大器 3.1.1概述 作用:放大各种无线电设备中的高频小信号(微弱), 通常是窄带放大器,以各种选频电路作负载(并联、耦 合谐振回路等),所以还具有选频或滤波作用。 分类:调谐放大器和频带放大器,前者的谐振回路调谐 于输入有用信号的频率;后者谐振频率为固定值

一、本课程在学科中的位置 二、本课程要求 1、范围:通信领域中各种高频电路(含非线性电路)的组成、工作原理及分析计算

一、互连网络的基本概念; 二、网络互连的类型和层次; 三、网络互连的基本设备; 四、广域网的一些技术,涉及到PSTN、X.25、DDN、ISDN、FR等