中图网(原中国图书网):网上书店,尾货特色书店,30万种特价书低至2折!

歡迎光臨中圖網 請 | 注冊
>
函數式算法設計的藝術

包郵 函數式算法設計的藝術

出版社:機械工業出版社出版時間:2025-04-01
開本: 16開 頁數: 376
中 圖 價:¥95.9(6.9折) 定價  ¥139.0 登錄后可看到會員價
加入購物車 收藏
開年大促, 全場包郵
?新疆、西藏除外
本類五星書更多>

函數式算法設計的藝術 版權信息

  • ISBN:9787111775102
  • 條形碼:9787111775102 ; 978-7-111-77510-2
  • 裝幀:平裝-膠訂
  • 冊數:暫無
  • 重量:暫無
  • 所屬分類:

函數式算法設計的藝術 本書特色

本書專門介紹了算法設計的五項主要原則:分而治之、貪心算法、減而治之、動態規劃和窮舉搜索。這些原則是用Haskell這種純函數式語言來闡述的,與使用命令式語言相比,解釋更簡單,程序更短。書中還配有精心挑選的例子(既有新示例,也有標準示例),展示了算法之間的共性和差異。算法開發在適用的情況下使用等式推理,闡明適用性條件和正確性論證。每章*后都附有習題(共近300道),每道習題都有完整的答案,便于讀者鞏固理解,并將這些技術應用于一系列問題。本書適用于計算機科學與技術及軟件工程相關專業學生(包括本科生和研究生)、研究人員、教師和專業人士,可以幫助他們進一步了解如何設計和實現優秀的算法,以及如何用純函數術語來表達這些算法。

函數式算法設計的藝術 內容簡介

本書介紹了算法設計的五個主要原則:分治法、貪婪算法、稀疏、動態程序設計和窮舉搜索。讓學生、教師、研究人員和專業人員更好地了解一個好的算法是如何組成的,以及如何用純函數的形式表達這些算法。

函數式算法設計的藝術函數式算法設計的藝術 前言

譯者序

如果真有一門絕世武功,“招式”和“內功”孰輕孰重?如果說這個問題真有答案,那么在我講授C語言程序設計多年之后,開始與本書相遇相知時似乎逐漸找到了。
長久以來,函數式編程因為側重原理而被認為更接近于“內功”。由于某些情況下的性能問題以及學習資料的缺乏,函數式編程一直沒有成為主導。近年來,計算機硬件性能的提升帶來了轉機,我們看到舊語言逐漸引入函數式的特性、新語言在構建之初就考慮更多函數式的設計。
在這本書里,當分而治之、貪心算法、減而治之、動態規劃、窮舉搜索這些算法用Haskell純函數式語言來實現時,簡短的代碼體現出了科學思想與工程優雅。外化于形、內化于心的交相輝映令人沉醉!無論對于Haskell程序設計,還是對于C語言程序設計,“招式”和“內功”的兼收并蓄都是一個更高的境界!
本書的作者是牛津大學的Richard Bird和Jeremy Gibbons教授。令人遺憾的是,Richard Bird教授在2022年4月4日離開了我們,他一生致力于推廣函數式編程,對算法和程序設計做出了偉大貢獻。在翻譯這本書的過程中,我深感他文字之魅力和思想之深邃。大家在閱讀此書時產生不同編程思維碰撞的電光火石是對Richard*好的緬懷。

函數式算法設計的藝術 目錄

