2.1个体、谓词与量词 2.2谓词公式 2.3谓词演算的等价式与蕴含式 2.4前束范式 2.5谓词逻辑的推理理论

电子工业出版社：计算机类本科规划教材《离散数学》课程教学资源（PPT课件讲稿）总目录

7.1 Internet/lntranet网络技术概述 7.2一个 Intranet企业网络的建设

5.1影响网络安全的隐患 5.2网络安全技术概述 5.3网络安全结构设计 5.4防火墙 5.5网络操作系统安全性概述

3.1网络设计的目标 3.2拓扑结构设计 3.3网络组件设计 3.4IP地址分配 3.5IP路由设计

1.重要概念和术语 2.计算机网络工程组织 3.网络互连设备 4.网络应用模型 5.网络工程技术的新发展

12.1引导程序协议 12.2动态主机配置协议 12.3 BOOTP和DHCP应用实例

10.1广播的概念 10.2广播的类型 10.3组播的概念 10.4群组管理协议(GMP) 10.5组播应用实例

8.1虚拟专用网 8.2网络地址转换 8.3综合应用

6.1Pv4 6.2子网技术 6.3Pv6 6.4地址解析协议 6.5 Internet控制报文协议 6.6实训6一规划、配置网络系统