程序设计语言理论(张昱) 2020春 2018秋 2011秋  课程号:CS0511501
2020春 2018秋 2011秋  课程号:CS0511501
8.0(1人评价)
  • 课程难度:困难
  • 作业多少:中等
  • 给分好坏:一般
  • 收获大小:一般
选课类别:基础 教学类型:理论课
课程类别:研究生课程 开课单位:计算机科学与技术系
课程层次:硕士 学分:3
课程主页:暂无(如果你知道,劳烦告诉我们!)
点评 写点评
csmzscc 2020春

课程分两个部分

spa (static program analysis) 和

pfpl (Practical Foundations for Programming Languages)

前一本书比较容易懂,里面数学就是些格之类;

后一本书比较难看懂,里面有些数理逻辑之类;

上课不用classin而用zoom(因为只有8个人上课),老师本意是可以讨论,但由于课程本身比较艰深,讨论也就变成老师点名提问

编程作业是spa里的一个题,小组完成,我因为比较菜,而且年纪大了学新语言(scala)不容易,就啥也没做

 

我学的时候pfpl前面还勉强一知半解,到后面多态就完全不会了;

考试也是spa,pfpl各占半,基本和作业题差不多;或许是pfpl的多态太难了,天怒人怨,结果老师印卷子漏了最后一题。因而可以及格了。

0 0

张昱

教师主页: 戳这里

其他老师的「程序设计语言理论」课

冯新宇 10.0 (1) 2017春 2015春
未知 2017春

张昱老师的其他课

编译原理和技术(H) 8.4 (18) 2021秋 2020秋...
程序设计语言基础 10.0 (1) 2013春
量子软件前沿 9.0 (1) 2019秋
程序设计语言基础 7.0 (2) 2019春 2018春
编译原理和技术 1.0 (1) 2021秋 2012春
量子软件前沿 2020秋 2019秋
编译原理和技术 2010春 2009春...
数据结构 2009秋 2008秋...
数据结构与数据库 2007春 2005春...
编译原理 2017秋 2016秋...
“科学与社会”研讨课 2021秋 2021春...