课程号 |
04834130 |
学分 |
2 |
英文名称 |
Introduction to Functional Programming |
先修课程 |
Basic programming knowledge. |
中文简介 |
本课程介绍了函数式编程,课程内容主要包括: 1.values, types and functions 2.compound data types (lists, tuples, and user-defined types) 3.higher-order functions 4.using abstraction to avoid repetitive programming 5.recursion and recursive data types 6.efficient and inefficient programs 7.input-output 8.verification with the help of testing |
英文简介 |
This unit provides an introduction to functional programming, assuming no prior exposure to the paradigm. The aim is to introduce types and functions. Important principles include evaluation order, function composition, lambda-abstraction, higher-order functions, and function composition. Concrete topics encountered in the course include: 1.values, types and functions 2.compound data types (lists, tuples, and user-defined types) 3.higher-order functions 4.using abstraction to avoid repetitive programming 5.recursion and recursive data types 6.efficient and inefficient programs 7.input-output 8.verification with the help of testing |
开课院系 |
信息科学技术学院 |
通选课领域 |
|
是否属于艺术与美育 |
否 |
平台课性质 |
|
平台课类型 |
|
授课语言 |
英文 |
教材 |
无;
Learn you a Haskell for great good,Miran Lipovaca,Thinking functionally with Haskell,Richard Bird, |
参考书 |
ISBN 9781593272838.;
ISBN: 9781107452640;
|
教学大纲 |
介绍函数式编程
(1)Introduction,2学时 (2)DataTypes,2学时 (3)Recursion,2学时 (4)Lab I,2学时 (5)Input/Output,2学时 (6)Testing,2学时 (7)Lab II,2学时 (8)Higher-Order Functions,2学时 (9)Type Classes,2学时 (10)Lab III,2学时 (11)Data Structures,2学时 (12)Class Presentation I,3学时 (13)FP in other languages,2学时 (14)Class Presentation II,3学时 (15)Final Exam,2学时
课堂授课80%,课堂讨论和报告20%
Lab成绩(20%-40%)、平时成绩和期末笔试(60%-80%),构成期末总评成绩
|
教学评估 |
郝丹:
学年度学期:18-19-3,课程班:函数式语言介绍1,课程推荐得分:null,教师推荐得分:null,课程得分分数段:80及以下;
|