往年卷最精了，留的都是简单的卷子，考试的时候出个难到爆炸的吓死你。问就是考试考破防了哈哈哈哈哈哈哈上面是考完试破防言论，今天刚出分，老师简直是奶王，加0.5分，来正式正式评教吧上课：侯老师上课水平一般般吧，基本就是念ppt和证明，证明有时候还会有点卡顿，不过考试不考证明倒是。不过这门课大多也是自学＋ >>更多

尼玛，今年出这么难，老冯飞了知道吗 >>更多

放一个将 “使用演绎定理的证明” 转写为直接证明的算法: 假定我们现在已经有了 Γ∪{p} |- q 的证明序列 (q_1,q_2,…,q_n=q) , 想要写出一个 Γ |- {p→q} 的证明序列. 我们知道直接证明的定义虽然是链式的, 但它实际上有着如同二叉树的结构: 从最后的结论往前回溯, >>更多

考完一个月终于出分了，这门课很轻松，作业很少，平时用ai随便写一下，助教的资料真的非常详细，考前看了两天速通了，考试直接证明，因为非号在括号外，有点难证明，实在抄不完了，其他题目都比较常规，别算错就好，没出期末分，最后总评98，想拿高分建议还是用资料和往年试卷拟合 >>更多

不知道自己多少分，故也就无法评价给分好坏。稍微评价一下今年期末考的卷子，比往年的会恶心一些，体现在两道应用题，和判断题的一些坑点。但反正理解了，而且概念之类的认真翻翻看看，这张考卷也没什么难的。回忆一下考卷（如果还有记得更多的可以在评论区说一下）：第一题：判断题（每题 3 分）（不保证顺序）。(1) >>更多

依旧统考，xy老师班的内容和卷子应该是最契合的？考试难度高于作业题以下为原评论第二周换到xy老师班，一学期总共来过两次，第一次和最后一次，当然，来了也没听过，等于没来过👈😀作业大部分自己写的，八次作业，大概一次1个半小时（除了某一次直接证明的作业，感谢我的舍友），把ppt和课本对应部分过一遍，然后借 >>更多

哎……学的感觉不难，做作业感觉不难，做往年卷感觉有点强度，今天考试什么鸡巴玩意儿？ >>更多

🥺🥺我的天哪数理逻辑大人🥺🥺啊？期末考试感觉一坨，结果给分这么高？！伟大，无需多言！ >>更多

随着数理逻辑期末考试的完结, 21级计科学生们的离散数学三部曲学习生涯也落下了帷幕, 不知道三个学期一路挺了过来的各位同侪们作何感想呢? 而我也正好趁这个时间点来补完这份评课.(此后可能还会作几次小的改动. 比如出分后更新 "总评" 一节; 在我彻底学完了数理逻辑后补充 "内容简介" 一节; 在我编 >>更多

科大的计科课程向来如此：在课堂上学到一堆没有用的东西，只求在期末考试的时候能刷到高分拿到高gpa。曾经的我是这种制度的拥趸（因为多少还能学点有用的），不过在上完这一学期的课之后从兔兔变身神神了（悲）说的就是你，数理逻辑和量子物理。哦，还应该加上大物实验。一门比一门若至，一门比一门a()cd用没有。数 >>更多