• 符号计算与自动推理 • 几何问题代数化 • 代数关系式的推导与验证 • 自动推理

人工智能是一种引发诸多领域产生颠覆性变革的前沿技术,当今的人工智能技术以机器学习,特别是深度学习为核心,在视觉、语音、自然语言等应用领域迅速发展,已经开始像水电煤一样赋能于各个行业。本白皮书版权属于中国信息通信研究院和中国人工智能产业发展联盟

4.1二元关系及其表示 4.2关系的运算 4.3关系的性质 4.4关系的闭包运算 4.5等价关系 4.6相容关系 4.7序关系

• 3.2.1 图像分割引言 • 3.2.2 边界分割法 • 3.2.3 边缘连接分割法 • 3.2.4 阈值分割法 • 3.2.5 面向区域的分割 • 3.2.6 数学形态学图像处理

7.1半群和独异点 7.2群与阿贝尔群 7.3子群 7.4陪集和拉格朗日定理 7.5正规子群 7.6同态和同构 7.7循环群 7.8置换群 7.9环与域

9.1图的基本概念 9.2路和回路 93连通图 9.4图的矩阵表示 9.5欧拉图和汉密尔顿图 9.6树 9.7二部图及匹配 9.8平面图

1.1命题及联结词 1.2命题公式与翻译 1.3真值表和等价公式 1.4重言式 1.5范式 1.6全功能联结词集 1.7对偶式与蕴含式 1.8命题逻辑的推理理论

8.1网络管理( Network Management)的主要功能 8.2简单网络管理协议(sMP) 8.3网络管理新技术 8.4网络维护(Network Maintenance)与故障排除(Failure Restore) 8.5典型的网络管理软件

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

本章学习目的: 了解文字处理的基本内容和技术,着重掌握WORD2000的文字表格, 图像及声音的处理技术,能够编辑图文并茂的文章