老师在许多地方有着对逻辑术语的，与课本不同的命名与符号，诸如“一阶逻辑”，“一阶结构”，I(M,F,R) 等等，尽管有些被书上注明了是“另可称作”，但是陈老师并没有考虑隔壁班的感受，最恐怖的是有些名词隔壁班不得不让老师或者助教（这次cxp考试期间都出差ORZ）在考场上现场解释。是的，卷子是陈老师一 >>更多

小姐姐老师的课怎么能不给满分（滑稽 每节课Mavis基本上都会推荐一些视频或者纪录片什么的，有时候还会在课上放，还挺有意思的，还放过一次r&m老师会主动认识大家，反正我是有次在cb自习刚好碰到Mavis就认识了除了英语，还能在课上听到法语，据说Mavis还会爱沙尼亚语前半学期每节课会有默写单词，但是 >>更多

期末关于这方面的题目只有2题，一题是作song业fen题，还有一题的题型是并不熟悉的non-smooth情况(目标函数有绝对值)，卡了我很久，最后只能用高中“分类讨论”方法做，摊手。非线性规划部分可以说是数值优化的入门，有很多精彩的理论，课后必然要花很多的时间消化理解，找几本参考书也是必须的(吐槽一 >>更多

主要按照 Extremal Combinatorics with Applications in Computer Science 这本书讲，授课内容大致如下。上半学期：Basic counting, Binomial theorem, Inclusion-Exclusion principle, >>更多

期末考试延长20分钟，在还剩30分钟的时候可能感觉自己卷子出难了，急急忙忙给了离散型分布顺序统计量的p.m.f.（也许是小提示？），这也太不靠谱了吧。4、不调分（分暂时还没出）。虽然说老师没有义务调分，但以期末分数大放水之后还只有25%左右的优秀率，期中又改的很严，作业助教也改的非常认真（严）的角度 >>更多

twise：张量代数，localwise：微分形式、外微分运算，globalwise：流形的定向与stokes公式，被称为微积分的顶峰）、de rham上同调（上同调群定义，M-V序列及其应用、紧支上同调，映射度与Poincare对偶）、最后一部分是几何理论（辛几何与Chern- Weil理论，初步 >>更多

设我们已经自学过。 老师用的教材是科大自编的渣的不能看的讲义，至少作业是从这上面留的。小伍还有两本书推荐：1. M.Artin 的《代数》，很多科大讲义上没有的证明老师就会说“这个证明 Artin 上有”。2.Rotman 的 《伽罗瓦理论》，据某神说老师讲伽罗瓦理论的应用的时候就是按照这本书讲的。 >>更多