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

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

课程性质:主干课中的核心课程；课程教材:《新编》第2版；

第一章 法的概念 第二章 法的价值——正义与利益 第三章 法的作用 第四章 法的历史发展 第五章 资本主义法 第六章 依法治国总论 第七章 依法治国与社会主义经济 第八章 依法治国与社会主义政治 第九章 依法治国与社会主义文化 第十章 法的制定 第十一章 法的渊源与法的分类 第十二章 法律体系 第十三章 法的实施 第十四章 权利、义务、权力——法律关系 第十五章 法律责任与法律制裁 第十六章 法律解释与法律推理 第十七章 法律实施的监督

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.网络工程技术的新发展

8.1集成运算放大器 8.2集成运放的应用

6.1半导体的基本知识 6.2半导体二极管 6.3特殊二极管 6.4双极型二极管 6.5单极型三极管