这一章的习题从内容上可以分为四种类型:逻辑等式的证明逻辑函数不同 表示方法之间的转换、逻辑函数形式的变换和逻辑函数的化简。下面分别总结、 归纳一下这几种类型习题的解题方法并给出相应的例解

设(,p)为度量空间,ACX,定义A的直径为 X中的子集S称为序列紧的,如果S中任何点列均有收敛子列,且该子 列极限仍在S中例如,Rn中有界闭集是序列紧的 定理(Lebesgue引理).设S为(X,p)中的序列紧集{Ga}aer为S 的一个开覆盖,则存在入>0,使得当S中子集A的直径d(A)小于入 时,A一定包含于某个G内 证明:(用反证法).假设结论不成立,则对n≥1,nS

一、多种选择题(把代表正确答案的字母圈起来,每小题4分,共20分) 1.对于三角形ABC,下述概念哪些是仿射不变的? A.重心;B.旁心;C.两边中点的连线;D.内心 (ABCD)

在每一次绘图中，用户都要做如下工作：确定图幅、绘 制边框、标题栏、确定绘图单位、设置文本格式、尺寸式样、 公差式样、建立必要的图层等。而这些内容一般有了国家标 准或单位标准，基本是固定不变的，没有必要在每次绘图中 都重复绘制，为解决这个问题，AutoCAD 提供了一个一劳 永逸的办法，就是建立样板图

DNS 包含域名服务器和解析器两个部分。 域名服务器：存储和管理授权区域内的域名数据，提供接口供客户机检索数据； 解析器：即客户机，向域名服务器递交查询请求，翻译域名服务器返回的结果并递交给 高层应用程序

netfilter/iptables 允许为防火墙建立可定制的规则来控制数据包过滤，并且还允许配置有 状态的防火墙。 netfilter/iptables 还可以实现 NAT（网络地址转换）和数据包的分割等功能。 netfilter 组件也称为内核空间

在终端窗口中执行命令#vim ztg.txt，如图 2-11 所示，用 Vim 编辑器来编辑 ztg.txt 文件。 刚进入 Vim 之后, 即进入命令模式，此时输入的每一个字符，皆被视为一条命令，有 效的命令会被接受，若是无效的命令，会产生响声，以示警告。如果想输入新的内容，只要 按一个表 2-5 中的字符键（【a/A】键、【i/I】键或【o/O】键）即可切换到输入模式，如图 2-12 所示

重定向输出符 >与>> 一、重定向 (redirect) 可将某命令的结果输出到文件中, 或由文件中输入命令需要的内容。 二、输出重定向有两个命令：

1.化学的研究内容 2.化学发展简史 3.无机化学简介

一、前10章，重点前7章 二、课上补充内容 三、 作业