资源简介
本书i羊细讲解如何使用ML语言进行程序设计,并介绍函数式程序设计的基本原理。
书中特别讲述了为ML的修订版所设计的新标准库的主要特性,并且给出大量例子, 涵盖
排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析
器、一个λ-i寅算归约程序和一个定理证明机. 书中也讲述了关于数组、队列、优先队列
等高效的函数式实现,并且有一章专门讨论函数式程序的形式论证.
本书可作为高等院校计算机专业相关课程的教材,也适合广大程序设计人员参考。
代码片段和文件信息
相关资源
- draw.io-12.4.2绘图最新
- 前端模板130套,相册
- StarUML3.10版及破解
- 教务管理系统UML建模
- StarUML 3.0+版本破解替换文件
- 天气雷达网站
- Thinking In UML
- ML程序设计教程 第二版 扫描识别带书
- 最新StarUML3.0.2版本破解版
- PRML英文版+答案+MLAPP + ESL统计学习基础
- 系统分析师技术指南+UML和模式应用
- 2015-2019考试题及答案.zip
- 大象:Thinking in UML 清晰完整版pdf
- UML团队开发流程与管理(第2版) ,完
- ATM机系统UML图
- UML用户指南(第2版).pdf
- 响应式前端纯静态网页模板
-
xm
l+Xslt测试工具 - EA8.0包含汉化工具以及注册码
-
疯狂xm
l讲义 第2版 pdf - 软件建模与设计 UML、用例、模式和软
- StarUml3.0.2破解
- uml:报刊订阅管理系统
- 网上购物商城静态页面模板
- Brackets安装包和插件(全)
- 专业分流软件
- 《大象:Thinking in UML》(第2版)【带
- 《机器学习实战:基于Scikit-Learn和T
- 统计学习基础中英文 英文第二版
- 图解CSS3核心技术与案例实战.大漠(带
评论
共有 条评论