《离散数学》第二周作业及预习

第二周主要内容

    第二章 命题逻辑等值演算（PPT） 中，基本要点请参考《离散数学学习指导与习题解析》2.1 内容提要（P20-21）（点击可下载），其中基本要求如下。

    难点中，大家可能会觉得 “基本要求”第5条“极小项、极大项”比较难。大家可以用这种方式来加深理解。大家翻到教材（P17）表2.2，我们看其中的第1列与第4列。

    随着p、q、r的取值变化，最后一列的真值也有变化，一共有3个成真赋值、5个成假赋值。为了达到“唯一性”要求，只有“各命题变项（or 否定） 的合取”才能够做到表达方式唯一，如第二行，只有“非p非qr”（即m1）。

    合取的命题变项个数越多，命题成真的概率越小，所以 合取 为极小项。极大项理解方式类似。

预习章节

    第三章“命题逻辑的推理理论”3.1节“推理的形式结构”。

第二周作业（写在作业本上，上课需要检查登记）

    P39 习题二 15（1）、16（1）

    P52 习题三 6（5、6）、9

    说明：6（5、6）表示第6题的第5、6小题。

附：编程加分题（期末总分+5分）

    给定excel文件（信管13级问卷名单.xls） 与 学生花名册文件（信管1134班.txt），找到1134班未完成问卷的同学名单，并把此名单保存到文件（lost_1134.txt）中。

   要点：文件读写，字符串分割，XLS文件读写（如果不能，则转成txt文件进行读写）。

    加分：提交源代码并通过审核，则加分。