哈尔滨工程大学研究生课程教学大纲汇编解析.doc

计算机科学与技术学院 062301 计算机科学数学 32学时/2 学分 英文译名：Mathematics for Computer Science 适用领域：计算机科学与技术，计算机应用技术 任课教师：黄少滨 教学目的：通过本课程的学习，使研究生熟悉掌握现代计算机科学与技术的相关理论基础，为后续的科学研究工作打下坚实的基础。 预备知识或先修课程要求：算法设计与分析，离散数学，，数据结构。 教学方式及学时分配：课堂讲授28学时，课堂讨论4学时。 学时 教学内容 教学方式 4 授课 2 授课 4 授课 2 授课 2 授课 2 授课 2 可计算性理论 授课 2 课堂讨论 4 授课 2 并发模型、程序逻辑 授课 4 授课 2 课堂讨论 教学主要内容及对学生的要求：内容摘要：本课程将主要介绍 考核方式：采用课程论文的方式进行考核，百分制。 主要参考书目： [3] 计算理论基础.Harry R.Lewis,Christos H.Papadimitriou著，张立昂 刘田译. [4] Principles of Model Checking.Christel Baier,Joost-Pieter Katoen.The MIT Press 2007. 062302 机器学习理论