离散:
今天主要学的是推理,感觉推理定理那一大堆公式就是假设箭头前是true,然后将双箭头改为单箭头,然后由此得到对应推理规则,横线上是“因为”,横线下是所以
推理的形式结构: (p → q) ∧ q → p
科研
论文开始看懂一点了,明天继续
算法
浙大数据结构之04-树4 是否同一棵二叉搜索树_piolet0016的博客-CSDN博客
离散:
今天主要学的是推理,感觉推理定理那一大堆公式就是假设箭头前是true,然后将双箭头改为单箭头,然后由此得到对应推理规则,横线上是“因为”,横线下是所以
推理的形式结构: (p → q) ∧ q → p
科研
论文开始看懂一点了,明天继续
算法
浙大数据结构之04-树4 是否同一棵二叉搜索树_piolet0016的博客-CSDN博客
本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/760518.html
如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!