历史匿名回执 ·
**课程内容**：汪芳庭《数理逻辑》第一章第二章 **上课自由度**：每节课都考勤（这门课就六个人选，再不考勤怕是能空成包场），细则往下看 **考核标准**：平时分30%+大作业40%+期末30% 以下抄自老师ppt **平时**：签到保底（10分，出勤超过半数就给你满上）+ 签到加分（5分，缺勤**小于等于3次**就是满分）+ 作业保底（10分，作业正常交，期末前随时能补）+ 作业加分（5分，不迟交（可以有一次隔一节课交），助教看作业质量，重点不是对错，是你认真程度、工整度、用心度，每次最好把上次错的地方改一改，所以别抄答案，可以参考了答案自己再理解，只要助教觉得不是抄的就行。） **大作业**：三选一（逻辑公式解析和分析器/从形式算术到Gödel不完备定理/数理逻辑的跨学科应用调研），最后一节课要当堂汇报。正文8页左右，5-6张图表，别超内容！！！写不下可以塞附录，但正文得能自己立住。最后要在Canvas系统上以可编辑PDF的形式交。交了就给20分。 **考试**（闭卷）：作业题为主，证明题为主：大家把作业好好过一遍，会有原题。基本的概念题、名词解释：送分给大家。会有一道未知证明题比较难，卷面占10分（课程分3分）：但也不会难到上天，想满绩的同学可以细看一波。总的来说考试不是这课的考核重点，临考翻翻作业、翻翻书就能考好。 （针对考试，老师最后一节课会划重点，懂得都懂，基本不用额外复习概念题和名词解释。剩下的题全来自作业题，包括压轴题。部分计算题和证明题的范围老师也会点。（针对考试，老师在最后一节课会强调重点，懂得都懂，基本上不用另外复习概念题和名词解释部分。其余题全部来自于作业题，包括压轴题。部分计算题和证明题老师也会强调。） **授课质量**：老师的ppt就是课本原文的搬运工，🈚️额外内容，自学大佬纯靠自己啃教材就能把课上学到的东西全刷出来。不过老师讲得深入浅出，相当于手把手带你细品一遍教材，课下除了作业不用再给这门课充电。给分很香，总评只扣了一分，而且我压轴题后面是伪证，等于除了这道题以外基本没被扣分。