课外学习日志-2022-9-25

一，全国大学生英语竞赛

        上午参加了这次的大英赛，总体来说不是很难，就是体量有点大，而且这次也没有复习，就熟悉了一遍题型，所以对于单选语法题有些只能蒙。而且词汇量还是有待欠缺，也算是一次宝贵的经验教训，让下次的参与可以有更充分的准备。

二，概率论学习

• 泰勒级数
• 以r，p为参数的帕斯卡分布

三，离散数学 1h17min

• 简单析取式和简单合取式都是析取范式或合取范式
• 极小项对于简单合取式有唯一成真赋值，极大项对应简单析取式有唯一成假赋值
• 任意极小项和极大项其间都不等值
• 主析取范式和主合取范式：求主范式时注意“无中生有”，使用分配律时注意括号里变到括号外
• 主析取范式可以求公式的成真与成假赋值，判断公式的类型（通过极小项的个数），判断两个命题公式是否等值，即判断主析取范式是否等值
• n个命题变项的主析取公式
• 联结词完备集以及最小联结词完备集
• 消解算法：对中任意的与中任意的......；对中任意，......
• 合取范式不可满足是有否证的充分必要条件
• 对于应用题，抽象出命题公式，求出对应的成真赋值即可，等值演算的化解很恶心
• 构造合适的消解序列得到否证进而证明为矛盾式