龙环 · 程序语言理论修读档案

课程内容： - Ch1 逻辑基础和集合论（基本是离散数学学过的） - Ch2~4 归纳与操作语义 - Ch5 不动点理论与指称语义 - Ch6~7 霍尔逻辑与公理语义 - Ch8~9 论域基础与高级语言（考试考到 Eager 语义） - 中间还有 λ-演算但是不考 上课自由度： 100，没有签到，在下面做什么也不管，而且经常在下课前讲完然后留时间做作业/答疑，老师不仅当讲师，还搞课后自习陪跑。 考核标准： - 50%平时=9次作业，每次1~2道题，比较少，认真做可以拿到绝大部分，但不允许补交。量少到你以为你在做知识甜点，其实是期末预告片。 - 50%期末，开卷（可以带任意量的纸质参考资料但不允许使用电子设备）随堂考，5道题*20分，因为有3节课时间所以考了2h30min，题目要么和作业十分接近要么就是 PPT 上 Exercise 部分的原题，而且给分比较松。拿着作业本进场就是在翻自己的命根子。 授课质量： 程序语言理论是形式化方法，有时候难以用语言表述，所以虽然讲得不是那么流畅但也情有可原，自己看PPT其实也能看懂，还有就是形式化方法其实是挺优美的，学起来不会特别难受——就是一种好看的抽象版搭乐高。 第二次上这门课考得依然比较简单，可能是老师考虑到我们大三下有各种各样的事情，所以考核标准放得比较松；但依旧是建议理论方向的课最好不要期末速通，不然不太好做作业，考试也不那么游刃有余。这句话翻译一下：别在死线前把这种课当速食面泡。 关于选课建议，如果要主选理论方向的 2 门课，还要考虑下隔壁 CS3341 的情况；但如果拿来当任意选修或者辅修什么的，那么学过离散数学就可以放心选，没有任何需要担心的事情——放心选，就像放心吃白米饭一样。

课程内容： 程序语言理论那点相关内容 上课自由度： 彻底放养 只要作业按时交上去 随堂考试人到场就行 考核标准： 50作业50考试 作业难度不软不硬刚好适中，有些题下课铃一响就顺手写完了，而且作业平时分只要你是认真完成的都给得非常高 考试就是最后一节课随堂考 开卷，并且和作业内容近得能闻见同一股味儿 难度不大 授课质量： 计算机系的同学估计早就被龙老师的课轮过好几遍了 懂的都懂 不必多说

课程内容：二三四章操作语义，第五章指称语义，lambda演算，第六章公理语义（个人认为从听课角度来说最难），第七章霍尔规则完备性（这里也相当于讲公理语义部分），第八章domain theory，第九章Languages with higher types。目录往那一摆，比我的命运还长。 上课自由度：高，没有过签到，在下面做自己的事也不管，很多时候三节上两节就讲完开始答疑做作业，节奏不快，比较轻松，仿佛专业课里混进一节自习。 考核标准：平时作业+期末，是不是五五开不了解，但其实区别不大，因为期末是开卷5道证明题*20分。老师给分算比较松，不是非得和标准答案一模一样，重点在思路，所以平时作业按时交了成绩基本不会难看，不过注意：平时作业不允许补交。过了这村没这店。 授课质量：参考数学基础和计算理论的授课质量，跟着老师很容易听懂并且收获很多，同时没有期末压力也不用担心绩点，简直是专业课的梦中情课了。不过目前来说是选算法方向的必选课，不用我来推荐大家也躲不掉，只能说选了完全没有任何要操心的事。 注：这是第一次给本科生上这门课，以前是研究生课，所以第一次难度不好把控，可能就考得很简单。而要我从学到的东西来判断，想考难是可以很难的，但以老师的性格，考难无非也就是考些上课带着证明过的难理解一点的证明题，所以以后应该也不用担心期末。 唯一的建议就是不要留到期末速成，好歹是门专业课，还是算法方向核心课程，虽然按今年难度考试速成也没问题，但对比正常上课收获到的东西，速成实在实在太亏了。 更新：出成绩了，40平时60期末。

课程内容： 程序语言理论的地基，大约就是operation sementics+principles of introduction+函数语义+公理语义+lambda演算+霍尔规则+域论基础+高级语言，一套下来直接给你装个理论框架 上课自由度： 高，理论方向会了就行，来不来老师不管，属于自由放养 考核标准： 作业40%+考试60% 授课质量： 讲课是非常清楚的，每节课还留时间答疑，作业讲义哪里不会都能去问，考试是随堂考，多看PPT完全是OK，我觉得是我大学几年来为数不多认真听讲的好课，现在刚考完没出分，建议大家冲。 --- update:出分了龙老师出分一如既往地高效，给分也非常不错，好活儿。