譯者序
前言
**部分基礎知識
第1章函數式編程
11基本類型與函數
12處理列表
13歸納與遞歸的定義
14融合
15累積與串聯
章節注釋
參考文獻
練習第2章時間
21漸近表示法
22估計運行時間
23上下文中的運行時間
24均攤運行時間
章節注釋
參考文獻
練習第3章實用的數據結構
31對稱列表
32隨機訪問列表
33數組
章節注釋
參考文獻
練習第二部分分而治之
第4章二分查找
41一維查找
42二維查找
43二叉搜索樹
44動態集
章節注釋
參考文獻
練習第5章排序
51快速排序
52歸并排序
53堆排序
54桶排序及基數排序
55排序總和
章節注釋
參考文獻
練習第6章選擇
61*大和*小
62單集合中的選擇
63雙集合中的選擇
64從補集中選擇
章節注釋
參考文獻
練習
第三部分貪心算法
第7章列表的貪心算法
71通用貪心算法
72貪心排序算法
73硬幣兌換問題
74TEX中的十進制小數
75不確定性函數和精化
76總結
章節注釋
參考文獻
練習第8章樹的貪心算法
81*小高度樹
82哈夫曼編碼樹
83優先隊列
章節注釋
參考文獻
練習第9章圖的貪心算法
91圖和生成樹
92Kruskal算法
93不相交集和聯合查找算法
94Prim算法
95單源*短路徑
96Dijkstra算法
97慢跑者問題
章節注釋
參考文獻
練習
第四部分減而治之
第10章簡化算法介紹
101基本理論
102分層網絡中的路徑
103再論硬幣兌換
104背包問題
105一種通用的簡化算法
章節注釋
參考文獻
練習第11章片段和子序列
111*長上升子序列
112*長公共子序列
113和*大子段
章節注釋
參考文獻
練習第12章劃分
121劃分的生成方法
122管理兩個銀行賬戶
123段落問題
章節注釋
參考文獻
練習
第五部分動態規劃
第13章高效遞歸
131兩個數字的例子
132再論背包問題
133*小代價編輯序列
134再論*長公共子序列
135穿梭巴士問題
章節注釋
參考文獻
練習第14章*佳劃分
141立方時間復雜度的算法
142平方時間復雜度的算法
143復雜度算法示例
144單調性證明
145*佳二叉搜索樹
146GarsiaWachs算法
章節注釋
參考文獻
練習第六部分窮舉搜索
第15章搜索方法
151隱式搜索和n皇后問題
152給定和的表達式
153深度優先搜索與廣度優先搜索
154登月問題
155預先規劃
156高峰時間問題
章節注釋
參考文獻
練習第16章啟發式搜索
161樂觀啟發式搜索
162單調啟發式搜索
163倉庫導航
1648數碼問題
章節注釋
參考文獻
練習附錄練習答案
展開全部

函數式算法設計的藝術 作者簡介

理查德·伯德(Richard Bird)牛津大學名譽教授,著有多部廣受好評的Haskell相關書籍,包括《Haskell函數式程序設計》和《函數式算法設計珠璣》。
杰里米·吉本斯(Jeremy Gibbons)牛津大學計算機科學教授,在該校教授軟件工程非全日制專業碩士課程。他是Journal of Functional Programming的聯合主編、IFIP Working Group 2.1 on Algorithmic Languages and Calculi的前任主席以及ACM SIGPLAN的前任副主席。

