11.1菜单设计 11.2对话框设计 11.3图形用户界面设计工具

13.1 Notebook操作基础 13.2单元的使用 13.3输出格式控制

第五章VBA内部函数 5.1数学函数 5.2数组函数 5.3字符串操作函数 5.4日期和时间函数 5.5数据类型检查与

10.1欧拉图 10.2哈密顿图 10.3平面图 10.4二分图 10.5例题选解

5.1从阴影恢复三维形状 5.1.1成像过程的数学模型 一、图象辐照度的形成

1.3从网络到图 1、网络图论概论 图论是数学领域中一个十分重要的分支,这 里所涉及的只是图论在网络中的应用,称网 络图论。网络图论也称网络拓扑。 为在计算机上系统地列出一个复杂网络的方 程以便分析,就要用到网络图论和线性代数 的一些概念。 随着计算机的发展,网络图论已成为计算机 辅助分析中很重要的基础知识,也是网络分 析、综合等方面不可缺少的工具

一、命题演算的自然推理形式系统N 二、怎么在计算机上实现如下有效推理:

人工智能的三大流派 人工智能发展史 人工智能的学术活动 高速计算和知识等效 博弈论（数学） 人机博弈

《数字电子技术》 《数值分析》 《学科概论》 《程序设计语言 C/C++》 《离散数学》 《数据结构》 《汇编语言程序设计》 《操作系统原理》 《计算机组成原理》 《数据通信原理》 《计算机网络原理》 《网络互连技术》 《数据库系统原理》 《交换原理与技术》 《计算机接口技术》 《面向对象程序设计 Java》 《计算机网络安全技术》 《网络管理》 《接入网技术》 《Web 编程与设计》 《计算机网络系统分析》 《网络工程师概论》 《Linux 操作系统》 《嵌入式系统基础》 《移动应用开发技术》 《云计算概论》 《计算机多媒体技术》 《物联网技术与应用》 《TCP/IP 协议》 《计算机局域网》 《无线通信技术》 《无线传感网技术》 《网站架构与电子商务》 《计算机组网技术》 《网络综合布线技术》 《信息工程管理》 《项目管理》 《数据仓库与数据挖掘》 《电子商务概论》 《科技文献检索》

2.1 谓词逻辑的基本概念与表示 2.2 谓词的合式公式及解释 2.3 范式 2.4 一阶逻辑的推理 2.5 谓词逻辑在计算机科学中的应用