课程主页

 

课程通知(请互相转告)

2011-3-23 请大家尽快选定论文题目（从未删除题目中选择）并通过email告诉我，如果有困难可在答疑时间来办公室和我讨论。

2011-3-23 课程内容和时间根据进度有所调整，如果有时间冲突，请提前告诉我。另外如果有同学自愿报告后面的章节或论文，请和我联系。

课程简介

本学期低年级讨论班（信息）由孙猛负责，内容为软件理论、技术和方法，欢迎对信息方向感兴趣的数学学院低年级同学参加。
讨论班采用Christel Baier和Joost-Pieter Katoen所著的《Principles of Model Checking》（2007年由MIT Press出版）一书作为基本阅读材料，讨论软件验证的问题。模型检查是目前国际上的热点研究问题之一，2007年的三位图灵奖获得者均是因为其在这方面的开创性工作而获奖。该书的两位作者是这一领域非常著名的学者，做了大量非常出色的工作。该书对这一领域进行了深入全面的介绍，是对模型检查进行学习和研究不可不读的一本书。

课程要求

本课程要求每个同学参加讨论，至少做一次阅读报告（书中章节或论文），并从事一些研究或开发工作，写一篇课程论文。最后成绩将根据参加讨论情况、讨论班报告和课程论文综合评定。