商品評論(0條)
暫無評論……
書友推薦
本類暢銷
編輯推薦
返回頂部
中圖網
在線客服
主站蜘蛛池模板: 步进驱动器「一体化」步进电机品牌厂家-一体式步进驱动 | 数控专用机床,专用机床,自动线,组合机床,动力头,自动化加工生产线,江苏海鑫机床有限公司 | 药品冷藏箱厂家_低温冰箱_洁净工作台-济南欧莱博电子商务有限公司官网 | 精密机械零件加工_CNC加工_精密加工_数控车床加工_精密机械加工_机械零部件加工厂 | 水热合成反应釜-防爆高压消解罐-西安常仪仪器设备有限公司 | 粘度计维修,在线粘度计,二手博勒飞粘度计维修|收购-天津市祥睿科技有限公司 | 步入式高低温测试箱|海向仪器| 重庆网站建设,重庆网站设计,重庆网站制作,重庆seo,重庆做网站,重庆seo,重庆公众号运营,重庆小程序开发 | 铝合金线槽_铝型材加工_空调挡水板厂家-江阴炜福金属制品有限公司 | 3D全息投影_地面互动投影_360度立体投影_水幕灯光秀 | 广东银虎 蜂窝块状沸石分子筛-吸附脱硫分子筛-萍乡市捷龙环保科技有限公司 | 电缆隧道在线监测-智慧配电站房-升压站在线监测-江苏久创电气科技有限公司 | 通信天线厂家_室分八木天线_对数周期天线_天线加工厂_林创天线源头厂家 | 楼承板-开口楼承板-闭口楼承板-无锡海逵| 成都茶楼装修公司 - 会所设计/KTV装修 - 成都朗煜装饰公司 | ★店家乐|服装销售管理软件|服装店收银系统|内衣店鞋店进销存软件|连锁店管理软件|收银软件手机版|会员管理系统-手机版,云版,App | 抓斗式清污机|螺杆式|卷扬式启闭机|底轴驱动钢坝|污水处理闸门-方源水利机械 | 杭州高温泵_热水泵_高温油泵|昆山奥兰克泵业制造有限公司 | 亚克隆,RNAi干扰检测,miRNA定量检测-上海基屹生物科技有限公司 | H型钢切割机,相贯线切割机,数控钻床,数控平面钻,钢结构设备,槽钢切割机,角钢切割机,翻转机,拼焊矫一体机 | 苏州注册公司_苏州代理记账_苏州工商注册_苏州代办公司-恒佳财税 | 真空冷冻干燥机_国产冻干机_冷冻干燥机_北京四环冻干 | 骨密度仪-骨密度测定仪-超声骨密度仪-骨龄测定仪-天津开发区圣鸿医疗器械有限公司 | 工业胀紧套_万向节联轴器_链条-规格齐全-型号选购-非标订做-厂家批发价格-上海乙谛精密机械有限公司 | 武汉刮刮奖_刮刮卡印刷厂_为企业提供门票印刷_武汉合格证印刷_现金劵代金券印刷制作 - 武汉泽雅印刷有限公司 | 电磁铁_小型推拉电磁铁_电磁阀厂家-深圳市宗泰电机有限公司 | 生鲜配送系统-蔬菜食材配送管理系统-连锁餐饮订货配送软件-挪挪生鲜供应链管理软件 | ERP企业管理系统永久免费版_在线ERP系统_OA办公_云版软件官网 | 电竞馆加盟,沈阳网吧加盟费用选择嘉棋电竞_售后服务一体化 | 百方网-百方电气网,电工电气行业专业的B2B电子商务平台 | 云南成人高考网| 世纪豪门官网 世纪豪门集成吊顶加盟电话 世纪豪门售后电话 | 化妆品加工厂-化妆品加工-化妆品代加工-面膜加工-广东欧泉生化科技有限公司 | 彩超机-黑白B超机-便携兽用B超机-多普勒彩超机价格「大为彩超」厂家 | 生鲜配送系统-蔬菜食材配送管理系统-连锁餐饮订货配送软件-挪挪生鲜供应链管理软件 | 螺旋叶片_螺旋叶片成型机_绞龙叶片_莱州源泽机械制造有限公司 | 超声波电磁流量计-液位计-孔板流量计-料位计-江苏信仪自动化仪表有限公司 | 挤奶设备过滤纸,牛奶过滤纸,挤奶机过滤袋-济南蓝贝尔工贸有限公司 | 专业广州网站建设,微信小程序开发,一物一码和NFC应用开发、物联网、外贸商城、定制系统和APP开发【致茂网络】 | MTK核心板|MTK开发板|MTK模块|4G核心板|4G模块|5G核心板|5G模块|安卓核心板|安卓模块|高通核心板-深圳市新移科技有限公司 | 上海风淋室_上海风淋室厂家_上海风淋室价格_上海伯淋 | 固诺家居-全屋定制十大品牌_整体衣柜木门橱柜招商加盟 |