讲课约等于没有实验文档和懂王的演讲单句一样长（巧了你看这俩都姓董），文档的清晰度和拜登讲话一样清晰。期中组织了一模，实际卷子跟一模一毛钱关系没有。期末概念题风暴，比软工还软工。去死吧。 >>more
这门课程内容很多，而且也比较杂。不过总的来说知识不是特别深，还是很好懂的。内容的话包含：1. 自动机基础理论（让大家了解为什么形式化验证是一项很“难”的事务）2. 命题逻辑、一阶逻辑、二阶逻辑和演绎推理（形式化验证的数学基础，基本上算是带大家复习一遍数理逻辑）3. SAT/SMT的应用和求解理论4. >>more
写在前面：这个评分是给课程本身的，不针对老师。薛老师每周从苏州赶过来上课，还能讲的绘声绘色，有理有据，我觉得真的很可以。软件工程导论，顾名思义，我们要学习如何用工程的角度看待软件。目标是了解从设计软件到组织编写软件到测试软件的一系列流程。一般这一类课我们有如下几种办法：一、学校出一个已有的工程给大家 >>more
不太能给太高的分。讲课的话就不多评价，毕竟自己没好好听，就不配说了。实验我真的有点难受。讲课：绝大多数时候在讲并行计算的指标和念课本算法，设计方面非常草率。最大的收获点可能是了解了可以用多项式来刻画并行算法的核数。然后稠密矩阵运算讲的还不错。其他的一般般。实验：我真的觉得这几次实验不配称之为实验。实 >>more
lab2验收结束以后写一些。直到目前为止我认为这门课需要扣一些分，一个是闫老师的讲课水平，另一个是助教的课程管理能力。前一个是闫老师讲课不知道是不备课还是自己捣鼓不清楚，已经两次在指令分析的内容上翻车了。我觉得作为一个科大老师把ppt上每一页在讲什么在课前自己捋明白应该是很轻松的吧？希望闫老师尽快提 >>more
先给这门课一个总体的评价吧：中科大计科院设计的最好的一批课程之一。细说：内容：通过学习这一门课，同学们不仅能够学习到编译原理的知识，还可以学习到包括且不限于C++语法、git的使用、markdown文字处理、软件工程实践、gdb调试等许多在大一大二学习中缺失的内容。讲课：李老师讲课还是很不错的，不会 >>more
虽然不是张信明班的但是很多东西不吐不快这一篇重点聚焦在期末考试试卷上面。其他的事情无法评价。众所周知2021年冬季的期末考试的题目是由张信明老师亲自命题的。下面有些同学也给出了这张试卷。那么看了评课社区帖子的同学们，你们看了这张期末卷子，你们会怎么想呢？反正我做这张卷子的时候心态崩了。EXCUSE >>more
来科大以来收获最多的几门课之一。这门课这学期是谈老师讲了大部分内容，然后李老师做一些补充。个人感觉很好地兼顾了不同基础水平的同学们，毕竟算法这东西简单的部分确实非常简单，难了却能难上天。而且很难得的在200人大课上依然给予了同学们很多自己思考各种问题的机会，孩子非常喜欢。两位老师在讲课中展示了很多算 >>more
课讲的还是不错的。老师讲课很会打比方，ppt也很有活力，特别是当时讲进程管理的时候僵尸进程老师真的找了个僵尸头扔在那里。整个ppt逻辑结构也很清晰，每一个topic都会把主轴内容放在每一张ppt里面，比如讲内存管理的时候内存里的所有东西都一直放在一侧时时刻刻提醒你内存的结构是什么，免去了第一次接触一 >>more
时隔一年跑回来评价一下讲课念ppt，ppt对于程序设计初学者还可以，看周围人的感觉是起码能弄明白。没有手写代码。很好。给6分是因为助教能力。期末考试的时候我去找了分。两道题没加上，一道题判错了，总计多扣20分。好吧，你厉害。 >>more
无法理解很多操作讲课差就不说了，可以说最后成为完全没有任何收获的一门课有很大一部分原因是讲课不行。完全念ppt就不说了，很多数据结构在结构上的展示是0，这是这门课万万不可以的。然后习题布置的一塌糊涂，手写代码不知道是哪个**提出来的，简直是浪费时间+浪费生命，0收获，0理解。（我始终不知道手写代码是 >>more
扣两分。1分给本学期的助教，真的做的不太行。另一分是因为在没有任何提前说明的情况下改变了学期开始给出的计分方式。 老师的ppt和作业实验布置是全英文的，建议非英才班的同学一定要有一定英语基础的情况下再选修，不然会特别吃力。讲的内容是1-3章和数字电路前面那部分差不多，后边5章是指令中断I/O子程序等 >>more
首先今年的实验室从logisim在电脑上手绘电路开始的。和数字电路课程很配套，也大大减少了大家理解学习电路的难度。 今年只有三个小实验+一个大实验是需要烧板子的，也就是说前半学期这门课就是单纯的福利课…是的，我直到第二次上fpga之前每周撑死花2个小时在这门课上。 当然开始正式上板子了也慢了…不过基 >>more