刚考完，趁着热乎劲来说点考试相关的。

今年的考试应该算是比较简单的(但是我比较菜，可能考的不是很好)，7道判断题没有涉及到那些课本没有的但是cxp老师ppt有的内容，也没有简答题(白问chatgpt了，命题演算里的直接证明在课本习题中是间接证明，可以进行一个魔改(虽然我还是花了挺久才改出来，谓词演算出的证明一个来自课本另一个也不难。语义题命题演算和谓词演算都考了一个(应该也不是很难，然后还考了一个前束合取范式。

因为是开卷，所以我还是准备了蛮多的资料，这里放出来希望对后人有点作用。

https://github.com/Wloner0809/ustc-curriculum-resource/tree/main/%E6%95%B0%E7%90%86%E9%80%BB%E8%BE%91%E5%9F%BA%E7%A1%80

内容来自往届助教和我自己的整理

其他的出分后再说。

2023.6.19 update

果然有点小寄，卷面91，加上平时作业扣了0.5，小测后来补交的，4.3肯定是没了，4.0应该还是比较稳的。

感觉这学期助教稍微有点不负责任，体现在谓词演算演绎定理使用条件上。作业答案应该是没有强调过这个东西的(如果有的话是我的问题)，但是考试没写直接扣两分(悲。不过考虑到是计科的助教，你还能对他们要求更多吗(逃

2023.7.20 update

隔了这么久终于出总评了。之前查卷卷面加了2分，最后总评96。感觉也看不出来是28开还是37开还是什么其他的给分方式，我自己还是比较满意的，但lgq班好像跟隔壁班一比还是太卷了(又卷给分又不太好。

这里建议后来人还是要谨慎选隔壁班，谁知道明年到底是哪个班更卷呢(🐶

6月19号出分了，很幸运的是拿了97/100。但是感觉这个分给的不太好，谓词演算演绎定理那里我自己写的不清不楚，只提到了一次Gen变元，但是没扣分，同学没写这个条件的貌似每个扣2分，感觉这个得一视同仁。。。

考试考了七道选择，做的时候胆战心惊，但是最后还是错了第四题（不过大部分人都错了，班里好像最后只有一个选择全对？），项替换项是什么阴间操作。。

除了七道判断，大题考了一道命题中的语义证明题（每年都考，一般不会很难），但是今年结果需要讨论，很多人栽在这里；一道直接证明，其实今年考的直接证明就是类似HS的想法，只要把HS直接证明前几步搬到试卷上就行，但是这不妨碍它写了一整面的事实（抄式子抄的手疼），考场上一个小时之后才把这题写完心态是有点崩的；一道谓词证明，只要注意写演绎定理的Gen变元条件就行；一道前束合取范式（每年都考），看起来简单，其实全做对也不那么容易，注意步骤细节就行；最后一道翻译现实问题为谓词演算，感觉是送分题（只要学了）。

数理逻辑基础这门课感觉比代数结构有意思，因为我大一没修代数结构，所以现在还要准备考代数结构考试，相比而言，数理逻辑更贴近现实，甚至复习的时候重过一遍书还觉得谓词演算系统挺有意思，不像代数结构就nm玩弄加减乘除，搞一堆定义不知道要干嘛，完全学不懂。。。

复习建议：一定要先做一张往年卷了解重点是什么。。每年都考的大题基本不要丢分。至于区分题（判断和直接证明），我的评价是：对于判断题，一定要通读书本，思考下命题演算和谓词演算的区别和联系，谓词演算各个定理为什么要引入某个其他条件的原因，离散数学的特点就是定义贼多，各个定义和它的符号复习完一遍之后得说出来个所以然。这里给下我考试前整理的资料，包括我自己边看书边手写的复习笔记（字比较丑，只有手动排版，目前还不太熟练Latex，复习也没那么多时间，凑合看。。。），不过里面有我自己的粗浅理解，希望对之后的学弟学妹有帮助吧：https://github.com/Melmaphother/ustc-course-resources/tree/main/%E6%95%B0%E7%90%86%E9%80%BB%E8%BE%91

关于助教：其实我不是很满意这学期的助教，包括但不限于一开始要邮箱交作业（bb交多方便啊）、最终统计作业的时候到考试前才整理出最终的统计表，前面三个助教分别发了一堆作业提交情况切片，甚至只有乱序排列的学号，又不是所有人手边都有电脑可以ctl＋f查找，那大家用手机平板查看的又怎么好找呢？足以看出助教之间配合不太好。考试前助教只发了一个从github直接就能搜出来的资料，而隔壁班助教总结了概念辨析（说实话对我当时的困惑问题很有帮助），以及总结了往届试卷的题型分析和常见的直接证明。导致了考试前有很多同学潜入隔壁班找资料，虽然说这个东西共享也没啥问题，但总觉得怪怪的。。但是不得不承认我们班助教的水平很可以，同学提出的问题都能给予解答，特别是最后查分的黑白度法查分很有意思。。

中规中矩的一门课，但是教材非常好！！很适合自学

首先是讲课水平，听了前两节课后我觉得单纯是在念（和书一模一样的）ppt，而且很无聊。大概上一节课的进度等于自己看书半个小时的。于是之后就变成只去自习了，但是也不点名。

看完教材大概题目也都会做了，作业不多，实在不回的话书后面还有贴心的提示。

最重要的是：看完书和做完作业不代表考试能考好，我也不清楚怎么回事，可能是过了太久才考试以及可供练习的题目太少导致考炸了（大约75左右）。作业和考试 四六开 ，加上一点微调后总评顺利被捞上85，感谢老师！

另外就是，孙若培助教太可爱了🤤，培培...我的培培...！

最后附上一张开学前 p 的图 ，希望大家学的开心

严格46开，经典离散数学给分，不要有什么幻想了。

讲课催眠，完全自学，考前突击，开卷瞎写，总评81，甚至小数点也不肯四舍五入。

不少人翘课去做核酸检测，好像挺方便的（俺也没试过）

老师讲两小时课后看半小时就能看懂……

传一个自己整理的速查表）

Please login to download the attachment

先来份考试试卷2023春数理逻辑期末考试回忆.pdf

出总评来补

出分了来评个课（

现在担心查完卷之后分数上调要被卷爆了

期末卷面94 复习方法是考前把书整体看了一遍（这个时候才感觉真的学会了点东西

然后做了点往年题找找感觉

希望能有4.3 出成绩了再来写写

----------

今天出分了 给了97 感觉是37还向上取整了 感谢老师

给分按硬性公式、上课极其催眠、考试比较难。

但是作为辅修生，自学就能拿到过的话还是可以的。

不点名，可以翘课

自学效率更高

把课本概念和作业自学搞清楚了考试能拿85+没问题