1.掌握状态空间法、问题归约法、谓词演算法的基本特点。2.能运用状态空间法、问题归约法、谓词演算法描述求解相关问题。
1.完成自测题目。2.阅读学习资源中的一些文章和拓展性资料。
建议学习5学时,建议学时分配方案如下:知识点一 状态空间法(2学时) 知识点二 问题归约法(1学时) 知识点三 谓词逻辑法(2学时)