软件学院硕士研究生程内容简介.docVIP

软件学院硕士研究生课程内容简介 学科基础课 -------------------- 人工智能原理 -------------------- 课程编号： 课程类别：课程名称：人工智能原理 英文译名：Principles of Artificial Intelligence 学 时：学时 学 分：学分 开课学期： 教学方式：课堂讲授 考核式： 适用学科：内容简介：参考书目文献： --------------------形式语义学------------------- 课程编号： 课程类别： 课程名称：英文译名：学 时：学时 学 分：学分 开课学期： 教学方式：课堂讲授 考核式： 适用学科：内容简介：参考书目文献： 3．屈延文，《形式语义学基础及形式说明》，科学出版社。 4．Formal Syntax Semantics of Programming Languages, Kenneth Slonneger and Barry L. Kurtz, Addison-Wesley Publishing Company,1995 -------------