• 作业独立完成，和其他同学讨论的部分需在提交时说明。
  • 所有作业均在北大教学网上提交。如提交 PDF 文件，文件标题请以“学号-姓名-软分第x次作业”的格式书写。
  • 在无特殊说明的情况下，当周作业需在下一周周二上课之前提交至教学网。
  • 作业每道题目 10 分，晚于截止时间的作业，其最终得分将会乘以 0.6。
  • 课程作业计入总评 20 分，根据完成质量评分。

已发布作业

第一次作业为《课程介绍》第 58 页的两道题，请将 PDF 文件提交至北大教学网。

  • 2026/09/08
    课程介绍
    [2026/09/22 上课前 截止]
    • 假设我们设计一个程序分析来检测程序是否会抛出异常。该分析遍历输入空间中每一个输入，然后执行100条语句，看程序是否抛出异常。对于有限输入空间的程序，该分析是精确分析、上近似、下近似还是不属于以上三类？为什么？
    • 假设我们把符号分析的抽象域改成{自然数，负，槑}三个值，其中自然数表示所有正数和零，请写出加法和乘法的计算规则，并给出一个式子，在该抽象域上得到的结果不如{正，负，零，槑}精确。