安徽科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

函数程序设计算法/(美)约翰·戴维·斯通(John David Stone)著 乔海燕, 曾烈康译

出版发行项:

北京:机械工业出版社,2020

ISBN及定价:

978-7-111-65325-7/CNY99.00

载体形态项:

265页;26cm

统一题名:

Algorithms for functional programming

丛编项:

计算机科学丛书

个人责任者:

(美) 斯通 (Stone, John David) 著

个人次要责任者:

乔海燕 译

个人次要责任者:

曾烈康 译

学科主题:

函数-程序设计

中图法分类号:

TP311.1

出版发行附注:

本书中文简体字版由Springer授权机械工业出版社独家出版

责任者附注:

约翰·戴维·斯通 (John David Stone), 格林内尔学院计算机科学系的高级讲师, 教授算法、计算机安全和计算语言。他的研究兴趣包括逻辑和编程基础。乔海燕, 中山大学数据科学与计算机学院副教授, 研究方向为类型论及其在程序验证中的应用。曾烈, 中山大学数据科学与计算机学院研究生, 研究方向为边缘计算、边缘智能、智能物联网、分布式系统。

提要文摘附注:

本书用纯函数程序设计语言Scheme的一种变体深入浅出地讲解各类常用的数据结构和算法。第1章介绍了本书使用的基于Scheme的变体语言, 第2章和第3章分别介绍了函数程序设计中常用的各类编程模式和数据结构, 第4-7章分别介绍了排序、组合构造、图算法和子列表搜索算法等, 并对算法的思想和实现进行了详细分析和解释。全书每节都总结了本节涉及的过程并编排了有针对性的习题, 以便读者更好地理解和掌握相关内容。

豆瓣简介：