掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書(shū)更多>
-
>
闖進(jìn)數(shù)學(xué)世界――探秘歷史名題
-
>
中醫(yī)基礎(chǔ)理論
-
>
當(dāng)代中國(guó)政府與政治(新編21世紀(jì)公共管理系列教材)
-
>
高校軍事課教程
-
>
思想道德與法治(2021年版)
-
>
毛澤東思想和中國(guó)特色社會(huì)主義理論體系概論(2021年版)
-
>
中醫(yī)內(nèi)科學(xué)·全國(guó)中醫(yī)藥行業(yè)高等教育“十四五”規(guī)劃教材
中圖價(jià):¥29.1
加入購(gòu)物車
函數(shù)式程序設(shè)計(jì) 版權(quán)信息
- ISBN：9787302626909
- 條形碼：9787302626909 ; 978-7-302-62690-9
- 裝幀：平裝-膠訂
- 冊(cè)數(shù)：暫無(wú)
- 重量：暫無(wú)
- 所屬分類：>>
函數(shù)式程序設(shè)計(jì) 本書(shū)特色
1.一本專門(mén)介紹函數(shù)式程序設(shè)計(jì)基本思想和方法的入門(mén)級(jí)讀物。
2.循序漸進(jìn)，從基礎(chǔ)原理到高級(jí)的語(yǔ)言特征逐步介紹，具有通俗、系統(tǒng)、寬廣的特點(diǎn)。
3.學(xué)習(xí)門(mén)檻低，適合不具備相關(guān)知識(shí)基礎(chǔ)的初學(xué)者閱讀和理解。
4.習(xí)題豐富，并對(duì)部分有難度的習(xí)題給出參考答案，照顧不具備課堂學(xué)習(xí)條件的讀者自行學(xué)習(xí)。
5.適合作為普通高等院校計(jì)算機(jī)科學(xué)和軟件工程專業(yè)的本科生教學(xué)參考書(shū)。
函數(shù)式程序設(shè)計(jì) 內(nèi)容簡(jiǎn)介
本書(shū)是一本介紹函數(shù)式程序設(shè)計(jì)理論的入門(mén)讀物。在內(nèi)容選取上，先以λ-演算作為背景知識(shí)，然后介紹Coq和OCaml的基本用法及其主要語(yǔ)言特征。本書(shū)的重點(diǎn)是介紹函數(shù)式程序設(shè)計(jì)的基本思想和方法，讓讀者了解、欣賞，進(jìn)而喜歡函數(shù)式程序設(shè)計(jì)。本書(shū)共分4章：第1章介紹不帶類型的λ-演算、簡(jiǎn)單類型的λ-演算和F系統(tǒng)，主要討論語(yǔ)法和β-歸約語(yǔ)義；第2章介紹Coq，重點(diǎn)從函數(shù)式程序設(shè)計(jì)的角度展開(kāi)討論，內(nèi)容涉及列表、多態(tài)列表、依賴類型、高階函數(shù)、柯里-霍華德關(guān)聯(lián)及余歸納類型等；第3章介紹OCal這門(mén)通用程序設(shè)計(jì)語(yǔ)言，除了基本的程序設(shè)計(jì)概念，還討論函子和單子這樣比較高級(jí)的語(yǔ)言特征；第4章提供了部分習(xí)題的參考答案，方便感興趣的讀者自行學(xué)習(xí)。本書(shū)循序漸進(jìn)，從基礎(chǔ)原理到高級(jí)的語(yǔ)言特征，具有通俗、系統(tǒng)、寬廣的特點(diǎn)，適合作為普通高等院校計(jì)算機(jī)科學(xué)和軟件工程專業(yè)的本科生教學(xué)參考書(shū)，同時(shí)也可作為軟件理論方向研究人員的入門(mén)讀物。
函數(shù)式程序設(shè)計(jì) 目錄
第 1章 ζ-演算 .1
1.1 ζ-演算的起源1
1.2不帶類型的 ζ-演算2
1.2.1語(yǔ)法 3
1.2.2船-等價(jià) .4
1.2.3替換 6
1.2.4 (-歸約 .7
1.2.5表達(dá)能力9
1.2.6不動(dòng)點(diǎn) .12
1.2.7其他數(shù)據(jù)類型 .13
1.2.8邱奇-羅索定理 14
1.2.9歸約策略15
1.3簡(jiǎn)單類型的 ζ-演算16
1.3.1簡(jiǎn)單類型的項(xiàng) .16
1.3.2歸約 19
1.3.3正規(guī)化 .20
1.4 F系統(tǒng) .21
1.4.1語(yǔ)法 21
1.4.2語(yǔ)義 22
第 2章 Coq 24
2.1基本的函數(shù)式編程.24
2.2歸約規(guī)則 31
2.3列表.33
2.4規(guī)則歸納 39
2.5多態(tài)列表 40
2.6依賴類型 42
2.7高階函數(shù) 43
2.8柯里-霍華德關(guān)聯(lián).45
2.9歸納證明 47
2.10常用證明策略50
2.11證明自動(dòng)化 .53
2.12余歸納類型 .55
2.13代碼抽取 62
函數(shù)式程序設(shè)計(jì)
第 3章 OCaml .65 3.1安裝和使用 OCaml .65 3.2數(shù)據(jù)類型與函數(shù) 66 3.3控制結(jié)構(gòu) 78 3.4高階函數(shù) 82 3.5記憶.84 3.6異常.85 3.7排序.86 3.8隊(duì)列.87 3.9模塊.90 3.10函子 .92 3.11單子 .94 第 4章部分習(xí)題參考答案 98 4.1第 1章練習(xí)題.98 4.2第 2章練習(xí)題.99 4.3第 3章練習(xí)題. 106 參考文獻(xiàn) 112 索引. 113
第 3章 OCaml .65 3.1安裝和使用 OCaml .65 3.2數(shù)據(jù)類型與函數(shù) 66 3.3控制結(jié)構(gòu) 78 3.4高階函數(shù) 82 3.5記憶.84 3.6異常.85 3.7排序.86 3.8隊(duì)列.87 3.9模塊.90 3.10函子 .92 3.11單子 .94 第 4章部分習(xí)題參考答案 98 4.1第 1章練習(xí)題.98 4.2第 2章練習(xí)題.99 4.3第 3章練習(xí)題. 106 參考文獻(xiàn) 112 索引. 113
展開(kāi)全部
函數(shù)式程序設(shè)計(jì) 作者簡(jiǎn)介
鄧玉欣 華東師范大學(xué)軟件工程學(xué)院 教授 ，長(zhǎng)期從事形式化方法領(lǐng)域的基礎(chǔ)研究，主要研究方向包括并發(fā)計(jì)算模型和程序理論。代表性工作包括一個(gè)已經(jīng)被國(guó)外學(xué)者寫(xiě)進(jìn)教科書(shū)的“鄧引理”(DengLemma)（R.Gorrieri, C. Versari. Introduction to Concurrency Theory – Transition Systemsand CCS. Springer, 2015）和關(guān)于概率并發(fā)理論的一部英文專著（Y.Deng. Semantics of Probabilistic Processes: An Operational Approach. Springer,2015）。發(fā)表學(xué)術(shù)論文75篇, 其中45篇為第一作者，單篇最高引用118次(GoogleScholar)。多篇論文發(fā)表在國(guó)際權(quán)威期刊和會(huì)議如Informationand Computation、TheoreticalComputer Science、CONCUR、ICALP、LICS、POPL等。曾為CONCUR2018作特邀報(bào)告，擔(dān)任TASE2016程序委員會(huì)共同主席，多次擔(dān)任理論計(jì)算機(jī)科學(xué)領(lǐng)域著名會(huì)議如ICALP2013、ICALP2016、ICALP2018、CONCUR2019、CAV2021的程序委員會(huì)委員。
書(shū)友推薦
- >
推拿
- >
李白與唐代文化
- >
小考拉的故事-套裝共3冊(cè)
- >
經(jīng)典常談
- >
巴金－再思錄
- >
回憶愛(ài)瑪儂
- >
大紅狗在馬戲團(tuán)-大紅狗克里弗-助人
- >
伯納黛特,你要去哪(2021新版)
本類暢銷
