ML程序设计教程++(第二版)

上传者: gu_hr | 上传时间: 2019-12-21 18:49:52 | 文件大小: 52.07MB | 文件类型: pdf
ML
本书i羊细讲解如何使用ML语言进行程序设计,并介绍函数式程序设计的基本原理。 书中特别讲述了为ML的修订版所设计的新标准库的主要特性,并且给出大量例子, 涵盖 排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析 器、一个λ-i寅算归约程序和一个定理证明机. 书中也讲述了关于数组、队列、优先队列 等高效的函数式实现,并且有一章专门讨论函数式程序的形式论证. 本书可作为高等院校计算机专业相关课程的教材,也适合广大程序设计人员参考。

文件下载

评论信息

  • fantasticfz :
    书本身很不错,正如网络上描述的一样.自己清晰,内容翔实,而且样例代码也很好.不过,资源大小好像有问题.
    2014-12-16

免责申明

【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明