课程没什么收获，过来学oneAPI编程的，结果讲了一堆云里雾里的东西，不明白现在AI时代这种课程有什么存在的必要。作业挺多的，但是助教老师还不错。最后给分很杀手，看重GPA的大四同学慎选。 >>更多

发现这课出分了，来写个评论避雷：千万别选，千万别选。这课的尿性就和它的出分速度一样！！！！！出分很慢，寒假没出，最近开学才发现出分了。课程：前半学期为程序语言理论，后半学期为程序分析理论。内容很杂，多为形式化定义和推断，尤其是程序语言的内容，缺乏例子，理解困难。老师讲解也一般，建议还是自己看书，把程 >>更多

傻孩子们，快跑啊！！！当时以为是C语言程序设计，想选这门课水学分，结果复习的时候一看课程内容，给我恶心到了。这门课知识点非常分散，PPT复习起来极不友好，对于自学简直是折磨。建议只有那些从事相关专业的学生来选这门课，对于我这种想凑个学分的人，千万别来。只恨当时学期初没有去上课，不然我一定会开学就把这 >>更多

update: fix typo 为了凑学分选的，虽然看评课有点哈人但最后上完也没这么不堪，作业确实不多，凑学分大胆选，所以稍微往上拉一点。 上课在高新区，老师经常忘记开网课，但是课程主页上 PPT 和参考教材的 pdf 都有，其实听课也就是刷个脸。 今年先上的程序语言部分（参考教材 PFPL），再 >>更多

没有远方你感到艰难，你飞来了，一往情深，飞蛾，你追求着光明，最后在火焰里殉身。只要你还不曾有过这个经验：死和变！你只是个忧郁的旅客在这阴暗的尘寰。——《幸福的渴望》歌德作为唯一一门全勤的课，其他所有课到课时间加起来都不及这一门，课下花大量时间看PPT，然而还是完全听不懂，作业也是一头雾水。然而绝望地 >>更多

别选!! 别选!!!别选!!!这门课真的太烂了, 为了凑基础课学分选这门课真是大错特错了, 完全可以选算法, 县长的计算机应用数学或者计算机系统来凑. 这门课没有个什么大纲架构, 完全是老师拼凑的各种内容在一起. 课程主页上直接给你甩一脸的链接, 一点开就是又臭又长的文档. 抱着深入理解语言的底层, >>更多

非专业方向别选！！！！！！！！！叠个甲：张老师本人是一位水平非常高的老师，如果仅从教学的角度来说这门课应该是无可挑剔的。之所以给5分也是因为出于对张老师对尊重但是这门课对需要水学分的研究生，尤其是非专业方向的我认为可以说是一点帮助也没有。课程内容的角度来说：课程内容课程简介里面已经很详尽了，作为一门 >>更多

这门课本科生和研究生都可以选，本科生在西区上网课，研究生则是在高新区。课程分两部分，第一部分是静态程序分析，第二部分是编程语言理论。考试开卷，我那个时候PL的部分没怎么复习，到最后没做完。程序分析部分的参考教材是这个https://users-cs.au.dk/amoeller/spa/，老师的pp >>更多

可以试试 >>更多