22fall助教前来评课。作业作业不要抄袭实验框架这学期的实验框架绝大部分沿用去年的,最重要的改动是指令链表的数据结构:由std::list<Instruction*> 改为llvm::ilist<Instruction> ,LLVM侵入式链表在erase成员时会自动delete,因此解决了去年框架 >>more
芭蕾基训指的是芭蕾的基础训练,主要练习一些舞蹈的基本功。由于芭蕾发展较久,对身体的训练较为科学,芭蕾基训也会在古典舞以及一些现代舞的练习中出现。老师是安徽艺术职业学院的老师,我网上查了半天好像没看到这个学校有芭蕾舞专业,老师上课给人的感觉是她教的芭蕾基训是为了古典舞服务的。并且由于中国古典舞要求的 >>more
这门课本科生和研究生都可以选,本科生在西区上网课,研究生则是在高新区。课程分两部分,第一部分是静态程序分析,第二部分是编程语言理论。考试开卷,我那个时候PL的部分没怎么复习,到最后没做完。程序分析部分的参考教材是这个https://users-cs.au.dk/amoeller/spa/,老师的pp >>more
实验哲学是哲学界一个新兴的流派,“旨在结合实证研究与传统的哲学研究方法”(维基百科)。本门课程主要介绍实验哲学的基本思想,它在一些传统的哲学问题上(如伦理学,自由意志等等)的新思路,以及较新的哲学问题(比如人工智能),也会穿插心理学和神经科学的讨论。偶尔点名,可以请假;期末是小组合作做一个关于哲学( >>more
本门课程大概讲述的是形式化方法(Formal Methods)的一部分具体地说,是SAT/SMT Solver (DPLL & CDCL算法, Z3)和Model Checking(LTL, CTL逻辑, Fix-point, ROBDD, NuSMV)最后一节课简单介绍了ProVerif, Dol >>more
个人感觉老师讲课一般,绝大部分时间在推荐书,没有很深入的讲解附上写小论文发现的古代哲学公开课(英文)https://www.youtube.com/playlist?list=PLSvsx8116eZjRuC0qaZ5UEhybCsYpA-1j >>more
成绩还没出,先来写点评价给后面选修的同学避个雷。上课只能说是中规中矩,介绍一些考古学的理论,具体的考古实例则是以国内的考古工作为主,有ppt考核方式是小论文。二月一号deadline, 成绩现在还没出。重点是,老师在提交成绩后,才通知我们说有同学没交论文(大约7、8个)。后来这些同学纷纷把发送的邮件 >>more
张娜老师超级可爱,强推。这门课只有张娜老师,另外一位都没见过(老师讲课很细致,定理证明全部手写,也会补充很多例题,平时作业不算多,很照顾基础比较差的同学哦。期末不考级数。考试非常简单,基本全是计算题,今年期末只有一道证明但也很简单(试卷的总体难度跟单变量完全没得比)助教也很负责,习题课准备很充分,而 >>more
梁老师的课,选他选他!!每节课都是精神盛宴,老师专业水平高课堂也把握得很好,反正超享受就是了。楼上也有同学说要辩证的看待老师课上所说,之前在课上也说过类似的话,大概是前几节课可以同意老师的,到后面就要有不同的观点了。最后就是,复旦真好啊( >>more
老师上课催眠,而且班上很闷,味道略大所以上了几节课之后就没再去过了(老师不点名),每次在去三教路上看到老师都觉得有点罪恶感啊hhh力学和热学的所有作业都会在开讲第一章时给出,量也不算大。期末热学考了好多原题,不过我还是太菜了。 >>more
别的同学都已经写很多了,我说点比较个人的感受吧。我在考前没几天才知道communication中文翻译叫传播学(老师喜欢上课提问,总评里面有参与度的占比,然而个人并不是很喜欢举手发言不知道总评会不会受影响呢,不过学期后半段基本没有提问环节了。老师自己口语不好却非常看重同学presentation时的 >>more