语文
小学语文
初中语文
高中语文
数学
小学数学
初中数学
高中数学
英语
小学英语
初中英语
高中英语
物理
初中物理
高中物理
化学
初中化学
高中化学
生物
初中生物
高中生物
政治
小学道德与法治
初中道德与法治
高中政治
历史
历史
历史
地理
初中地理
高中地理
音乐
小学音乐
初中音乐
高中音乐
体育
小学体育
初中体育
高中体育
美术
小学美术
初中美术
高中美术
科学
小学科学
书法
小学书法
日语
初中日语
高中日语
俄语
初中俄语
高中俄语
其他
高中信息技术
高中通用技术
首页
>
高中信息技术·中图版·选修5 人工智能初步
> 机器证明
《机器证明》资源列表
机器证明
课文目录
第一单元 感受人工智能的魅力
第一节 敲开人工智能之门
第二节 畅游人工智能世界
人机对弈
语音识别
智能代理
机器翻译
符号运算
机器证明
第三节 智能机器与人类共同的未来（选学）
第二单元 用知识武装机器
第一节 知识
第二节 状态空间表示法
第三节 其他知识表示法
第三单元 神奇的机器专家
第一节 初识专家系统
第二节 专家系统基础
第三节 专家系统推理机制
第四节 专家系统开发工具
第五节 用“外壳”开发专家系统
第四单元 机器如何解难题
第一节 Prolog语言基础
第二节 趣味数学问题
斐波那契函数的由来与递归过程
斐波那契函数的程序设计
梵塔问题的由来与分析
梵塔问题的算法描述与程序设计
第三节 经典智能问题
深度优先搜索解九宫格问题
初识启发式搜索
探索启发式搜索
用启发式搜索策略重解九宫格问题
拓展活动
第四节 数据库查询问题
重要术语中英文对照表
