|
000
|
01350nam 2200277 450
|
|
001
|
2437770931
|
|
010
|
|
@a978-7-302-62690-9@dCNY39.00
|
|
100
|
|
@a20230809d2023 em y0chiy0120 ea
|
|
101
|
0
|
@achi
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@aack a 001yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@a函数式程序设计@Ahan shu shi cheng xu she ji@f邓玉欣编著
|
|
210
|
|
@a北京@c清华大学出版社@d2023.07
|
|
215
|
|
@a114页@c图, 肖像@d26cm
|
|
225
|
2
|
@a高等学校计算机专业系列教材@Agao deng xue xiao ji suan ji zhuan ye xi lie jiao cai
|
|
314
|
|
@a邓玉欣, 华东师范大学软件工程学院 教授 , 长期从事形式化方法领域的基础研究, 主要研究方向包括并发计算模型和程序理论。
|
|
320
|
|
@a有书目 (第112页) 和索引
|
|
330
|
|
@a本书共分4章: 第1章介绍不带类型的λ-演算、简单类型的λ-演算和F系统, 主要讨论语法和β-归约语义; 第2章介绍Coq,重点是从函数式程序设计的角度展开讨论, 内容涉及自然数函数、列表、多态数据结构、依赖类型、高阶函数、柯里-霍华德关联以及余归纳类型; 第3章介绍OCaml这门通用程序设计语言, 除了基本的程序设计概念, 还讨论函子和单子这样比较高级的语言特征; 第4章提供了部分习题的参考答案, 以方便感兴趣的读者自行学习。
|
|
410
|
0
|
@12001 @a高等学校计算机专业系列教材
|
|
586
|
|
@a
|
|
606
|
0
|
@a函数@Ahan shu@x程序设计@x高等学校@j教材
|
|
690
|
|
@aTP311.1@v5
|
|
701
|
0
|
@a邓玉欣@Adeng yu xin@4编著
|
|
801
|
0
|
@aCN@c20230809
|
|
905
|
|
@dTP311.1@eD337@f2@sTP311.1/D337@S@Z
|
|
|
|
|
| |
| 函数式程序设计/邓玉欣编著.-北京：清华大学出版社，2023.07 |
| 114页：图, 肖像；26cm.-(高等学校计算机专业系列教材) |
| |
| |
| ISBN 978-7-302-62690-9：CNY39.00 |
| 本书共分4章: 第1章介绍不带类型的λ-演算、简单类型的λ-演算和F系统, 主要讨论语法和β-归约语义; 第2章介绍Coq,重点是从函数式程序设计的角度展开讨论, 内容涉及自然数函数、列表、多态数据结构、依赖类型、高阶函数、柯里-霍华德关联以及余归纳类型; 第3章介绍OCaml这门通用程序设计语言, 除了基本的程序设计概念, 还讨论函子和单子这样比较高级的语言特征; 第4章提供了部分习题的参考答案, 以方便感兴趣的读者自行学习。 |
| ● |
正题名：函数式程序设计
索取号：TP311.1/D337
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
21615572
|
216155728
|
自科库301/301自科库 47排3列1层/
[索取号:TP311.1/D337]
|
在馆
|
|
|
2
|
21615573
|
216155737
|
自科库301/301自科库 47排3列1层/
[索取号:TP311.1/D337]
|
在馆
|
|
