暑假第十一天打卡

离散:

今天主要学的是推理,感觉推理定理那一大堆公式就是假设箭头前是true,然后将双箭头改为单箭头,然后由此得到对应推理规则,横线上是“因为”,横线下是所以

暑假第十一天打卡_第1张图片

推理的形式结构: (p → q) ∧ q → p

科研

论文开始看懂一点了,明天继续

算法

浙大数据结构之04-树4 是否同一棵二叉搜索树_piolet0016的博客-CSDN博客

 

你可能感兴趣的:(离散)