书目信息 |
| 题名： |
函数式程序设计
|
|
| 作者： | 邓玉欣 编著 | |
| 分册： | ||
| 出版信息： | 北京 清华大学出版社 2023.07 |
|
| 页数： | 114页 | |
| 开本： | 26cm | |
| 丛书名： | 高等学校计算机专业系列教材 | |
| 单 册： | ||
| 中图分类： | TP311.1 | |
| 科图分类： | ||
| 主题词： | 函数--han shu--程序设计--高等学校--教材 | |
| 电子资源： | ||
| ISBN： | 978-7-302-62690-9 | |
| 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] | 在馆 |