这门课是数理逻辑的升级版，我学的不好，大致意思是把问题表示成变量的表达式(形式化)，条件包含3个公理等，然后用搜索、剪枝、线性规划等技术，在解空间里求符合条件的解答最后一部分是用符号和公理证明数学定理，比较有意思，最近有个新闻也是在干这个，https://www.jiqizhixin.com/art >>更多
Just enjoy it. >>更多
看了社区去年的评价，去年大家都这么强 >>更多
老师和助教都特别好，不强制点到，还会给我们发糖吃😋期末作业是写篇论文，因为本来定的23号ddl，但是7号的时候通知说9号就得交，所以火急火燎赶了一篇，最后拿了4.0，老师之前说过想给所有同学优秀的，可惜没过教务处这关，但是可以想象到这门课应该也是3.3保底的 >>更多
张娜老师的课选就完了，保你可以听明白，是真的可以踏踏实实的学会知识的，老师真的也很认真，讲的非常清楚有条理，很仔细，没有多余的废话，真的真的真的很好。 >>更多
几何素养大大大大提升，唯一的遗憾就是谱理论刚开始就结束了。讲句题外话感觉一两门几何课的广度对于理论物理是不太够，可惜火老师最近有编写教材任务需要反复教一些课，不过上完火老师的课之后自己看资料的速度提高了3-5倍，小论文写了个Ambrose Singer对规范场论也有很大帮助。附带无意拍下的可爱僵尸步 >>更多
生物化学(A1)是生命学院的基础课之一；也是化学生物学专业的必修课高级替代。从内容上讲，生物化学(A1)基本上和高中生物必修一分子与细胞内容相近，主要介绍了蛋白质、核酸、糖、脂质等生物大分子的组成、结构、基本性质，以及在生命体系中的作用。内容详实、难度不大。作为化学院的学生更希望从化学角度理解这些分 >>更多