程序设计语言基础(冯新宇) 2015春 2014春  课程号:01116701
2015春 2014春  课程号:01116701
8.0(1人评价)
  • 课程难度:困难
  • 作业多少:很少
  • 给分好坏:超好
  • 收获大小:很多
选课类别:计划 教学类型:理论实验课
课程类别:本科计划内课程 开课单位:计算机科学与技术系
课程层次:专业选修   学分:3.5
课程主页:暂无(如果你知道,劳烦告诉我们!)
排序 学期

评分 评分 1条点评

__gnu_cxx 2015春
  • 课程难度:困难
  • 作业多少:很少
  • 给分好坏:超好
  • 收获大小:很多
  • 难度:困难
  • 作业:很少
  • 给分:超好
  • 收获:很多

先说下,我是作为本科专业方向课来修的。老师开课第一句话说的是,我们这个课讲的程序设计语言不是程序设计,233。

然后课程内容,包括函数式语言,命令式语言,OO语言等等的特点、原理介绍。其中最主要的部分是函数式语言,包括介绍,haskell的编写,拉姆达演算,编译运行时环境等。对于我个人来说,接触到了很多以前没考虑过的程序设计之后的东西,算是收获很大

老冯是搞程序证明自动化的,跟反人类的函数式打交道最多。老冯比较喜欢对这方面有兴趣的人,因为实在太少了。如果你编程有点水平,有对这个感兴趣,完全可以跟这个老板。

然而不想进他们实验室的话也并不妨碍这个课程拿分。课程作业不多,最后有大作业作为期末评判。比如我最后很浅显的写了关于函数式在我的另一个系统中的应用与思考,就在唯一的一次课堂点到都缺席的情况下得了A。其实我甚至连一个完整的haskell程序都写不利索。

给分的话听说这两年成绩都不错,身边同学一般也都在A-以上,如果你不反感程序设计,不妨一试

0 0 复制链接

冯新宇

教师主页: 戳这里

其他老师的「程序设计语言基础」课

冯新宇, 张昱 10.0 (1) 2013春
冯新宇, 梁红瑾 10.0 (1) 2016春
张昱 7.0 (2) 2019春 2018春

冯新宇老师的其他课

程序设计语言基础 10.0 (1) 2013春
程序设计语言理论 10.0 (1) 2017春 2015春
程序设计语言基础 10.0 (1) 2016春