[放大封面]
[放大封底]
|
| 【相关下载】 |
 |
|
|
| 【二手书】 |
 |
本产品共有 0 册二手书出售，
最低价：￥.00 [查看] |
|
|
|
| ML程序设计教程（原书第2版）
|
|
市场价：￥45.00
贵宾会员价：￥33.75
高级会员价：￥35.10
普通会员价：￥36.00 |
|
|
|
|
|
| 货到付款：北京、上海、天津、广州、深圳、湖北、河南、山西、陕西、山东、四川、重庆、浙江 更多查看>> |
|
|
| |
大封面 |
封底 |
前言 |
内容简介 |
序言 |
目录 |
作者简介 |
译者简介 |
作者序 |
译者序 | |
|
| 【读者评论】 |
 |
|
 |
内容简介
本书详细讲解如何使用ML语言进行程序设计，并介绍函数式程序设计的基本原理。书中特别讲述了为ML的修订版所设计的新标准库的主要特性，并且给出大量例子，涵盖排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个l-演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优先队列等高效的函数式实现，并且有一章专门讨论函数式程序的形式论证。
本书可作为高等院校计算机专业相关课程的教材，也适合广大程序设计人员参考。
|
目录
伸缩显示:  [弹出查看]
伸缩显示: [弹出查看] |
|
|
编辑荐语
[您可以向编辑推荐本书的亮点，采纳后奖励５－１０元优惠卷]（一个工作日内处理您的建议）
本书是关于ML程序设计的经典教材，详细介绍如何使用 ML语言进行程序设计，并讲解函数式程序设计的基本原理。
书中含有大量例子，涵盖了排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个一演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优生队列等高效的函数式实现，并且有一章专门讨论函数式程序的形式论证。本书的代码均可以从作者网站（http://www.cl.cam.ac.uk/users/lcp/）得到。
|
|
推荐图书
金书豆豆
【您的购物车】
(共0条)